Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection - An Industrial Case Study

Non-intrusive, deterministic fault-injection tests provide evidence for making reliable statements about the behavior of safety-critical, real-time systems in the presence of software faults and component failures. These tests are derived from system safety requirements for the detection and handling of value and time errors. That the approach presented here works for distributed, time-triggered systems that process data cyclically and reserve resources exclusively for testing purposes has been demonstrated by an industry study confirming the feasibility of the concepts for a fail-operational electric car.

[1]  Alois Knoll,et al.  Qualitative evaluation of fault hypotheses with non-intrusive fault injection , 2015, 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

[2]  Philip Koopman,et al.  Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report , 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.

[3]  Ludger Fiege,et al.  RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions , 2015, EDCC 2015.

[4]  Andrea Bondavalli,et al.  Failure classification with respect to detection , 1990, [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems.

[5]  Michael Armbruster,et al.  RACE: A Centralized Platform Computer Based Architecture for Automotive Applications , 2013, 2013 IEEE International Electric Vehicle Conference (IEVC).

[6]  Henrik Eriksson,et al.  MODIFI: A MODel-Implemented Fault Injection Tool , 2010, SAFECOMP.

[7]  Alois Knoll,et al.  An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures , 2015, 2015 IEEE 18th International Conference on Intelligent Transportation Systems.

[8]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[9]  Asier Larrucea,et al.  Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems , 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.