Detecting processor hardware faults by means of automatically generated virtual duplex systems

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 T DS contains two variants P-a and P-b of P which are calculating the diverse functions f and f(b) in sequence. If no error occurs in the process of designing and executing P-a and P-b, then f = f(a) = f(b) holds. A fault in the underlying processor hardware is likely, to be detected by, the deviation of the results, i.e. f(a)(i) not equal f(b)(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.