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 language | English |
---|---|
Title of host publication | 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019 |
Editors | Dimitris Gizopoulos, Dan Alexandrescu, Panagiota Papavramidou, Michail Maniatakos |
Place of Publication | Piscataway |
Publisher | IEEE |
Pages | 255-256 |
Number of pages | 2 |
ISBN (Electronic) | 978-1-7281-2490-2 |
ISBN (Print) | 978-1-7281-2491-9 |
DOIs | |
Publication status | Published - 1 Jul 2019 |
Event | 25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019 - Rhodes, Greece Duration: 1 Jul 2019 → 3 Jul 2019 |
Conference
Conference | 25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019 |
---|---|
Country | Greece |
City | Rhodes |
Period | 1/07/19 → 3/07/19 |
Keywords
- ATPG
- Fault Injection Simulation
- Formal Methods
- Functional Safety
- ISO26262