Improving the confidence level in functional safety simulation tools for ISO 26262
Bagbaba, Ahmet Cagri
;
Augusto da Silva, Felipe
;
Sauer, Christian
2018 Design and Verification Conference (DVCON) Europe : [proceedings]
2018
/
6 p. : ill
https://dvcon-proceedings.org/document/improving-the-confidence-level-in-functional-safety-simulation-tools-for-iso-26262/
https://zenodo.org/record/3361607#.Y0PHFnZByHs
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
2018 Design and Verification Conference (DVCON) Europe : [proceedings]
2018
/
6 p. : ill
https://repository.tudelft.nl/islandora/object/uuid%3Adbd7f22d-0324-45f5-9180-8fe3fc95a9ce