Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262

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

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

33 Downloads (Pure)


This work aims at an alternative method to verify the correctness of Fault Lists generated by fault simulators tools in context of safety verification. The lists generated by simulation tools are verified against lists from formal tools. The consistency evaluation between the lists supports the Tool Confidence Level (TCL) assessment, defined in the ISO26262. In addition, formal tools have the potential of performing optimization in Fault Lists by annotation of the expected behavior of the design under fault. Our work demonstrates the feasibility of using Formal Methods to verify and optimize the fault list from simulators. Results indicate an average reduction of 29.5% on the number of faults to be simulated and demonstrate that it is possible to achieve TCL by verification of the fault lists.
Original languageEnglish
Title of host publicationDVCon Europe 2018
Number of pages6
Publication statusPublished - 2018
EventDVCon Europe 2018: Design and Verification Conference and Exhibition Europe - Holiday Inn Munich City Centre, Munich, Germany
Duration: 24 Oct 201825 Oct 2018


ConferenceDVCon Europe 2018


  • ISO26262
  • Fault Injection
  • Formal
  • Simulation
  • Tool Qualification

Fingerprint Dive into the research topics of 'Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262'. Together they form a unique fingerprint.

Cite this