Use of formal methods for verification and optimization of fault lists in the scope of ISO26262
autor
Augusto da Silva, Felipe
Bagbaba, Ahmet Cagri
Hamdioui, Said
Sauer, Christian
vastutusandmed
Augusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian
allikas
2018 Design and Verification Conference (DVCON) Europe : [proceedings]
ilmumiskoht
[s.l.]
kirjastus/väljaandja
Accellera Systems Initiative
ilmumisaasta
2018
leheküljed
6 p. : ill
konverentsi nimetus, aeg
2018 Design and Verification Conference (DVCON) Europe, 24.-25.10.2018
konverentsi toimumispaik
Munich, Germany
leitav
https://repository.tudelft.nl/islandora/object/uuid%3Adbd7f22d-0324-45f5-9180-8fe3fc95a9ce
märksõna
vead
simulatsioon
tööriistad
usaldusväärsus
standardid (normid)
võtmesõna
ISO26262
Fault Injection
Formal
Simulation
Tool Qualification
märkused
Bibliogr.: 11 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.2
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise