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 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 injecti...

• Type: Conference
• Year: 2002
• Where: DSN
• Authors: Markus Jochim
• Keywords: Computer Networks, Diverse Functions Fa, Diversity Techniques, DSN 2002, Generated Vdss