Determined-Safe Faults Identification
A step towards ISO26262 hardware compliant designs
Felipe Silva (Cadence Design Systems, TU Delft - Computer Engineering)
Ahmet Cagri Bagbaba (Cadence Design Systems)
Sandro Sartoni (Politecnico di Torino)
Riccardo Cantoro (Politecnico di Torino)
Matteo Sonza Reorda (Politecnico di Torino)
Said Hamdioui (TU Delft - Quantum & Computer Engineering)
Christian Sauer (Cadence Design Systems)
More Info
expand_more
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.
Abstract
The development of Integrated Circuits for the Automotive sector imposes on major challenges. ISO26262 compliance, as part of this process, entails complex analysis for the evaluation of potential random hardware faults. This paper proposes a systematic approach to identify faults that do not disrupt safety-critical functionalities and consequently can be considered Safe. By deploying code coverage and Formal verification techniques, our methodology enables the classification of faults that are unclassified by other technologies, improving ISO26262 compliance. Our results, in combination with Fault Simulation, achieved a Diagnostic Coverage of 93% in a CAN Controller. These figures allow an initial assessment for an ASIL B configuration of the IP.