Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

An inward analysis method of loop boundaries in real-time systems

A real-time system and analysis method technology, applied in the direction of program control devices, etc., can solve problems such as waste of system hardware resources, and achieve the effect of ensuring accessibility

Active Publication Date: 2017-05-24
NANJING UNIV
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In practical applications, the high estimate obtained by the outward analysis method of the loop boundary sometimes deviates from the actual boundary value very far, thereby causing a waste of system hardware resources. The inward analysis method provided by the present invention aims to provide a solution for this problem condition

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • An inward analysis method of loop boundaries in real-time systems
  • An inward analysis method of loop boundaries in real-time systems
  • An inward analysis method of loop boundaries in real-time systems

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0029] The loop boundary introvert analysis method of the real-time system of the present invention combines static analysis technology and dynamic symbol execution method, and changes the search mode during the symbol execution process so that the execution engine can quickly locate the maximum iteration path of each loop, and based on this Efficiently obtain estimates of loop boundaries.

[0030]The present invention proposes an inward analysis method of the circulation boundary from the perspective of ensuring accessibility, figure 1 The specific flow of the analysis method is given, that is, the loop block in the real-time system is located from the source code through static analysis, and the loop block information is temporarily stored in a file; then the system to be analyzed is converted into an execution code through symbolic compilation; Finally, the analysis results are obtained through the target-guided analysis engine. The specific implementation process can use ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention provides a circulation boundary inward direction analysis method of a real-time system. The method, is based on modification on path searching modes of sign execution, so that an executing engine can fast locate the maximum iteration path of each circulation in the system, in addition, the maximum iteration path is used as the basis for efficiently obtaining an estimation value of each circulation boundary in the system. The estimation value of each circulation boundary obtained by the method has the following characteristics that the system can ensure the reachability of the estimation value of each circulation boundary, i.e., one system input certainly exists, so that the system operation under the input reaches the circulation iteration times obtained by the boundary estimation value. As a necessary supplementing technology of a traditional circulation boundary analysis method, the circulation boundary inward direction analysis method provided by the invention can be used for estimating the maximum circulation iteration times capable of being reached by the system, so a user can more completely and effectively analyze the circulation boundary of the real-time system, and the system quality is improved.

Description

technical field [0001] The present invention relates to a dynamic and static combined real-time system loop boundary analysis method, which mainly uses the target-guided symbolic execution technology to track the execution conditions of the loop boundary, so as to realize the estimation of the loop boundary of the real-time system from the perspective of inward analysis, and belongs to the computer Technology, real-time system analysis cross-technical application fields. Background technique [0002] The loop boundary is an important factor affecting the real-time guarantee of real-time systems. It refers to the maximum number of iterations that the loop may achieve for any execution of the current system. Due to the undecidability of the problem itself, the analysis of loop boundaries will inevitably introduce errors. According to whether the introduced error makes the analysis result too large or too small, the loop boundary analysis methods can be divided into two types...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F9/44
Inventor 汤恩义鲍铁匀李宣东王林章陈鑫潘敏学
Owner NANJING UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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