Fail-safe Testing of Safety-critical Systems: A Case Study and Efficiency Analysis
CEFSM, Finite-state machine, Safety-critical, Testing, FTA, Behavioral model, Fault model, Integration
Daniel Felix Ritchie School of Engineering and Computer Science, Computer Science
This paper proposes an approach for testing of safety-critical systems. It is based on a behavioral and a fault model. The two models are analyzed for compatibility, and necessary changes are identified to make them compatible. Then, transformation rules are used to transform the fault model into the same model type as the behavioral model. Integration rules define how to combine them. This approach results in an integrated model which then can be used to generate tests using a variety of testing criteria. The paper illustrates this general framework using a CEFSM for the behavioral model and a fault tree for the fault model. We apply the technique to an aerospace launch system. We also investigate the scalability of the approach and compare its efficiency with integrating a state chart and a fault tree.
Copyright held by author or publisher. User is responsible for all copyright compliance.
Gario, Ahmed, et al. “Fail-Safe Testing of Safety-Critical Systems: a Case Study and Efficiency Analysis.” Software Quality Journal, vol. 26, no. 1, 2018, pp. 3–48. doi: 10.1007/s11219-015-9283-5.