Abstract
The importance of fault injection techniques is widely recognized by the critical systems industry. Fault injection allows evaluating error handling/mitigation mechanisms and assessing system safety properties under exceptional conditions. Even of more relevance, the use of fault injection is currently recommended by many international standards, such as ISO-26262 and DO-178B, to support the system validation and certification process. This chapter introduces design and technical challenges of fault injection techniques in the context of real industrial applications. Discussion starts from a generic framework that presents the functional components implementing a fault injection campaign. The adoption of the framework to support system evaluation by means of fault injection is shown for Intel Core i7 and AUTOSAR.
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
References
Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J., Laprie, J., Martins, E., Powell, D.: Fault injection for dependability validation: a methodology and some applications. IEEE Trans. Software Eng. 16(2), pp. 166–182 (1990)
International Organization for Standardization: Product development: software level. ISO 26262–6 (2012)
Gunneflo, U., Karlsson, J., Torin, J.: Evaluation of error detection schemes using fault injection by heavy radiation. In: Proceedings of the International Symposium on Fault-Tolerant Computing. Chicago (1989)
Carreira, J., Madeira, H., Silva, J.G.: Xception: a technique for the experimental evaluation of dependability in modern computers. IEEE Trans. Software Eng. 24(2), pp. 125–136 (1998)
Stott, D.T., Floering, B., Burke, D., Kalbarczpk, Z., Iyer, R.K.: NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors. In: IEEE Proceedings of the International Computer Performance and Dependability, Symposium, pp. 91–100(2000)
Duraes, J., Madeira, H.: Emulation of software faults: a field data study and a practical approach. IEEE Trans. Software Eng. 32(11), pp. 849–867 (2006)
Hsueh, M., Tsai, T., Iyer, R.: Fault injection techniques and tools. IEEE Comput. 30(4), pp. 75–82 (1997)
Nowotsch, J., Paulitsch, M.: Leveraging multi-core computing architectures in avionics. European Dependable Computing Conference. Springer, Berlin (2012)
Intel 64 and IA-32 Architectures Software Developer’s Manual Vol. 3: system programming guide. http://www.intel.com/
Lanzaro, A., Cotroneo, D., Duraes, J., Silva, N., Barbosa, R.: Multicore systems: challenges for creating a representative fault model for fault injection. In: Proceedings of the International Conference on Data Systems In Aerospace (2012)
Kleen, A.: Machine check handling on Linux, SUSE Labs (2004)
AUTOSAR consortium, specification of multi-core OS architecture v1.0, AUTOSAR release 4.0 (2009)
Natella, R., Cotroneo, D., Duraes, J., Madeira, H.: On fault representativeness of software fault injection. IEEE Trans. Software Eng. (2011) PrePrint. doi: 10.1109/TSE.2011.124
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Italia
About this chapter
Cite this chapter
Pecchia, A., Lanzaro, A., Salkham, A., Cinque, M., Silva, N. (2013). Leveraging Fault Injection Techniques in Critical Industrial Applications. In: Cotroneo, D. (eds) Innovative Technologies for Dependable OTS-Based Critical Systems. Springer, Milano. https://doi.org/10.1007/978-88-470-2772-5_10
Download citation
DOI: https://doi.org/10.1007/978-88-470-2772-5_10
Published:
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-2771-8
Online ISBN: 978-88-470-2772-5
eBook Packages: Computer ScienceComputer Science (R0)