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.

Determined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs / da Silva, Felipe Augusto; Bagbaba, Ahmet Cagri; Sartoni, Sandro; Cantoro, Riccardo; Reorda, Matteo Sonza; Hamdioui, Said; Sauer, Christian. - ELETTRONICO. - (2020), pp. 1-6. (Intervento presentato al convegno 2020 IEEE European Test Symposium (ETS) tenutosi a Tallinn, Estonia nel 25-29 May 2020) [10.1109/ETS48528.2020.9131568].

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

Sartoni, Sandro;Cantoro, Riccardo;Reorda, Matteo Sonza;Hamdioui, Said;
2020

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.
2020
978-1-7281-4312-5
File in questo prodotto:
File Dimensione Formato  
PUBLISHED-09131568.pdf

non disponibili

Descrizione: final paper
Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 289.81 kB
Formato Adobe PDF
289.81 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
ETS20___Determined_Safe_Faults_Identification.pdf

accesso aperto

Descrizione: accepted
Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: PUBBLICO - Tutti i diritti riservati
Dimensione 215.71 kB
Formato Adobe PDF
215.71 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2838375