Integration of Component Fault Trees into the UML

Efficient safety analyses of complex software intensive embedded systems are still a challenging task. This article illustrates how model-driven development principles can be used in safety engineering to reduce cost and effort. To this end, the article shows how well accepted safety engineering approaches can be shifted to the level of model-driven development by integrating safety models into functional development models. Namely, we illustrate how UML profiles, model transformations, and techniques for multi language development can be used to seamlessly integrate component fault trees into the UML.

[1]  Joanne Bechta Dugan,et al.  Automatic synthesis of dynamic fault trees from UML system models , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[2]  Lars Grunske,et al.  Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM , 2006, QoSA.

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

[4]  Sébastien Gérard,et al.  Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language , 2006, WADS.

[5]  Alan Burns,et al.  Probabilistic timing analysis: An approach using copulas , 2005, J. Embed. Comput..

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

[7]  Mario Trapp,et al.  Multi-Language Development of Embedded Systems , 2009, OOPSLA 2009.

[8]  W. Damm,et al.  Boosting Re-use of Embedded Automotive Applications Through Rich Components , 2005 .

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

[10]  Marco Bozzano,et al.  ESACS: an integrated methodology for design and safety analysis of complex systems , 2003 .

[11]  Peter Liggesmeyer,et al.  Improving system reliability with automatic fault tree generation , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[12]  Jürgen Dingel,et al.  Understanding and improving UML package merge , 2008, Software & Systems Modeling.

[13]  Karama Kanoun,et al.  Software Dependability Modeling Using AADL (Architecture Analysis and Design Language) , 2011 .

[14]  Ana,et al.  System Dependability Evaluation using AADL ( Architecture Analysis and Design Language ) , 2005 .

[15]  N. D. Durie,et al.  Digest of papers , 1976 .

[16]  Guillem Bernat,et al.  pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems , 2003 .