Transient error detection method based on function call relationship
A function call relationship and instantaneous error technology, applied in the field of computer science, can solve problems such as catastrophic accidents, program runaway, system dysfunction, etc.
Inactive Publication Date: 2013-10-23
BEIHANG UNIV
View PDF2 Cites 8 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
A single event flip is a kind of instantaneous error. Affected by this error may lead to system dysfunction, causing the program to run away, and in serious cases, catastrophic accidents will occur.
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0019] The present invention designs an instantaneous error detection method based on the function call relationship, generates the function call relationship in the C language file at the compilation stage, uses the code instrumentation tool to perform signature insertion on the function according to the function call relationship diagram, and finally verifies the error through dynamic operation The effectiveness of the detection method, the overall structure of the detection method is as follows figure 1 shown.
[0020] 1. Signature algorithm based on function call relationship
[0021] Define 1 root node: determine the function nodes in the auxiliary analysis file, and call the function node with an in-degree of zero as the root node. The in-degree of a function is zero means that the number of times this function is called by all other functions is zero.
[0022] Definition 2 Leaf node: In the auxiliary analysis file, the out-degree is zero, and the function node defined ...
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
Login to View More Abstract
The invention designs a transient error detection method based on a function call relationship. The transient error detection method is characterized in that a C language is compiled by a compiling technique to form an auxiliary file comprising the function call relationship, the auxiliary file analyzed to form a function call relationship graph, static instrumentation of a C language file is realized by an instrumentation tool, and finally the effectiveness of an instrumentation algorithm is verified by dynamic running. The transient error detection method mainly comprises the steps of compiling the C language with the compiling technique based on design of the instrumentation algorithm of the function call relationship to obtain the auxiliary analysis file comprising the function call relationship which comprises the function call relationship and the C language file where a function definition is located, designing the instrumentation tool, analyzing the auxiliary analysis file to obtain the function call relationship graph, performing instrumentation on the C language at an entry and an exit of a function respectively with the instrumentation algorithm based on the function call relationship, and dynamically running a program comprising an instrumentation signature algorithm to verify the effectiveness of the algorithm.
Description
Technical field: [0001] The invention relates to an instantaneous error detection method based on the calling relationship between functions, and belongs to the technical field of computer science. Background technique: [0002] With the continuous development of my country's aerospace technology, the use of artificial satellites is becoming more and more extensive, and more and more satellites are used in different fields such as communication, resource detection, reconnaissance, meteorology, and navigation. However, satellites are also limited by the requirements of the space environment, volume, weight, and power consumption. The enhancement of various system functions of satellites largely depends on more and more complex microelectronic devices, which also relatively increases the number of onboard computers. The complexity of integrated circuits. In the space environment, the increase in the complexity of integrated circuit design also increases the probability of tra...
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
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
Inventor 王雷王刚原仓周梁栋
Owner BEIHANG UNIV