Determined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs

Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Sandro Sartoni, Riccardo Cantoro, Matteo Sonza Reorda, Said Hamdioui, Christian Sauer

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

15 Downloads (Pure)


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.
Original languageEnglish
Title of host publication2020 IEEE European Test Symposium (ETS)
Subtitle of host publicationProceedings
Number of pages6
ISBN (Electronic)978-1-7281-4312-5
ISBN (Print)978-1-7281-4313-2
Publication statusPublished - 2020
EventETS 2020: 2020 IEEE European Test Symposium - Tallinn, Estonia
Duration: 25 May 202029 May 2020


ConferenceETS 2020


  • ISO26262
  • Fault Injection
  • Safe Faults
  • Formal Methods
  • Simulation
  • Functional Safety
  • Verification

Fingerprint Dive into the research topics of 'Determined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs'. Together they form a unique fingerprint.

Cite this