ArChes — Automatic generation of component fault trees from continuous function charts

The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses. However, it also increase the effort for creating and maintaining the safety analysis models (such as fault trees) significantly. In this work, we present a method to automatically generate Component Fault Trees from Continuous Function Charts. This method aims at generating the failure propagation model of the detailed software specification. Hence, control software can be included into safety analyses without additional manual effort required to construct the safety analysis models of the software. Moreover, safety analyses created during early system specification phases can be verified by comparing it with the automatically generated one in the detailed specification phased.

[1]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[2]  Bernhard Kaiser,et al.  An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models , 2015, Software Engineering.

[3]  Peter Liggesmeyer,et al.  A New Component Concept for Fault Trees , 2003, SCS.

[4]  G. Latif-Shabgahi,et al.  A Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model , 2008 .

[5]  Andrew Rae,et al.  A Behaviour-Based Method for Fault Tree Generation , 2004 .

[6]  Alejandro Alonso,et al.  Integration of safety analysis in model-driven software development , 2008, IET Softw..

[7]  Martin Hiller,et al.  A Controlled Experiment on Component Fault Trees , 2013, SAFECOMP.

[8]  Andrea Bondavalli,et al.  Automated dependability analysis of UML designs , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[9]  John A. McDermid,et al.  A development of hazard analysis to aid software design , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[10]  Mario Trapp,et al.  A Consistency Check Algorithm for Component-Based Refinements of Fault Trees , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

[11]  Matthias Bretschneider,et al.  Model-based Safety Analysis of a Flap Control System , 2004 .

[12]  John A. McDermid,et al.  Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..

[13]  G. Szabó,et al.  AUTOMATIC FAULT-TREE GENERATION AS A SUPPORT FOR SAFETY STUDIES OF RAILWAY INTERLOCKING SYSTEMS. , 2000 .

[14]  Yiannis Papadopoulos,et al.  Model-based synthesis of fault trees from Matlab-Simulink models , 2001, 2001 International Conference on Dependable Systems and Networks.