Fault injection testing of safety-critical applications
Variant of the title
Testowanie aplikacji krytycznych za pomocą wstrzykiwania błędów
Author
Trawczyński, Dawid
Sosnowski, Janusz
Published in
Czasopismo Techniczne. Informatyka
Numbering
R. 108, Z. 9, 1-I
Release date
2011
Place of publication
Kraków
Publisher
Wydawnictwo PK
Language
English
Abstract
In the paper, we discuss an original methodology of dependability evaluation dedicated for safety-critical embedded systems. It is based on a fault simulation technique known as Software Implemented Fault Injection (SWIFI). This methodology combines functional and structural models to achieve higher modeling accuracy than existing approaches. The method was implemented and verified on a representative safety-critical case study, namely the automotive anti-lock braking system.
W artykule przedstawiono oryginalną metodologię oceny wiarygodności krytycznych aplikacji wbudowanych opartą o tzw. programową symulację błędów (SWIFI). Metodologia ta łączy modele funkcjonalne i strukturalne w celu dokładniejszej (niż dotychczasowe podejścia) analizy wrażliwości na błędy w systemach wbudowanych. Została ona zaimplementowana i zweryfikowana na reprezentatywnym przykładzie systemu czasu-rzeczywistego, sterującym hamulcami samochodowymi (algorytm przeciwpoślizgowy ABS).
PKT classification
410000 Informatyka
Department
Zbiory cyfrowe BPK
License
Licencja PK. Brak możliwości edycji i druku.
Access rights
Zasób dostępny dla wszystkich
Cookies or other similar solutions are used on the page. Take a look at privacy policy to get to know the details.