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

7 Citations (Scopus)
184 Downloads (Pure)

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

Conference

ConferenceETS 2020
Country/TerritoryEstonia
CityTallinn
Period25/05/2029/05/20

Bibliographical note

Accepted author manuscript

Keywords

  • 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