Fault injection testing of safety-critical applications

Typ: Artykuł

Liczba pobrań: 3549

Pobierz zasób

PDF

Cytuj

BibTeX EndNote

Tytuł: Fault injection testing of safety-critical applications
Wariant tytułu: Testowanie aplikacji krytycznych za pomocą wstrzykiwania błędów
Autor: Trawczyński, Dawid

Sosnowski, Janusz
Opublikowane w: Czasopismo Techniczne. Informatyka
Numeracja: R. 108, Z. 9, 1-I
Data wydania: 2011
Miejsce wydania: Kraków
Wydawca: Wydawnictwo PK
Język: angielski
Abstrakt: 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).
Klasyfikacja PKT: 410000 Informatyka
Wydział: Zbiory cyfrowe BPK
Licencja: Licencja PK. Brak możliwości edycji i druku.
Prawa dostępu: Zasób dostępny dla wszystkich