Name
Title | ||
|---|---|---|
Software-Based Control Flow Checking Against Transient Faults in Industrial Environments |
Abstract | ||
|---|---|---|
Mechatronic systems operating in industrial environments are subject to a variety of threats because of harsh conditions. Industrial systems usually use commercial off-the shelf (COTS) equipment which are not robust and safe against hostile conditions and therefore require fault-tolerance considerations. This paper presents a novel and efficient method for online detection of control flow errors, called software-based control flow checking (SCFC). It is implemented purely in software and does not manipulate the hardware architecture of the system. Redundant instructions and signatures are embedded into the program at compile time and are utilized for control flow checking at run time. The signatures of the basic blocks are derived from the program graph. It is shown in the paper that SCFC method can increase single detection capability to 14.7% and the fault coverage to 6.12% averagely in comparison with other methods without any increase in memory and performance overheads. In the paper, besides experimental evaluations, analytical evaluations are also carried out, based on probability principles. The detection ability of each method used is thus computed. These computations verify the experimental results and show that SCFC can detect more errors than other methods suggested in literature. Considering the memory limitations in some (such as space) applications and the trend towards the requirement for faster execution of programs, we suggest a novel metric called fitness parameter which incorporates these. It is a better measure than the previously proposed ones since it considers the fault coverage, the memory overhead and the execution time (performance overhead) of each method simultaneously, as well as the detection capability. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/TII.2013.2248373 | Industrial Informatics, IEEE Transactions |
Keywords | Field | DocType |
error detection,probability,software fault tolerance,COTS equipment,SCFC method,commercial off the shelf equipment,control flow errors,fault coverage,fault tolerance considerations,fitness parameter,hardware architecture,harsh conditions,hostile conditions,industrial environments,industrial systems,mechatronic systems,memory overhead,probability principles,redundant instructions,software based control flow checking,transient faults,Analytical evaluation,commercial off-the-shelf (COTS),control flow checking,fault injection,fitness parameter,software-based error detection | Fault coverage,Computer science,Compile time,Control flow,Software fault tolerance,Real-time computing,Error detection and correction,Software,Mechatronics,Embedded system,Hardware architecture | Journal |
Volume | Issue | ISSN |
10 | 1 | 1551-3203 |
Citations | PageRank | References |
10 | 0.58 | 20 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Seyyed Amir Asghari | 1 | 13 | 3.70 |
| Hassan Taheri | 2 | 95 | 12.79 |
| Hossein Pedram | 3 | 190 | 32.47 |
| M. Okyay Kaynak | 4 | 2378 | 178.15 |