Conference paper Open Access

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

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


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nam##2200000uu#4500</leader>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">ISO26262; Fault Injection; Formal; Simulation; Tool Qualification.</subfield>
  </datafield>
  <controlfield tag="005">20200120170208.0</controlfield>
  <controlfield tag="001">3361533</controlfield>
  <datafield tag="711" ind1=" " ind2=" ">
    <subfield code="d">24-26 October 2018</subfield>
    <subfield code="g">DVCon Europe</subfield>
    <subfield code="a">Design and Verification Conference and Exhibitions</subfield>
    <subfield code="c">Munich, Germany</subfield>
    <subfield code="n">Advanced Verification Techniques</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Cadence Design Systems</subfield>
    <subfield code="a">Bagbaba, Ahmet Cagri</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Delft University of Technology</subfield>
    <subfield code="a">Hamdioui, Said</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Cadence Design Systems</subfield>
    <subfield code="a">Sauer, Christian</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">551786</subfield>
    <subfield code="z">md5:458aa54178fb4666979530f4c86896b7</subfield>
    <subfield code="u">https://zenodo.org/record/3361533/files/11_1.pdf</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="y">Conference website</subfield>
    <subfield code="u">https://dvcon-europe.org</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2018-10-25</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire</subfield>
    <subfield code="o">oai:zenodo.org:3361533</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">Cadence Design Systems</subfield>
    <subfield code="a">Augusto da Silva, Felipe</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262</subfield>
  </datafield>
  <datafield tag="536" ind1=" " ind2=" ">
    <subfield code="c">722325</subfield>
    <subfield code="a">Interdependent Challenges of Reliability, Security and Quality in Nanoelectronic Systems Design</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;This work aims at an alternative method to verify the correctness of Fault Lists generated by fault simulators tools in the 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.&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.3361532</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.3361533</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">publication</subfield>
    <subfield code="b">conferencepaper</subfield>
  </datafield>
</record>
18
16
views
downloads
All versions This version
Views 1818
Downloads 1616
Data volume 8.8 MB8.8 MB
Unique views 1515
Unique downloads 1414

Share

Cite as