Control flow verification method and device, equipment and storage medium
A verification method and control flow technology, applied in the direction of program control device, program control design, hardware monitoring, etc., can solve problems such as unsatisfactory requirements
Pending Publication Date: 2022-02-25
TRAFFIC CONTROL TECH CO LTD
View PDF0 Cites 1 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0002] For a long-running high-reliability system, it is very important to verify whether the program code is executed in the correct order of control flow. Usually, the program is divided into several code modules, so that the execution of the program can be regarded as a transition between these code modules. Constantly jumping, the current algorithm generally adopts the control flow verification based on random collision of XOR operation, but for high-reliability systems and safety-critical systems, such as rail transit signal system equipment, the existing control flow verification algorithm cannot meet the requirements
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
[0031] In order to make the purpose, technical solutions and advantages of the embodiments of the present disclosure clearer, the technical solutions in the embodiments of the present disclosure will be clearly and completely described below in conjunction with the drawings in the embodiments of the present disclosure. Obviously, the described embodiments It is a part of the embodiments of the present disclosure, but not all of them. Based on the embodiments in the present disclosure, all other embodiments obtained by persons of ordinary skill in the art without creative efforts fall within the protection scope of the present disclosure.
[0032] In addition, the term "and / or" in this article is only an association relationship describing associated objects, which means that there may be three relationships, for example, A and / or B, which may mean: A exists alone, A and B exist at the same time, There are three cases of B alone. In addition, the character " / " in this article ...
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 embodiment of the invention provides a control flow verification method and device, equipment and a storage medium. The method comprises the following steps: when a program jumps to a current code block, obtaining a static signature and a supervision code of a previous code block; executing check operation according to the adjustment code of the current code block and the supervision code of the previous code block, and judging whether a control flow error occurs or not according to a result of the check operation; if the verification is passed, judging whether a control flow error occurs or not according to a supervision code of the current code block generated by the verification operation and a static signature of the current code block, wherein the static signatures of the code blocks are different prime numbers, the adjustment code of the code block is the product of the static signature of the code block and the static signature of the previous code block of the code block in the target sequence, and the target sequence is the head-to-tail arrangement sequence of the serial number identifiers of the code blocks from small to large. In this way, the skip sequence of the program among the control nodes can be supervised, and control flow errors can be accurately detected.
Description
technical field [0001] The present disclosure relates to the field of industrial control, in particular to the technical field of control flow verification. Background technique [0002] For a long-running high-reliability system, it is very important to verify whether the program code is executed in the correct order of control flow. Usually, the program is divided into several code modules, so that the execution of the program can be regarded as a transition between these code modules. Constantly jumping, the current algorithm generally adopts the control flow verification based on the random collision of XOR operation, but for high reliability systems and safety-critical systems, such as rail transit signal system equipment, the existing control flow verification algorithm cannot meet the requirements. Contents of the invention [0003] The present disclosure provides a method, device, device and storage medium for controlling flow verification. [0004] According to t...
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): G06F9/445G06F11/34
CPCG06F11/3495G06F9/44589
Inventor 薛冰徐大鹏张锋瑞
Owner TRAFFIC CONTROL TECH CO LTD