Abstract
Fault injection is traditionally divided into simulation-based and physical techniques depending on whether faults are injected into hardware models, or into an actual physical system or prototype. Another classification is based on how fault injection mechanisms are implemented. Well known techniques are hardware-implemented fault injection (HIFI) and software-implemented fault injection (SWIFI). For safety analyses during model-based development, fault injection mechanisms can be added directly into models of hardware, models of software or models of systems. This approach is denoted by the authors as model-implemented fault injection. This paper presents the MODIFI (MODel-Implemented Fault Injection) tool. The tool is currently targeting behaviour models in Simulink. Fault models used by MODIFI are defined using XML according to a specific schema file and the fault injection algorithm uses the concept of minimal cut sets (MCS) generation. First, a user defined set of single faults are injected to see if the system is tolerant against single faults. Single faults leading to a failure, i.e. a safety requirement violation, are stored in a MCS list together with the corresponding counterexample. These faults are also removed from the fault space used for subsequent experiments. When all single faults have been injected, the effects of multiple faults are investigated, i.e. two or more faults are introduced at the same time. The complete list of MCS is finally used to automatically generate test cases for efficient fault injection on the target system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Matlab/Simulink, http://www.mathworks.com/products/simulink/
Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J.C., Laprie, J.C., Martins, E., Powell, D.: Fault injection for dependability validation: a methodology and some applications. IEEE Transactions on Software Engineering 16(2), 166–182 (1990)
Madeira, H., Rela, M., Moreira, F., Silva, J.G.: RIFLE. A general purpose pin-level fault injector. In: Proceedings of the 1st European Dependable Computing Conference (EDCC-1), Berlin, Germany, October 4-6, pp. 199–216 (1994)
Karlsson, J., Liden, P., Dahlgren, P., Johansson, R., Gunneflo, U.: Using heavy-ion radiation to validate fault-handling mechanisms. IEEE Micro 14(1), 8–23 (1994)
Karlsson, J., Folkesson, P., Arlat, J., Crouzet, Y., Leber, G., Reisinger, J.: Application of three physical fault injection techniques to the experimental assessment of the MARS architecture. In: 5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5), pp. 267–287. Urbana Champaign, IL, USA (September 1995)
Folkesson, P., Svensson, S., Karlsson, J.: A comparison of simulation based and scan chain implemented fault injection. In: Proceedings of 28th International Symposium on Fault Tolerant Computing, Munich, Germany, June 23-25, pp. 284–293 (1998)
Test technology technical committee of the IEEE computer society. IEEE standard test access port and boundary-scan architecture. USA (1990)
Saab Ericsson Space AB, Microprocessor Thor, product information (1993)
Rebaudengo, M., Sonza Reorda, M.: Evaluating the fault tolerance capabilities of embedded systems via BDM. In: Proceedings 17th IEEE VLSI Test Symposium, Dana Point, CA, USA, April 25-29, pp. 452–457 (1999)
IEEE-ISTO, The Nexus 5001 forumTM standard for a global embedded processor debug interface, pp. 9-10 (1999)
Vinter, J., Aidemark, J., Skarin, D., Barbosa, R., Folkesson, P., Karlsson, J.: An overview of GOOFI - a generic object-oriented fault injection framework, Technical Report No. 05-07, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005. This report extends the paper GOOFI: generic object-oriented fault injection tool. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN-2001), Göteborg, Sweden (July 2001)
Yuste, P., De Andres, D., Lemus, L., Serrano, J.J., Gil, P.: INERTE: Integrated NExus-based Real-Time fault injection tool for Embedded systems. In: Proceedings of the International Conference on Dependable Systems and Networks, San Francisco, CA, United States, p. 669 (June 22-25, 2003)
Seungjae, H., Shin, K.G., Rosenberg, H.A.: DOCTOR: an integrated software fault injection environment for distributed real-time systems. In: Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium, Erlangen, Germany, April 24-26, pp. 204–213 (1995)
Carreira, J., Madeira, H., Silva, J.G.: Xception: a technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering 24(2), 125–136 (1998)
Cunha, J.C., Rela, M.Z., Silva, J.G.: Can software implemented fault-injection be used on real-time systems? In: Proceedings of EDCC-3: Third European Dependable Computing Conference, Prague, Czech Republic, pp. 209–226 (September 15-17, 1999)
Fabre, J.-C., Salles, F., Moreno, M.R., Arlat, J.: Assessment of COTS microkernels by fault injection. Dependable Computing for Critical Applications 7, 25–44 (1999)
Kanawati, G.A., Kanawati, N.A., Abraham, J.A.: FERRARI: a flexible software-based fault and error injection system. IEEE Transactions on Computers 44(2), 248–260 (1995)
Martins, E., Rosa, A.C.A.: A fault injection approach based on reflective programming. In: Proceedings of International Conference on Dependable Systems and Networks (includes FTCS 30 30th Annual International Symposium on Fault Tolerant Computing and DCCA 8), New York, NY, USA, pp. 407–416 (June 25-28, 2000)
Martins, E., Rubira, C.M.F., Leme, N.G.M.: Jaca: a reflective fault injection tool based on patterns. In: Proceedings International Conference on Dependable Systems and Networks, Washington, DC, USA, pp. 483–487 (June 23-26, 2002)
Hiller, M.: A software profiling methodology for design and assessment of dependable software, Ph.D thesis, Chalmers University of Technology, Göteborg, Sweden (2002)
Jenn, E., Arlat, J., Rimen, M., Ohlsson, J., Karlsson, J.: Fault injection into VHDL models: the MEFISTO tool. In: Proceedings of IEEE 24th International Symposium on Fault Tolerant Computing, Austin, TX, USA, pp. 66–75 (June 15-17, 1994)
Sieh, V., Tschache, O., Balbach, F.: VERIFY: evaluation of reliability using VHDL-models with embedded fault descriptions. In: Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing, Seattle, WA, USA, pp. 32–36 (June 24-27, 1997)
Goswami, K.K.: DEPEND: a simulation-based environment for system level dependability analysis. IEEE Transactions on Computers 46(1), 60–74 (1997)
Enhanced Safety Assessment for Complex Systems. FP5-GROWTH contract no. G4RD-CT-2000-00361
Improvement of Safety Activities on Aeronautical Complex systems, FP6-AEROSPACE project reference 501848
Vinter, J., Bromander, L., Raistrick, P., Edler, H.: FISCADE - a fault injection tool for SCADE models. In: Proceeding of the 3rd IET Conference on Automotive Electronics, University of Warwick, UK (June 28-29, 2007) ISBN: 978-0-86341-815-0
Vulinovic, S., Schlingloff, B.H.: Model based dependability evaluation for automotive control functions. In: Invited Session: Model-Based Design and Test, 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Florida (2005)
Isacson, J., Ljungberg, M.: Fault injection in Matlab/Simulink. Master’s Thesis Report, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden (2008)
Joshi, A., Heimdahl, M.P.E.: Model-based safety analysis of Simulink models using SCADE Design Verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 122–135. Springer, Heidelberg (2005)
Ricardo AutoFMEA, http://www.ricardo-autofmea.com
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M.: Towards fault injection based minimal cuts sets generation. In: Proceedings of the Microelectronics Conference ME 2010 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M. (2010). MODIFI: A MODel-Implemented Fault Injection Tool. In: Schoitsch, E. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2010. Lecture Notes in Computer Science, vol 6351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15651-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-15651-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15650-2
Online ISBN: 978-3-642-15651-9
eBook Packages: Computer ScienceComputer Science (R0)