Determined-safe faults identification : a step towards ISO26262 hardware compliant designs
autor
Augusto da Silva, Felipe
Bagbaba, Ahmet Cagri
Sartoni, Sandro
Cantoro, Riccardo
Sonza Reorda, Matteo
Hamdioui, Said
Sauer, Christian
vastutusandmed
Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Sandro Sartoni, Riccardo Cantoro, Matteo Sonza Reorda, Said Hamdioui, Christian Sauer
allikas
2020 25th IEEE European Test Symposium (ETS)
kirjastus/väljaandja
IEEE
ilmumisaasta
2020
leheküljed
6 p. : ill
leitav
https://doi.org/10.1109/ETS48528.2020.9131568
märksõna
rikked
kompuutersimulatsioon
formaalsed meetodid (informaatika)
ohutus
standardid (normid)
integraallülitused
riistvara
võtmesõna
ISO26262
Safe Faults
Fault Injection
Formal Methods
Simulation
Functional Safety
Verification
ISSN
1558-1780
ISBN
978-1-7281-4312-5
märkused
Bibliogr.: 19 ref
Open Access
Open Access (roheline)
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Töökindla arvutusriistvara keskus (TARK)