Can Software Implemented Fault-Injection be used on Real-Time Systems?
Authors
Abstract
Software Implemented Fault Injection (SWIFI) is a well-established technique for fault injection, but with a significant drawback for Real-Time Systems: intrusiveness, also known as 'probe effectâ?. In fact, for most fault models, additional code has to be run on the same processor that executes the application. The danger lies in some deadlines being missed as a consequence of that overhead.This paper identifies the sources of intrusiveness, and discusses the procedures to measure it. The question of what level of intrusiveness can be considered acceptable is also addressed.
A Pentium version of an existing SWIFI tool (Xception), developed with no real-time considerations in mind, was tested on a system composed by off the shelf (COTS) components (a standard PC with a Pentium processor and a commercial real time multitasking kernel). Data collected using this platform shows that the intrusiveness can be quite significant.
A technique called "Routine Specialization" is proposed to lower that overhead. Results obtained from a 'real time orientedâ? injector (RT-Xception) taken from the same system, show a very significant improvement. A comparison with data from other authors shows that with this change SWIFI becomes a viable technique for a wide range of real-time applications.
Keywords
fault-injection, real-time, dependability evaluationSubject
Software Fault Emulation and InjectionConference
EDDC-3, September 1999Cited by
Year 2016 : 1 citations
Horst Benjamin Schirmeier, "Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance", PhD thesis, Technischen Universität Dortmund, 2016
Year 2015 : 1 citations
J. Frtunikj, J. Fröhlich, T. Rohlfs and A. Knoll, "Qualitative evaluation of fault hypotheses with non-intrusive fault injection," 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Gaithersburg, MD, 2015, pp. 160-167
Year 2011 : 3 citations
1. Marko Miklo, Carl R. Elks, Ronald D. Williams,Charles L. Brown, “Design of a high performance FPGA based fault injector for real-time safety-critical systems,” 2011 IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), Santa Monica, CA, USA, pp. 243 – 246, 11-14 Sept. 2011
2. Rickard Svenningsson, Jonny Vinter, Henrik Eriksson and Martin Törngren, “MODIFI: A MODel-Implemented Fault Injection Tool”, in COMPUTER SAFETY, RELIABILITY, AND SECURITY, Lecture Notes in Computer Science, 2010, Volume 6351/2010, 210-222, DOI: 10.1007/978-3-642-15651-9_16
3. Rickard Svenningsson, “Model-Implemented Fault Injection for Robustness Assessment”, Licentiate thesis, 9/12/2011, KTH Royal Institute of Technology
Year 2010 : 3 citations
Daniel Skarin, Raul Barbosa, Johan Karlsson, "GOOFI-2: A tool for experimental dependability assessment," Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on , vol., no., pp.557-562, June 28 2010-July 1 2010
Daniel Skarin, Raul Barbosa, Johan Karlsson, "Comparing and Validating Measurements of Dependability Attributes," Dependable Computing Conference (EDCC), 2010 European , vol., no., pp.3-12, 28-30 April 2010
Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren, “MODIFI: A MODel-Implemented Fault Injection Tool”. SAFECOMP 2010, 210–222. Springer, 2010
Year 2008 : 1 citations
1. Bernhard Aichernig, “MOGENTES, Model-Based Generation of Test-Cases for Embedded Systems”, FP7 proposal, 2008
Year 2005 : 1 citations
1. Jonny Vinter, "On the Effects of Soft Errors in Embedded Control Systems?, PhD Thesis, Department of Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, 2005, ISBN 91-7291-630-3
Year 2004 : 1 citations
1. Yuste Pérez Pedro, “Contribución a la Validación de la Confiabilidad en los Sistemas Empotrados Tolerantes a Fallos”, Phd Thesis, Universidad: Politecnica De Valencia, 2004
Year 2003 : 4 citations
1. Peter Foolkesson, Joakim Aidemark, Jonny Vinter, "Assessment and Application of Scan-Chain Implemented Fault Injection.�, Technical Report 03-21, Chalmers University of Technology, Department of Computer Engineering, Göteborg 2003
2. Pedro Yuste, Juan Carlos Ruiz, Lenin Lemus, Pedro Gil "Non-intrusive Software-Implemented Fault Injection in Embedded Systems" Proc. First Latin-American Symposium on Dependable Computing, LADC 2003, 2003, October 2003, São Paulo, Brazil: Springer Verlag, Lecture Notes in Computer Science, LNCS 2847: p. 23-38, ISBN 3-540-20224-2.
3. Alfredo Benso, Paolo Prinetto, "Fault injection techniques and tools for embedded systems reliability evaluation�, Boston: Kluwer Academic Publishers, 2003.
4. Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez and Frédéric Salles, “MAFALDA: A Series of Prototype Tools for the Assessment of Real Time Cots Microkernel-Based Systems”, A. Benso and P. Prinetto (eds.), “Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation”, pp. 141-156, Kluwer Academic Publishers, 2003
Year 2002 : 4 citations
Astrit Ademaj "A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Fault Injection", Proc. of EDCC-4, Toulouse, October 2002, p. 172-190, LNCS 2002.
Manoel RodrÃguez Moreno, "Technologie d'empaquetage pour la sureté de fonctionnement des systemes temps-réel", Thése présentée au Laboratoire d'Analyse et d'Architecture des Systémes du Centre Centre National de la Recherche Scientifique (LAAS/ CNRS), en vue d'obtenir le titre de Docteur de l'Institut National Polytechnique de Toulouse, numéro d'ordre 1898, Année 2002.
Manuel RodrÃguez, Arnaud Albinet and Jean Arlat, "MAFALDA-RT: A Tool for Dependability Assessment of Real-Time Systems�, the International Conference on Dependable Systems and Networks (DSN'2002), Washington D.C., USA, June 2002
Idriz Smaili and Astrit Ademaj, “Setting break-points in distributed time-triggered architecture”, in Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT '02). IEEE Computer Society, Washington, DC, USA, 2002