Abstract
Critical embedded systems, like those used in avionics or automotive, have strong dependability requirements and most of them must face with fault tolerance. One of the methods typically used to validate fault tolerance mechanisms is fault injection. The idea is to study the behavior of the system in presence of faults in order to determine whether the system behaves properly or not. Software-implemented fault injection (SWIFI) techniques enable fault injection to be performed by software. Although interesting, major drawbacks of existing SWIFI techniques are the temporal and the spatial overheads they induced in the systems under study. The reduction of these overheads is thus crucial, in order to be confident on the results and conclusions of a SWIFI experiment. This paper focuses on this problem. It proposes a new non-intrusive SWIFI technique for injecting faults in embedded (system-on-chip) applications. The technique exploits the features of a standard debugging interface for embedded systems, called Nexus, in order to inject faults without temporal overhead. Then, Nexus features are also exploited in order to observe, without spatial intrusion, the behavior of the target system in presence of the injected faults. In other words, the embedded system under study can be controlled (for injecting faults) and observed (for tracing its behavior) without customizing its original structure or altering its normal execution. Since based on Nexus, the technique has also the benefit of being applicable to any Nexus-compliant system. In order to illustrate the potentials of the approach, we use an automotive embedded control unit application as a case study. Some preliminary results obtained from the experiments performed are also discussed.
This work has been supported by the European IST project DBench (Dependability Benchmarking, IST-2000-25425).
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.
Similar content being viewed by others
References
Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J., Laprie, J., Martins, E., Powel, D.: Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Transactions on Software Engineering 16(2), 166–182 (1990)
Sueh, M., Tsai, T., Iyer, R.: Fault Injection Techniques and Tools. In: IEEE. Computer, pp. 75–82 (April 1997)
Fuchs, E.: Validating the Fail-Silent Assumption of the MARS Architecture. In: Avizienis, H.K.A., Laprie, J.-C. (eds.) Proc. 6th Dependable Computing for Critical Applications (DCCA-6), pp. 225–247 (1998)
Madeira, H., Costa, D., Vieira, M.: On the emulation of software faults by software fault injection. In: Proceedings of the International Conference on Dependable Systems and Networks, New York, NY, USA, pp. 417–426. IEEE, Los Alamitos (2000)
Tsai, T.K., Iyer, R.K., Jewitt, D.: An Approach towards Benchmarking of Fault-Tolerant Commercial Systems. In: Proc. of FTCS-26, Sendai, Japan, pp. 314–323 (1996)
Cunha, J.C., Rela, M.Z., Silva, J.G.: Can Software Implemented Fault-Injection be Used on Real-time systems? In: Hlavicka, J., Maehle, E., Pataricza, A. (eds.) EDDC 1999. LNCS, vol. 1667, pp. 209–226. Springer, Heidelberg (1999)
IEEE-ISTO 5001-1999. The Nexus 5001 ForumTM Standard for a Global Embedded Processor Debug Interface (1999), http://www.ieee-isto.org/Nexus5001
Gil, P., Arlat, J., Madeira, H., Crouzet, Y., Jarboui, T., Kanoun, K., Marteau, T., Durães, J., Vieira, M., Gil, D., Baraza, J.C., Gracia, J.: Fault Representativeness. Deliverable (ETIE2) of the European Project Dependability Benchmarking Dbench (IST-2000-25425) funded by the European Community under the “Information Society Technologies” Programme (1998-2002). LAAS-CNRS, Toulouse France (2002)
Yuste, P., Andrés, D., Lemus, L., Serrano, J.J., Gil, P.: INERTE: Integrated Nexus-based Real Time fault injection tool for Embedded systems. In: Proc. DSN 2003, San Francisco, USA (June 2003)
Benso, A., Rebaudengo, M., Sonza Reorda, M.: FlexFi: a flexible Fault Injection environment for microprocessor-based systems. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 323–335. Springer, Heidelberg (1999)
Rebaudengo, M., Sonza Reorda, M.: Evaluating the Fault Tolerance Capabilities of Embedded Systems via BDM M. In: Proceedings VTS 1999: 17th IEEE VLSI Test Symposium, pp. 452–457 (1999)
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, 125–136 (1998)
Rodriguez, M., Salles, F., Fabre, J.C., Arlat, J.: MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. In: Hlavicka, J., Maehle, E., Pataricza, A. (eds.) EDDC 1999. LNCS, vol. 1667, pp. 143–160. Springer, Heidelberg (1999)
Rodríguez, M., Albinet, A., Arlat, J.: MAFALDA-RT: A Tool for Dependability Assessment of Real-Time Systems. In: Proc. IEEE International Conference on Dependable Systems and Networks (DSN 2002), Washington DC, USA (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yuste, P., Ruiz, J.C., Lemus, L., Gil, P. (2003). Non-intrusive Software-Implemented Fault Injection in Embedded Systems. In: de Lemos, R., Weber, T.S., Camargo, J.B. (eds) Dependable Computing. LADC 2003. Lecture Notes in Computer Science, vol 2847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45214-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-45214-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20224-0
Online ISBN: 978-3-540-45214-0
eBook Packages: Springer Book Archive