research-article

DIMP: A Low-Cost Diversity Metric Based on Circuit Path Analysis

Authors:

Carles Hernandez,

Jaume AbellaAuthors Info & Claims

DAC '17: Proceedings of the 54th Annual Design Automation Conference 2017

Article No.: 45, Pages 1 - 6

https://doi.org/10.1145/3061639.3062231

Published: 18 June 2017 Publication History

Abstract

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.

References

[1]

ISO/DIS 26262. Road Vehicles -- Functional Safety, 2009.

[2]

F. Brglez, D. Bryan, and K. Kozminski. Combinational profiles of sequential benchmark circuits. In ISCAS, May 1989.

[3]

CENELEC. EN50128. Railway Applications: Software for Railway Control and Protection Systems, 2011.

[4]

R.N. Charette. This car runs on code. In IEEE Spectrum online, 2009.

[5]

C.L. Chen and M.Y. Hsiao. Error-correcting codes for semiconductor memory applications: A state of the art review. IBM Journal of R&D, 28(2):124--134, 1984.

Digital Library

[6]

P. Clarke. Automotive chip content growing fast, says gartner, 2010. http://www.eetimes.com/electronics-news/4207377/Automotive-chip-content-growing-fast.

[7]

C. Cullmann et al. Predictability considerations in the design of multi-core embedded systems. In ERTSS, 2010.

[8]

G. Edelin. Embedded systems at thales: the artemis challenges for an industrial group. In Presentation at the ARTIST Summer School in Europe 2009, 2009.

[9]

J. Espinosa et. al. Analysis and rtl correlation of instruction set simulators for automotive microcontroller robustness verification. In DAC, 2015.

Digital Library

[10]

Freescale Semiconductor. Qorivva MPC5643L microcontroller data sheet. rev. 9, 2013.

[11]

C. Hernandez and J. Abella. LiVe: Timely error detection in light-lockstep safety critical systems. In DAC, 2014.

Digital Library

[12]

IBM. PowerPC 750GX Lockstep Facility. Application note, 2008.

[13]

Infineon. AURIX Multicore 32-bit Microcontroller Family to Meet Safety and Powertrain Requirements of Upcoming Vehicle Generations. http://www.infineon.com/cms/en/about-infineon/press/press-releases/2012/INFATV201205-040.html.

[14]

International Electrotechnical Commission. IEC61508. Functional safety of electrical/electronic/programmable electronic safety-related systems, 2010.

[15]

R.E. Lyons and W. Vanderkulk. The use of triple modular redundancy to improve computer reliability. IBM Journal of R&D, 6(2):200--209, 1962.

Digital Library

[16]

S. Mitra and E.J. McCluskey. Design diversity for concurrent error detection in sequential logic circuits. In VTS, 2001.

Digital Library

[17]

S. Mitra, N.R. Saxena, and E.J. McCluskey. Techniques for estimation of design diversity for combinational logic circuits. In DSN, 2001.

Digital Library

[18]

S. Mitra, N.R. Saxena, and E.J. McCluskey. A design diversity metric and analysis of redundant systems. IEEE Transactions on Computers, 51(5), 2002.

Digital Library

[19]

Subhasish Mitra, Nirmal R. Saxena, and Edward J. McCluskey. Efficient design diversity estimation for combinational circuits. IEEE Trans. Comput., 53(11):1483--1492, November 2004.

Digital Library

[20]

S.K. Reinhardt and S.S. Mukherjee. Transient fault detection via simultaneous multithreading. In ISCA, 2000.

Digital Library

[21]

RTCA and EUROCAE. DO-178B / ED-12B, Software Considerations in Airborne Systems and Equipment Certification, 1992.

[22]

F. Salewski and S. Kowalewski. Achieving highly reliable embedded software: An empirical evaluation of different approaches. In SAFECOMP, 2007.

Digital Library

[23]

Texas Instruments. Hercules microcontrollers: Real-time MCUs for safety-critical products, 2011. White Paper.

Cited By

Parchamdar BCarrion Schaefer BDe V(2024)Finding Bugs in RTL Descriptions: High-Level Synthesis to the RescueProceedings of the 61st ACM/IEEE Design Automation Conference10.1145/3649329.3658258(1-6)Online publication date: 23-Jun-2024
https://dl.acm.org/doi/10.1145/3649329.3658258
Koufopoulou APapadimitriou APikrakis APsarakis MHely D(2023)On the Prediction of Hardware Security Properties of HLS Designs Using Graph Neural Networks2023 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)10.1109/DFT59622.2023.10313544(1-6)Online publication date: 3-Oct-2023
https://doi.org/10.1109/DFT59622.2023.10313544
Alcaide Portet SKosmidis LHernandez CAbella J(2020)Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S)10.1109/DSN-S50200.2020.00045(82-88)Online publication date: Jun-2020
https://doi.org/10.1109/DSN-S50200.2020.00045
Show More Cited By

Recommendations

Cache side-channel attacks and time-predictability in high-performance critical real-time systems
DAC '18: Proceedings of the 55th Annual Design Automation Conference

Embedded computers control an increasing number of systems directly interacting with humans, while also manage more and more personal or sensitive information. As a result, both safety and security are becoming ubiquitous requirements in embedded ...
LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems
DAC '14: Proceedings of the 51st Annual Design Automation Conference

Safety-critical systems rely on features such as lockstep execution for error detection, and reset and reexecution for error correction. In particular, light lockstep is an attractive choice since it does not require redesigning cores but, instead, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '17: Proceedings of the 54th Annual Design Automation Conference 2017

June 2017

533 pages

ISBN:9781450349277

DOI:10.1145/3061639

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CEDA

In-Cooperation

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 June 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Ministerio de Economía y Competitividad

Conference

DAC '17

Sponsor:

EDAC
SIGDA

DAC '17: The 54th Annual Design Automation Conference 2017

June 18 - 22, 2017

TX, Austin, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
100
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Parchamdar BCarrion Schaefer BDe V(2024)Finding Bugs in RTL Descriptions: High-Level Synthesis to the RescueProceedings of the 61st ACM/IEEE Design Automation Conference10.1145/3649329.3658258(1-6)Online publication date: 23-Jun-2024
https://dl.acm.org/doi/10.1145/3649329.3658258
Koufopoulou APapadimitriou APikrakis APsarakis MHely D(2023)On the Prediction of Hardware Security Properties of HLS Designs Using Graph Neural Networks2023 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)10.1109/DFT59622.2023.10313544(1-6)Online publication date: 3-Oct-2023
https://doi.org/10.1109/DFT59622.2023.10313544
Alcaide Portet SKosmidis LHernandez CAbella J(2020)Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S)10.1109/DSN-S50200.2020.00045(82-88)Online publication date: Jun-2020
https://doi.org/10.1109/DSN-S50200.2020.00045
Alcaide SKosmidis LHernandez CAbella J(2019)High-Integrity GPU Designs for Critical Real-Time Automotive Systems2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE.2019.8715177(824-829)Online publication date: Mar-2019
https://doi.org/10.23919/DATE.2019.8715177
Taher FJoslin MBalachandran AZhu ZSchafer B(2019)Common-Mode Failure Mitigation: Increasing Diversity through High-Level Synthesis2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE.2019.8714816(1563-1566)Online publication date: Mar-2019
https://doi.org/10.23919/DATE.2019.8714816
Alcaide SKosmidis LHernandez CAbella J(2019)Software-only Diverse Redundancy on GPUs for Autonomous Driving Platforms2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS)10.1109/IOLTS.2019.8854378(90-96)Online publication date: Jul-2019
https://doi.org/10.1109/IOLTS.2019.8854378
Taher FBalachandran ACarrion Schafer B(2019)Learning-Based Diversity Estimation: Leveraging the Power of High-Level Synthesis to Mitigate Common-Mode Failure2019 IEEE 37th International Conference on Computer Design (ICCD)10.1109/ICCD46524.2019.00071(460-467)Online publication date: Nov-2019
https://doi.org/10.1109/ICCD46524.2019.00071
Babu MTaher FBalachandran ACarrion Schafer B(2019)Efficient Hardware Acceleration for Design Diversity Calculation to Mitigate Common Mode Failures2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)10.1109/FCCM.2019.00043(267-270)Online publication date: Apr-2019
https://doi.org/10.1109/FCCM.2019.00043

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten