Automated software diversity for hardware fault detection
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Fault tolerant embedded systems design by multi-objective optimization
Expert Systems with Applications: An International Journal
Journal of Electronic Testing: Theory and Applications
| Hi-index | 0.01 |
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given function f, then a VDS contains two variants Pa and Pb of P which are calculating the diverse functions fa and fb in sequence. If no error occurs in the process of designing and executing Pa and Pb, then f = fa = fb holds. A fault in the underlying processor hardware is likely to be detected by the deviation of the results, i.e. fa(i) .fb(i) for input i. Normally, VDSs are generated by manually applying different diversity techniques. This paper, in contrast, presents a new method and a tool for the automated generation of VDSs with a high detection probability for hardware faults. Moreover, for the first time the diversity techniques are selected by an optimization algorithm rather than chosen intuitively. The generated VDSs are investigated extensively by means of software implemented processor fault injection.