Abstract
MODIFI is a fault injection tool targeting software developed as Simulink models. In this paper, we describe three techniques for visualizing fault injection results obtained using the MODIFI tool. The first technique shows the progress of a fault injection campaign, and the outcome of individual experiments, using a 3D visualization of the fault injection campaign. The second technique, referred to as sensitivity profiling, identifies parts of a model that are sensitive for a specific fault model. The third technique shows how error propagates in a Simulink model. The sensitivity profiling and error propagation techniques are based on intuitive coloring of Simulink blocks. The three visualization techniques are demonstrated using a Brake-by-Wire system.
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
The Mathworks, Inc., http://www.mathworks.se/products/simulink/
IEC 61508:2010: Functional safety of electrical/electronic/programmable electronic safety-related systems
ISO 26262:2011: Road vehicles — Functional safety
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)
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M.: MODIFI: A mODel-implemented fault injection tool. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 210–222. Springer, Heidelberg (2010)
dSPACE, http://www.dspace.com/en/pub/home/products/sw/pcgs/targetli.cfm
The MathWorks, Inc, “Simulink User’s Guide”
ISO 26262-6:2011: Road vehicles - Functional safety - Part 6: Product development at the software level
Conrad, M.: Testing-based translation validation of generated code in the context of IEC 61508. Formal Methods in System Design, 35(3), 389–401 (2009)
Beine, M.: A Model-Based Reference Workflow for the Development of Safety-Critical Software. Embedded Real Time Software and Systems (2010)
ISO 26262-5:2011: Road vehicles - Functional safety - Part 5: Product development at the hardware level
Balaban, E., Saxena, A., Bansal, P., Goebel, K.F., Curran, S.: Modeling, Detection, and Disambiguation of Sensor Faults for Aerospace Applications. IEEE Sensors Journal 9(12), 1907–1917 (2009)
Ni, K., et al.: Sensor network data fault types. ACM Transactions on Sensor Networks (TOSN) 5(3), Article No. 25 (May 2009)
Choi, G.S., Iyer, R.K.: FOCUS: An experimental environment for fault sensitivity analysis. IEEE Transactions on Computers 41(12), 1515–1526 (1992)
Jones, J.A., Harrold, M.J., Stasko, J.: Visualization of test information to assist fault localization. In: Proceedings of the 24th International Conference on Software Engineering. ACM (2002)
Munkby, G., Schupp, S.: Improving fault injection of soft errors using program dependencies. In: Practice and Research Techniques, TAIC PART 2008. Testing: Academic & Industrial Conference. IEEE (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Skarin, D., Vinter, J., Svenningsson, R. (2014). Visualization of Model-Implemented Fault Injection Experiments. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8696. Springer, Cham. https://doi.org/10.1007/978-3-319-10557-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-10557-4_25
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10556-7
Online ISBN: 978-3-319-10557-4
eBook Packages: Computer ScienceComputer Science (R0)