Fault injection testing of safety-critical applications

Type: Article

Number of downloads: 3646

Download resource

PDF

Cite

BibTeX EndNote

Title: 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