Fault injection testing of safety-critical applications

• Autorzy: Trawczyński D. , Sosnowski J.

Warianty tytułu

PL

Testowanie aplikacji krytycznych za pomocą wstrzykiwania błędów

• Języki publikacji: EN

Abstrakty

EN

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.

PL

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).

Słowa kluczowe

EN

dependability analysis; real-time embedded systems; software implemented fault injection; testing

PL

analiza wiarygodności; programowe wstrzykiwanie błędów; testowanie; wbudowane systemy czasu-rzeczywistego

• Wydawca: Wydawnictwo Politechniki Krakowskiej im. Tadeusza Kościuszki
• Czasopismo: Czasopismo Techniczne. Informatyka
• Rocznik: 2011
• Tom: R. 108, z. 1-I
• Strony: 87--107
• Opis fizyczny: Bibliogr. 31 poz.,Rys., wz., tab., wykr

Twórcy

autor

Trawczyński D.

autor

Sosnowski J.

• Instytut Informatyki, Wydział Elektroniki i Technik Informacyjnych, Politechnika Warszawska

Bibliografia

• [1] Aidemark J., et al., GOOFI: Generic Object-Oriented Fault Injection Tool, Proc. International Conference on Dependable Systems and Networks DSN 2001, Goteborg, Sweden 2001, 668-668.
• [2] Arlat J., et al., Comparison of Physical and Software-Implemented Fault Injection Techniques, IEEE Trans. on Computers, Vol. 52, No. 9, 2003,1115-1133.
• [3] Clark J.A., Pradhan D.K., Fault Injection a Method for Validating Computer-System Dependability, IEEE Computer, Vol. 28, No. 6, June 1995, 47-56.
• [4] Cunha J.C., et. al., A Study of Failure Models in Feedback Control Systems, Proc. International Conference on Dependable Systems and Networks DSN 2001, Goteborg, Sweden 2001, 314-326.
• [5] Cunha J.C., Reset-Driven Fault Tolerance, Proc. 4th European Dependability Computing Conference EDCC-4, Toulouse, France 2002, 102-120.
• [6] Dawson S., Jahanian J., Mitton T., ORCHESTRA: A Probing and Fault Injection Environment for Testing Protocol Implementations, Proc. IEEE International Symposium on Computer Performance and Dependability, Urbana-Champaign, USA 1996, 56.
• [7] Drebes R.J., et al., ComFIRM: a Communication Fault Injector for Protocol Testing and Validation, Proc. 6th Latin American Test Workshop LATW, Salvador, Brazil 2005.
• [8] Gawkowski P., et. al., Dependability of Explicit DMC and GPC Algorithms, Proc. International Multiconference on Computer Science and Information Technology, Wisła, Poland 2007, 903-912.
• [9] Gawkowski P., et. al., Software Implementation of Explicit DMC Algorithm with Improved Dependability, Springer: Novel Algorithms and Techniques in Telecommunications Automation and Industrial Electronics, 2008, 214-219.
• [10] Gawkowski P., Sosnowski J., Using Software Implemented Fault Inserter in Dependability Analysis, Proc. 9th Pacific Rim International Symposium on Dependable Computing PRDC 2002, Tsukuba-City, Japan 2002, 81-88.
• [11] Goswami K.K., Iyer R.K., Young L., DEPEND: A Simulation-Based Environment for System Level Dependability Analysis, IEEE Transactions on Computers, Vol. 46, No. 1, 1997, 60-74.
• [12] Guthoff J., Sieh V., Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method, Proc. 25th International Symposium on Fault Tolerant Computing FTCS-25, Pasadena, CA, USA 1995, 196-206.
• [13] Herout P., Racek S., Hlavicka J., Model-Based Dependability Evaluation Method for TTP/C Based Systems, Proc. 4th European Dependability Computing Conference, Toulouse, France 2002, 271-282.
• [14] Jenn E., et al., Fault Injection into VHDL Models: The MEFISTO Tool, Proc. 24th International Symposium on Fault Tolerant Computing FTCS-24, TX, USA 1994, 66-75.
• [15] Kanawati G.A., Kanawati N.A., Abraham J. A., FERRARI: A Flexible Software-Based Fault and Error Injection System, IEEE Transactions on Computers, Vol. 44, No. 2, 1995, 248-260.
• [16] Kopetz H., Grunsteidl G., TTP – A Time-Triggered Protocol for Fault-Tolerant Real-Time Systems, Proc. IEEE 23rd International Symposium on Fault Tolerant Computing FTCS-23, Toulouse, France 1993, 524-533.
• [17] Kopetz H., Real-Time Systems – Design Principles for Distributed Embedded Applications, Kluwer Academic, Netherlands 1998.
• [18] Muranho J., et. al., Failure Boundness in Discrete Applications, Proc. 3rd Latin-American Symposium on Dependable Computing, Morella, Mexico 2007, 160-169.
• [19] Pattabiraman K., et al., SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework, Proc. International Conference on Dependable Systems and Networks DSN 2008, Anchorage, Alaska, USA 2008, 472-481.
• [20] Rangelov K., Simulink Model of a Quarter-Vehicle with an Anti-Lock Braking System, Research Report, Eindhoven University of Technology, 2004.
• [21] Rodriguez M., et al., MAFALDA: Microkernel Assessment by Fault Injection and Design Aid, Proc. International European Dependability Computing Conference EDCC-3, Prague, Czech Republic 1999, 143-160.
• [22] Stott D., et al., NFTAPE: A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault Injectors, Proc. IEEE International Symposium on Computer Performance and Dependability, Chicago, USA 2000, 91-100.
• [23] Trawczynski D., Dependability Evaluation and Enhancement in Real-Time Embedded Systems, Ph.D. Thesis, Warsaw University of Technology, Warsaw, Poland 2009.
• [24] Trawczynski D., Sosnowski J., Gawkowski P., Analyzing Fault Susceptibility of ABS Microcontroller, Proc. International Conference on Computer Safety, Reliability, and Security SAFECOMP’08, Newcastle, UK 2008, 320-372.
• [25] Trawczynski D., Sosnowski J., Gawkowski P., Testing Distributed ABS System with Fault Injection, Proc. International Joint On-Line Conference on Computer, Information, and System Sciences, and Engineering – CISSE’09, On-line Conf., 2009.
• [26] Trawczynski D., Sosnowski J., Zalewski J., A Tool for Databus Safety Analysis Using Fault Injection, Proc. International Conference on Computer Safety, Reliability, and Security, SAFECOMP’06, Gdansk, Poland 2006, 261-275.
• [27] Vinter J., et al., Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles, Proc. International Conference on Dependable Systems and Networks DSN 2005, Yokohama, Japan 2005, 666-671.
• [28] Skarin D., Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System, Proc. 7th European Dependability Computing Conference – EDCC 2008, Kaunas, Lithuania 2008, 145-154.
• [29] Henriksson D., Cervin A., Arzen K., TrueTime: Real-Time Control System Simulation with MATLAB/Simulink, Proc. Nordic MATLAB Conference, Copenhagen, Denmark, October 2003.
• [30] Zamli K.Z., et al., An Automated Software Fault Injection Tool for Robustness Assessment of Java COTs, Proc. of EEE ICOCI Conference, 2006.
• [31] Li M.-L., et al., Understanding the Propagation of Hard Errors to Software and Implications for Resilient System Design, Proc. of ASPLOS’08, ACM 2008, 265-276.