@inproceedings{6795d233b8e14ec098cc636e973cad03,
title = "Combining Fault Analysis Technologies for ISO26262 Functional Safety Verification",
abstract = "The development of Integrated Circuits for the Automotive sector imposes on complex challenges. ISO26262 Functional Safety requirements entail extensive Fault Injection campaigns and complex analysis for the evaluation of deployed Software Tools. This paper proposes a methodology to improve Fault Analysis Tools Confidence Level (TCL) by detecting errors in the classification of faults. By combining the strengths of Automatic Test Pattern Generators (ATPG), Formal Methods and Fault Injection Simulators we are able to automatically generate a Test Environment that enables the validation of the tools and provides supplementary information about the design behavior. Our results showed fault detection rates above 99% including information to improve ISO26262 metrics calculation",
keywords = "ISO26262, Fault Injection, Formal Methods, Simulation, Tool Confidence Level, Functional Safety, Verification, ATPG, ISO26262 Fault Injection",
author = "{Augusto da Silva}, Felipe and Bagbaba, {Ahmet Cagri} and Said Hamdioui and Christian Sauer",
note = "Accepted author manuscript; 2019 IEEE 28th Asian Test Symposium (ATS) ; Conference date: 10-12-2019 Through 13-12-2019",
year = "2020",
doi = "10.1109/ATS47505.2019.00024",
language = "English",
isbn = "978-1-7281-2696-8",
volume = "2019-December",
series = "2019 IEEE 28TH ASIAN TEST SYMPOSIUM (ATS)",
publisher = "IEEE",
pages = "129--134",
editor = "R.S. Bilof",
booktitle = "Proceedings - 2019 IEEE 28th Asian Test Symposium, ATS 2019",
address = "United States",
}