Efficient methodology for ISO26262 functional safety verification
autor
Augusto da Silva, Felipe
Bagbaba, Ahmet Cagri
Hamdioui, Said
Sauer, Christian
vastutusandmed
Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, Christian Sauer
allikas
2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), 1-3 July 2019, Rhodes, Greece
kirjastus/väljaandja
IEEE
ilmumisaasta
2019
leheküljed
p. 255-256
konverentsi nimetus, aeg
2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), 1-3 July 2019
konverentsi toimumispaik
Rhodes, Greece
leitav
https://doi.org/10.1109/IOLTS.2019.8854449
märksõna
ohutus
rikked
kompuutersimulatsioon
formaalsed meetodid (informaatika)
standardid (normid)
võtmesõna
ISO26262
Fault Injection Simulation
Formal Methods
ATPG
Functional Safety
ISSN
1942-9401
ISBN
978-1-7281-2490-2
märkused
Bibliogr.: 8 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Töökindla arvutusriistvara keskus (TARK)