Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis
- 1 Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
- 2 Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
Abstract
Safety Critical Systems (SCS) are those systems that may cause harm to the user(s) and/or the environment if operating outside of their prescribed specifications. Such systems are used in a wide variety of domains, such as aerospace, automotive, railway transportation and healthcare. In this paper, we propose an approach to integrate safety analysis of SCSs within the Model Driven Engineering (MDE) system development process. The approach is based on model transformation and uses standard well-known techniques and open source tools for the modeling and analysis of SCSs. More specifically, the system modeled with the OMG’s standard systems modeling language, SysML, is automatically transformed in Fault Tree (FT) models, that can be analyzed with existing FT tools. The proposed model transformation takes place in two steps: a) generate FTs at the component level, in order to tackle complexity and enable reuse; and b) generate system level FTs by composing the components and their FTs. The approach is illustrated by applying it to a simplified industry-inspired case study.
- Avizienis, A., Laprie, J.-C., Randell, B. and Landwehr, C. (2004) Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 1, 11-33. https://doi.org/10.1109/TDSC.2004.2
- Nair, S., De La Vara, J.L., Sabetzadeh, M. and Briand, L. (2014) An Extended Systematic Literature Review on Provision of Evidence for Safety Certification. Information and Software Technology, 56, 689-717. https://doi.org/10.1016/j.infsof.2014.03.001
- Object Management Group (2011) UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). Standard. http://www.omg.org/spec/MARTE/1.1
- Bernardi, S., Merseguer, J. and Petriu, D.C. (2013) Model-Driven Dependability Assessment of Software Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39512-3
- Friedenthal, S., Moore, A. and Steiner, R. (2014) A Practical Guide to SysML: The Systems Modeling Language. 3rd Ed., Morgan Kaufmann Publishers Inc., San Francisco, CA, USA. https://doi.org/10.1016/c2013-0-14457-1
- Kolovos, D., Rose, L., Paige, R. and García-Domínguez, A. (2010) The Epsilon Book. Eclipse. https://www.eclipse.org/epsilon/doc/book/
- Bernardi, S., Merseguer, J. and Petriu, D.C. (2012) Dependability Modeling and Analysis of Software Systems Specified with UML. ACM Computing Surveys, 45, 1-48. https://doi.org/10.1145/2379776.2379778
- Zeller, M., Ratiu, D. and Höfig, K. (2016) Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice. Computer Safety, Reliability, and Security. International Conference on Computer Safety, Reliability, and Security, 9923, 322-333. https://doi.org/10.1007/978-3-319-45480-1_26
- Berres, A. and Schumann, H. (2016) Automatic Generation of Fault Trees: A Survey on Methods and Approaches. Risk, Reliability and Safety: Innovating Theory and Practice, CRC Press, 2485-2492.
- Müller, M., Roth, M. and Lindemann, U. (2016) The Hazard Analysis Profile: Linking Safety Analysis and SysML. Annual IEEE Systems Conference (SysCon), Orlando, FL, 18-21 April 2016, 1-7. https://doi.org/10.1109/SYSCON.2016.7490532
- Zhao, Z. (2014) UML Model to Fault Tree Model Transformation for Dependability Analysis. MASc Thesis, Carleton University, Ottawa.
- Obeo ATL: ATLAS Transformation Language. https://eclipse.org/atl/