Combining Fault Analysis Technologies for ISO26262 Functional Safety Verification

Conference paper (2020)

Authors

F. Augusto da Silva Cadence Design Systems, Computer Engineering - EEMCS
Ahmet Cagri Bagbaba Cadence Design Systems
S. Hamdioui Quantum & Computer Engineering
Christian Sauer Cadence Design Systems
Research Group
Computer Engineering (EEMCS) (TU Delft)
Copyright: © 2020 F. Augusto da Silva, Ahmet Cagri Bagbaba, S. Hamdioui, Christian Sauer
DOI
help_outline
https://doi.org/10.1109/ATS47505.2019.00024
Simulation Verification ATPG Formal Methods Functional Safety ISO26262 Fault Injection Tool Confidence Level ISO26262 Fault Injection
More Info
expand_more

Published Date

2020

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Quantum & Computer Engineering

Research Group

Computer Engineering

Abstract

The development of Integrated Circuits for the Automotive sector imposes on complex challenges. ISO26262 Functional Safety requirements entail extensive Fault Injection campaigns and complex analysis for the evaluation of deployed Software Tools. This paper proposes a methodology to improve Fault Analysis Tools Confidence Level (TCL) by detecting errors in the classification of faults. By combining the strengths of Automatic Test Pattern Generators (ATPG), Formal Methods and Fault Injection Simulators we are able to automatically generate a Test Environment that enables the validation of the tools and provides supplementary information about the design behavior. Our results showed fault detection rates above 99% including information to improve ISO26262 metrics calculation