Control-flow checking by software signatures
Top Cited Papers
- 7 August 2002
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Reliability
- Vol. 51 (1) , 111-122
- https://doi.org/10.1109/24.994926
Abstract
This paper presents a new signature monitoring technique, CFCSS (control flow checking by software signatures); CFCSS is a pure software method that checks the control flow of a program using assigned signatures. An algorithm assigns a unique signature to each node in the program graph and adds instructions for error detection. Signatures are embedded in the program during compilation time using the constant field of the instructions and compared with run-time signatures when the program is executed. Another algorithm reduces the code size and execution time overhead caused by checking instructions in CFCSS. A "branching fault injection experiment" was performed with benchmark programs. Without CFCSS, an average of 33.7 % of the injected branching faults produced undetected incorrect outputs; however, with CFCSS, only 3.1 % of branching faults produced undetected incorrect outputs. Thus it is possible to increase error detection coverage for control flow errors by an order of magnitude using CFCSS. The distinctive advantage of CFCSS over previous signature monitoring techniques is that CFCSS is a pure software method, i.e., it needs no dedicated hardware such as a watchdog processor for control flow checking. A watchdog task in multitasking environment also needs no extra hardware, but the advantage of CFCSS over a watchdog task is that CFCSS can be used even when the operating system does not support multitasking.Keywords
This publication has 14 references indexed in Scilit:
- Concurrent Control Flow Checking in Sequential and Parallel ProgramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Processor Monitoring Using Asynchronous Signatured Instruction StreamsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Implicit signature checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fault injection evaluation of assigned signatures in a RISC processorPublished by Springer Nature ,1996
- USA experiment on the ARGOS satellite: a low-cost instrument for timing x-ray binariesPublished by SPIE-Intl Soc Optical Eng ,1994
- On-Line Signature Learning and CheckingPublished by Springer Nature ,1992
- Concurrent Error Detection using Signature Monitoring and EncryptionPublished by Springer Nature ,1991
- Control-flow checking using watchdog assists and extended-precision checksumsIEEE Transactions on Computers, 1990
- Concurrent error detection using watchdog processors-a surveyIEEE Transactions on Computers, 1988
- An Approach to Concurrent Control Flow CheckingIEEE Transactions on Software Engineering, 1980