Efficient Methodology for ISO26262 Functional Safety Verification

Felipe Augusto Da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, Christian Sauer

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

21 Downloads (Pure)

Abstract

Tolerance to random hardware failures, required by ISO26262, entails accurate design behavior analysis, complex Verification Environments and expensive Fault Injection campaigns. This paper proposes a methodology combining the strengths of Automatic Test Pattern Generators (ATPG), Formal Methods and Fault Injection Simulation to decrease the efforts of Functional Safety Verification. Our methodology results in a fast-deployed Fault Injection environment achieving Fault detection rates higher than 99% on the tested designs. In addition, ISO26262 Tool Confidence level is improved by a fault analysis report that allows verification of malfunctions in the outputs of the tools.

Original languageEnglish
Title of host publication2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019
EditorsDimitris Gizopoulos, Dan Alexandrescu, Panagiota Papavramidou, Michail Maniatakos
Place of PublicationPiscataway
PublisherIEEE
Pages255-256
Number of pages2
ISBN (Electronic)978-1-7281-2490-2
ISBN (Print)978-1-7281-2491-9
DOIs
Publication statusPublished - 1 Jul 2019
Event25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019 - Rhodes, Greece
Duration: 1 Jul 20193 Jul 2019

Conference

Conference25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019
CountryGreece
CityRhodes
Period1/07/193/07/19

Keywords

  • ATPG
  • Fault Injection Simulation
  • Formal Methods
  • Functional Safety
  • ISO26262

Fingerprint Dive into the research topics of 'Efficient Methodology for ISO26262 Functional Safety Verification'. Together they form a unique fingerprint.

Cite this