Abstract | ||
---|---|---|
Dependability is a crucial requirement of today's embedded systems. To achieve a higher level of fault tolerance, it is necessary to develop and integrate mechanisms for a reliable fault detection. In the context of hard real-time computing, such a mechanism should also guarantee correct timing behavior, an essential requirement for these systems. In this paper, we present results of the fault coverage of a lightweight timing and control flow checker for hard real-time systems. An experimental evaluation shows that more than 30% of injected faults can be detected by our technique, while the number of errors leading to an endless loop is reduced by around 80 %. The check mechanism causes only very low overhead concerning additional memory usage (15.0% on average) and execution time (12.2% on average). |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/IOLTS.2012.6313855 | IOLTS |
Keywords | Field | DocType |
checkpointing,embedded systems,fault diagnosis,fault tolerant computing,safety-critical software,control flow checker,correct timing behavior,dependability,embedded systems,fault coverage,fault detection reliability,fault tolerance,hard real-time systems,safety-critical domains,timing checker | Stuck-at fault,Dependability,Fault coverage,Fault detection and isolation,Computer science,Software fault tolerance,Real-time computing,Fault tolerance,Fault model,Reliability engineering,Control reconfiguration,Embedded system | Conference |
ISSN | Citations | PageRank |
1942-9398 | 1 | 0.36 |
References | Authors | |
14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Julian Wolf | 1 | 114 | 6.86 |
Bernhard Fechner | 2 | 78 | 12.18 |
Theo Ungerer | 3 | 1262 | 136.24 |