A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model

Fault analysis and resolution of faults should be part of any end-to-end system development process. This paper is concerned with developing a formal transformation method that maps control flows modeled in unified modeling language activities to semantically equivalent fault trees. The transformation method developed features the use of propositional calculus and probability theory. Fault propagation chains are introduced to facilitate the method. An overarching metamodel comprised of transformations between models is developed and is applied to an understood traffic management system of systems problem to demonstrate the approach. In this way, the relational structure of the system behavior model is reflected in the structure of the fault tree. The paper concludes with a discussion of limitations of the transformation method and proposes approaches to extend it to object flows, state machines, and functional allocations.

[1]  Florin Craciun,et al.  Towards Better Testing of fUML Models , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[2]  N. Weiss.  A Course in Probability , 2005 .

[3]  Doo-Hwan Bae,et al.  Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis , 2010, 2010 Asia Pacific Software Engineering Conference.

[4]  Kazuhiro Ogata,et al.  Formal fault tree analysis of state transition systems , 2005, Fifth International Conference on Quality Software (QSIC'05).

[5]  Zoe Andrews,et al.  SysML fault modelling in a traffic management system of systems , 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).

[6]  Nataliya Yakymets,et al.  Model-based System Engineering for Fault Tree Generation and Analysis , 2016, MODELSWARD.

[7]  Eunseok Lee,et al.  Run-Time Fault Detection Using Automatically Generated Fault Tree Based on UML , 2012, ICHIT.

[8]  Simon Perry,et al.  Traceable Engineering of Fault-Tolerant SoSs , 2013 .

[9]  Charles E. Dickerson,et al.  Formal methods for a system of systems analysis framework applied to traffic management , 2016, 2016 11th System of Systems Engineering Conference (SoSE).

[10]  Qichao Liu,et al.  Metamodel evolution through metamodel inference , 2010, SPLASH/OOPSLA Companion.

[11]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[12]  Dorina C. Petriu,et al.  UML Model to Fault Tree Model Transformation for Dependability Analysis , 2014 .

[13]  Yanxiang He,et al.  Fault tree and formal methods in system safety analysis , 2004, The Fourth International Conference onComputer and Information Technology, 2004. CIT '04..

[14]  Mariëlle Stoelinga,et al.  Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..

[15]  Borut Mavko,et al.  A dynamic fault tree , 2002, Reliab. Eng. Syst. Saf..

[16]  Antoine Rauzy,et al.  Mode automata and their compilation into fault trees , 2002, Reliab. Eng. Syst. Saf..

[17]  Jean-Yves Choley,et al.  Automatic fault tree generation from SysML system models , 2014, 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[18]  Wensheng Hu,et al.  A method of FTA base on UML use case diagram , 2011, The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety.

[19]  Thomas Kuhn,et al.  Integration of Component Fault Trees into the UML , 2010, MoDELS.

[20]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[21]  John S. Fitzgerald,et al.  SysML contracts for systems of systems , 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).

[22]  Toshio Wakabayashi,et al.  Component-based modeling of systems for automated fault tree generation , 2009, Reliab. Eng. Syst. Saf..

[23]  Istvan Gergely Czibula,et al.  Tool Support for fUML Models , 2010, Int. J. Comput. Commun. Control.

[24]  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).

[25]  Jianwen Xiang,et al.  Automatic Static Fault Tree Analysis from System Models , 2010, 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing.

[26]  J. B. Dugan,et al.  Automatic synthesis of fault trees for computer-based systems , 1999 .

[27]  Kazuo Yanoo,et al.  Formal static fault tree analysis , 2010, The 2010 International Conference on Computer Engineering & Systems.

[28]  M. Sam Mannan,et al.  Algorithmic fault tree synthesis for control loops , 2003 .

[29]  Birgit Vogel-Heuser,et al.  Fault-centric system modeling using SysML for reliability testing , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[30]  Dong Yuhua,et al.  Estimation of failure probability of oil and gas transmission pipelines by fuzzy fault tree analysis , 2005 .

[31]  Jun Tao,et al.  A new methodology for automatic fault tree construction based on component and mark libraries , 2016 .

[32]  Marc Zeller,et al.  Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice , 2016, SAFECOMP Workshops.

[33]  Jon Holt,et al.  UML for Systems Engineering: Watching the wheels , 2004 .

[34]  A. Joshi.  Automatic Generation of Static Fault Trees from AADL Models , 2007 .

[35]  Gregory Zoughbi,et al.  Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile , 2011, Software & Systems Modeling.

[36]  Bran Selic,et al.  Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems , 2013 .

[37]  Arno Puder,et al.  A Comparison between Relational and Operational QVT Mappings , 2009, 2009 Sixth International Conference on Information Technology: New Generations.