Processor Control Flow Monitoring Using Signatured Instruction Streams
- 1 March 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-36 (3) , 264-276
- https://doi.org/10.1109/tc.1987.1676899
Abstract
This paper presents an innovative approach, called signatured instruction streams (SIS), to the on-line detection of control flow errors caused by transient and intermittent faults. At compile time an application program is appropriately partitioned into smaller subprograms, and cyclic codes, or signatures, characterizing the control flow of each subprogram are generated and embedded in the object code. At runtime, special built-in hardware regenerates these signatures using runtime information and compares them to the precomputed signatures. A mismatch indicates the detection of an error. A demonstration system, based on the MC68000 processor, has been designed and built. Fault insertion experiments have been performed using the demonstration system. The demonstration system, using 17 percent hardware overhead, is able to detect 98 percent of faults affecting the control flow and 82 percent of all randomly inserted faults.Keywords
This publication has 9 references indexed in Scilit:
- OBSERVER A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS IN CONCURRENT SYSTEMSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- WATCHDOG PROCESSORS AND CAPABILITY CHECKINGPublished 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
- Concurrent error detection using watchdog processors-a surveyIEEE Transactions on Computers, 1988
- Concurrent Fault Detection in Microprogrammed Control UnitsIEEE Transactions on Computers, 1985
- Watchdog Processors and Structural Integrity CheckingIEEE Transactions on Computers, 1982
- Testing of digital systemsProceedings of the IEEE, 1981
- An Approach to Concurrent Control Flow CheckingIEEE Transactions on Software Engineering, 1980
- Diagnosis & Reliable Design of Digital SystemsPublished by Springer Nature ,1976