Efficient methodology for ISO26262 functional safety verification
author
Augusto da Silva, Felipe
Bagbaba, Ahmet Cagri
Hamdioui, Said
Sauer, Christian
statement of authorship
Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, Christian Sauer
source
2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), 1-3 July 2019, Rhodes, Greece
publisher
IEEE
year of publication
2019
pages
p. 255-256
conference name, date
2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), 1-3 July 2019
conference location
Rhodes, Greece
url
https://doi.org/10.1109/IOLTS.2019.8854449
subject term
ohutus
rikked
kompuutersimulatsioon
formaalsed meetodid (informaatika)
standardid (normid)
keyword
ISO26262
Fault Injection Simulation
Formal Methods
ATPG
Functional Safety
ISSN
1942-9401
ISBN
978-1-7281-2490-2
notes
Bibliogr.: 8 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre for trustworthy and efficient computing hardware (TECH)