Abstract
Complexity and criticality of automotive electronic embedded systems is steadily increasing today. A new standard —ISO 26262— recommends methods and techniques, such as fault injection, to improve safety. A first goal is to use fault injection earlier at the design stage, particularly on models providing an appropriate level of abstraction, to identify errors in the handling of safety requirements. A second objective is to use the results of these model-based analyzes to efficiently identify targets and check their implementation by fault injection. Hence, a verification approach, based on fault injection, has to be defined to complement conventional testing methods and analyzes traditionally used in automotive development process. The paper discusses the various steps of this approach, the link between abstraction and implementation, and gives a brief illustration on a real automotive application.
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
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
Bouti, A., Kadi, D.A.: A state-of-the-art review of fmea/fmeca. Int. Journal of Reliability, Quality and Safety Engineering 1(04), 515–543 (1994)
Carreira, J., Madeira, H., Silva, J.: Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering 24(2), 125–136 (1998)
Cotroneo, D., Lanzaro, A., Natella, R., Barbosa, R.: Experimental analysis of binary-level software fault injection in complex software. In: 2012 Ninth European Dependable Computing Conference, pp. 162–172. IEEE (2012)
Hsueh, M., Tsai, T., Iyer, R.: Fault injection techniques and tools. Computer 30(4), 75–82 (1997)
Jenn, E., Arlat, J., Rimen, M., Ohlsson, J., Karlsson, J.: Fault injection into vhdl models: the mefisto tool. In: Digest of Papers Twenty-Fourth International Symposium on Fault-Tolerant Computing, FTCS-24, pp. 66–75. IEEE (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)
Koopman, P., Sung, J., Dingman, C., Siewiorek, D., Marz, T.: Comparing operating systems using robustness benchmarks. In: Proceedings of The Sixteenth Symposium on Reliable Distributed Systems, pp. 72–79. IEEE (1997)
Rugina, A.-E., Kanoun, K., Kaaniche, M.: The adapt tool: From aadl architectural models to stochastic petri nets through model transformation. In: Seventh European Dependable Computing Conference, EDCC 2008, pp. 85–90 (2008)
Rugina, A.-E., Kanoun, K., Kaaniche, M.: Software dependability modeling using aadl (architecture analysis and design language). International Journal of Performability Engineering 7(4), 313 (2011)
Shafik, R.A., Rosinger, P., Al-Hashimi, B.M.: Systemc-based minimum intrusive fault injection technique with improved fault representation. In: 14th IEEE Intl. On-Line Testing Symposium, IOLTS 2008, pp. 99–104. IEEE (2008)
Svenningsson, R.: Model-implemented fault injection for robustness assessment. QC 20111205 (2011)
Vinter, J., Bromander, L., Raistrick, P., Edler, H.: Fiscade-a fault injection tool for scade models. In: 2007 3rd Institution of Engineering and Technology Conference on Automotive Electronics, pp. 1–9. IET (2007)
Winter, S., Sârbu, C., Murphy, B., Suri, N.: The impact of fault models on software robustness evaluations. In: 2011 33rd International Conference on Software Engineering, ICSE, pp. 51–60. IEEE (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pintard, L., Fabre, JC., Kanoun, K., Leeman, M., Roy, M. (2013). Fault Injection in the Automotive Standard ISO 26262: An Initial Approach. In: Vieira, M., Cunha, J.C. (eds) Dependable Computing. EWDC 2013. Lecture Notes in Computer Science, vol 7869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38789-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-38789-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38788-3
Online ISBN: 978-3-642-38789-0
eBook Packages: Computer ScienceComputer Science (R0)