An Outage Verification Method Based on Weighted Pushdown System
A verification method and algorithm technology, applied in multi-programming devices, program control design, instruments, etc., can solve the problems of inability to use the same method to verify interruption, interruption time automata state explosion, etc., to improve reliability and robustness. Great, cost-saving effect
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment 1
[0080] This embodiment takes the application of the interrupt verification method based on the weighted pushdown system of the present invention to verify the timeout problem of the target code as an example.
[0081] Figure 5 It is a framework diagram for verifying the overtime problem by applying the interrupt verification method based on the weighted push-down system of the present invention. The specific steps of verification are:
[0082] 1. According to the target code that needs to be verified, convert it into an interprocedural control flow graph (Interprocedural Control Graph, ICFG);
[0083] 2. Find the minimum upper bound of each cycle in ICFG, when converted to WPDS, the weight of the minimum upper bound of the cycle operation;
[0084] 3. According to the target code that needs to be verified, its instruction cycle is used as the weight, and the bounded idempotent semi-ring
[0085] operator Defined as taking the minimum value, the operator Defined as ar...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com