DIMP: A low-cost diversity metric based on circuit path analysis

Diversity has been regarded as a desirable property of redundant instances, since it allows circuits to behave differently in front of a given fault. However, while qualitatively diversity is a well-understood concept, usable efficient metrics do not exist to quantify diversity in the context of safety-related systems. In this paper we cover this gap by proposing DIMP, a low-cost diversity metric based on analyzing the paths of the redundant circuits. We relate it to the particular case of automotive microcontrollers implementing lockstep cores and show that it can be successfully used providing relevant information for addressing common cause faults.

[1]  Shubhendu S. Mukherjee,et al.  Transient fault detection via simultaneous multithreading , 2000, Proceedings of 27th International Symposium on Computer Architecture (IEEE Cat. No.RS00201).

[2]  Jaume Abella,et al.  LiVe: Timely error detection in light-lockstep safety critical systems , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[3]  Edward J. McCluskey,et al.  A Design Diversity Metric and Analysis of Redundant Systems , 2002, IEEE Trans. Computers.

[4]  Edward J. McCluskey,et al.  Techniques for estimation of design diversity for combinational logic circuits , 2001, 2001 International Conference on Dependable Systems and Networks.

[5]  Edward J. McCluskey,et al.  Efficient design diversity estimation for combinational circuits , 2004, IEEE Transactions on Computers.

[6]  Jaume Abella,et al.  Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[7]  Stefan Kowalewski,et al.  Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches , 2007, SAFECOMP.

[8]  Edward J. McCluskey,et al.  Design diversity for concurrent error detection in sequential logic circuits , 2001, Proceedings 19th IEEE VLSI Test Symposium. VTS 2001.

[9]  Robert E. Lyons,et al.  The Use of Triple-Modular Redundancy to Improve Computer Reliability , 1962, IBM J. Res. Dev..

[10]  R. Wilhelm,et al.  Predictability Considerations in the Design of Multi-Core Embedded Systems ∗ , 2010 .

[11]  Chin-Long Chen,et al.  Error-Correcting Codes for Semiconductor Memory Applications: A State-of-the-Art Review , 1984, IBM J. Res. Dev..

[12]  David Bryan,et al.  Combinational profiles of sequential benchmark circuits , 1989, IEEE International Symposium on Circuits and Systems,.