Use of formal methods for verification and optimization of fault lists in the scope of ISO26262
author
Augusto da Silva, Felipe
Bagbaba, Ahmet Cagri
Hamdioui, Said
Sauer, Christian
statement of authorship
Augusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian
source
2018 Design and Verification Conference (DVCON) Europe : [proceedings]
location of publication
[s.l.]
publisher
Accellera Systems Initiative
year of publication
2018
pages
6 p. : ill
conference name, date
2018 Design and Verification Conference (DVCON) Europe, 24.-25.10.2018
conference location
Munich, Germany
url
https://repository.tudelft.nl/islandora/object/uuid%3Adbd7f22d-0324-45f5-9180-8fe3fc95a9ce
subject term
vead
simulatsioon
tööriistad
usaldusväärsus
standardid (normid)
keyword
ISO26262
Fault Injection
Formal
Simulation
Tool Qualification
notes
Bibliogr.: 11 ref
scientific publication
teaduspublikatsioon
classifier
3.2
TalTech department
arvutisüsteemide instituut
language
inglise