Issue No. 06 - June (1999 vol. 10)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.774911
<p><b>Abstract</b>—This paper evaluates the concurrent error detection capabilities of system-level checks, using fault and error injection. The checks comprise application and system level mechanisms to detect control flow errors. We propose <it>Enhanced Control-Flow Checking Using Assertions</it> (ECCA). In ECCA, branch-free intervals (BFI) in a given high or intermediate level program are identified and the entry and exit points of the intervals are determined. BFIs are then grouped into blocks, the size of which is determined through a performance/overhead analysis. The blocks are then fortified with preinserted assertions. For the high level ECCA, we describe an implementation of ECCA through a preprocessor that will automatically insert the necessary assertions into the program. Then, we describe the intermediate implementation possible through modifications made on gcc to make it ECCA capable. The fault detection capabilities of the checks are evaluated both analytically and experimentally. Fault injection experiments are conducted using FERRARI [<ref type="bib" rid="bibL06271">1</ref>] to determine the fault coverage of the proposed techniques.</p>
Control flow checking, assertions, fault injection, coverage, latency.
J.a. Abraham, N. Krishnamurthy, Z. Alkhalifa, V.s.s. Nair, "Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection", IEEE Transactions on Parallel & Distributed Systems, vol. 10, no. , pp. 627-641, June 1999, doi:10.1109/71.774911