Processor Control Flow Monitoring Using Signatured Instruction Streams
IEEE Transactions on Computers
A Synthesis of Software Science Measures and the Cyclomatic Number
IEEE Transactions on Software Engineering
Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
Control-Flow Checking Using Watchdog Assists and Extended-Precision Checksums
IEEE Transactions on Computers
Structured computer organization (3rd ed.)
Structured computer organization (3rd ed.)
SPARC architecture, assembly language programming, and C
SPARC architecture, assembly language programming, and C
Reduced instruction set computers
Communications of the ACM - Special section on computer architecture
Concurrent Error Detection Using Watchdog Processors-A Survey
IEEE Transactions on Computers
Design and Analysis of an Integrated Checkpointing and Recovery Scheme for Distributed Applications
IEEE Transactions on Knowledge and Data Engineering
Concurrent Detection of Processor Control Errors by Hybrid Signature Monitoring
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Algebraic techniques for the optimization of control flow checking
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Concurrent Detection of Control Flow Errors by Hybrid Signature Monitoring
IEEE Transactions on Computers
Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Research: Signature-based method for run-time fault detection in communication protocols 1
Computer Communications
| Hi-index | 14.98 |
A simple, inexpensive and time/space efficient signature technique for process monitoring is presented. In this technique, a known signature function is applied to the instruction stream at compilation phase and when the accumulated signature forms an m-out-of-n code, the corresponding instructions are tagged. Error checking is done at run-time by monitoring the signatures accumulated at the tagged locations to determine whether they form m-out-of-n codes. This approach of signature checking does not require the embedding of reference signatures at compilation, thereby leading to savings in memory as well as in execution time. The m-out-of-n code approach offers high error coverage and controllable latency. The results of the experiments conducted to verify the controllability of the latency are discussed. One of the distinguishing features of the proposed scheme is the elimination of reference signatures, which are the main source of memory and time overhead in the existing techniques.