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

BibTeX Export

@proceedings{augusto_da_silva_felipe_2018_3361533,
  title        = {{Use of Formal Methods for verification and 
                   optimization of Fault Lists in the scope of
                   ISO26262}},
  year         = 2018,
  publisher    = {Zenodo},
  month        = oct,
  doi          = {10.5281/zenodo.3361533},
  url          = {https://doi.org/10.5281/zenodo.3361533}
}
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
More info on how stats are collected.
Indexed in
Publication date:
October 25, 2018
DOI:
10.5281/zenodo.3361533

Zenodo DOI Badge

DOI 

10.5281/zenodo.3361533

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3361533.svg)](https://doi.org/10.5281/zenodo.3361533)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3361533.svg
   :target: https://doi.org/10.5281/zenodo.3361533

HTML 

<a href="https://doi.org/10.5281/zenodo.3361533"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3361533.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3361533.svg

Target URL 

https://doi.org/10.5281/zenodo.3361533

Keyword(s):
ISO26262; Fault Injection; Formal; Simulation; Tool Qualification.
Grants:
European Commission:
  • RESCUE - Interdependent Challenges of Reliability, Security and Quality in Nanoelectronic Systems Design (722325)
Meeting:
Design and Verification Conference and Exhibitions (DVCon Europe), Munich, Germany, 24-26 October 2018 (Session Advanced Verification Techniques)
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.3361533 Oct 25, 2018
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3361532. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export