Model-based System Engineering for Fault Tree Generation and Analysis

Nataliya Yakymets, Hadi Jaber, Agnes Lanusse

Abstract

In this paper, we focus on the integration of formal approaches for automatic FT generation within a MBSE workflow. We describe a safety modelling framework for FT generation that leverages features of SysML modelling language and includes facilities to make semantic connections with formal verification and FTA tools. MBSE methods and tools (meta-models, profiles, model transformation) are fully exploited to propose a seamless workflow customizable for safety engineers. We illustrate the FT generation and analysis flow associated with the proposed framework using the example of the train detection system and the AltaRica formal environment.

References

  1. Andrews, J. D. & Henry, J. J., 1997. A computerized fault tree construction methodology', Proceedings of the Institution of Mechanical Engineers, Part E: Journal of Process Mechanical Engineering 211(3), 171-183.
  2. ARC (2012), 'ARC web page, available at: http:// www.altarica.labri.fr/forge/projects/arc/wiki.
  3. Arnold, A.; Griffault, A.; Point, G. & Rauzy, A., 2000. The AltaRica language and its semantics, Fundamenta Informaticae 34, 109--124.
  4. Bozzano, M. & Villafiorita, A., 2007. The FSAP/NuSMVSA Safety Analysis Platform, International Journal on Software Tools for Technology Transfer 9, 5-24.
  5. David, P.; Idasiak, V. & Kratz, F., 2010. Reliability study of complex physical systems using SysML, Reliability Engineering & System Safety 95(4), 431 - 450.
  6. Estefan, J., May 2007. Survey of Candidate Model-Based Systems Engineering (MBSE) Methodologies, rev. A, IncoseMBSE Focus Group, . Passadena, CA, USA, (INCOSE), May 23, 2008. INCOSE-TD-2007-003-02.
  7. Feiler, P. & Gluch, D.Professional, A.-W., ed., 2012. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, P.Ed Heg USA.
  8. NASA, 2002. Fault Tree Handbook with Aerospace Applications Version 1.1.
  9. Meenakshi, B.; Das Barman, K.; Babu, K. & Sehgal, K., 2007. Formal safety analysis of mode transitions in aircraft flight control system, in 'DASC 7807. IEEE/AIAA 26th', pp. 2.C.1-1 -2.C.1-11.
  10. OMG, 2007. Object Management Group - Systems Modeling Language (OMG SysML).
  11. OPEN-PSA, 2008. OPEN-PSA web page, available at: http://www.open-psa.org'.
  12. Papyrus, 2012. Papyrus web page, available at: http:// www.eclipse.org/modeling/mdt/papyrus/.
  13. Walker, M.; Bottaci, L. & Papadopoulos, Y., 2007. Compositional Temporal Fault Tree Analysis, in Francesca Saglietti & Norbert Oster, ed., 'Computer Safety, Reliability, and Security', Springer Berlin Heidelberg, pp. 106-119.
  14. XFTA, 2011. XFTA web page, available at: http:// www.lix.polytechnique.fr/rauzy/xfta/xfta.htm
Download


Paper Citation


in Harvard Style

Yakymets N., Jaber H. and Lanusse A. (2013). Model-based System Engineering for Fault Tree Generation and Analysis . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 210-214. DOI: 10.5220/0004346902100214


in Bibtex Style

@conference{modelsward13,
author={Nataliya Yakymets and Hadi Jaber and Agnes Lanusse},
title={Model-based System Engineering for Fault Tree Generation and Analysis},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={210-214},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004346902100214},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-based System Engineering for Fault Tree Generation and Analysis
SN - 978-989-8565-42-6
AU - Yakymets N.
AU - Jaber H.
AU - Lanusse A.
PY - 2013
SP - 210
EP - 214
DO - 10.5220/0004346902100214