Abstract
Model Based Systems Engineering (MBSE) has encouraged the use of a single systems model in languages such as SysML that fully specify the system and which form the basis of all development effort. However, using SysML models for safety analysis has been restricted by the lack of defined modelling standards for analytical techniques like Fault Tree Analysis (FTA). In lieu of such standards, the ENCASE project (See acknowledgements.) has formulated a simple SysML profile that captures the information required to represent fault trees and which enables the linkage of failure modes to other parts of the SysML model. We describe our experience of integrating fault tree models within a SysML MBSE environment for critical systems development, and show how that can be done while keeping existing (often certified) analytical tools as part of the development process. Common definitions of the system specification improves the quality of safety analysis, and the closer alignment of system and safety models provides opportunities for greater traceability, coherence and verification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This paper refers to the current Object Modelling Group (OMG) SysML v1.5, not the upcoming 2.0 standard. See http://www.omgsysml.org/.
- 2.
- 3.
The meta-model we have developed includes a domain view meta-model as well, which provides a modelling tool and language independent view and shows meta-associations. We considered this to be out of scope for SAFECOMP but the authors are happy to give details if requested.
References
Biggs, G., Juknevicius, T., Armonas, A., Post, K.: Integrating safety and reliability analysis into MBSE: overview of the new proposed OMG standard. In: INCOSE International Symposium, vol. 28, pp. 1322–1336, July 2018. https://doi.org/10.1002/j.2334-5837.2018.00551.x
Day, J., Murray, A., Meakin, P.: Toward a model-based approach to flight system fault protection. In: Aerospace Conference, 2012 IEEE, pp. 1–17. IEEE (2012)
Dickerson, C.E., Roslan, R., Ji, S.: A formal transformation method for automated fault tree generation from a UML activity model. IEEE Trans. Reliab. 67(3), 1219–1236 (2018). https://doi.org/10.1109/TR.2018.2849013
IEC 61025: Fault tree analysis (FTA). Standard, International Electrotechnical Commission, Geneva, CH, August 2006
Li, M., Batmaz, F., Guan, L., Grigg, A., Ingham, M., Bull, P.: Model-based systems engineering with requirements variability for embedded real-time systems. In: 2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE), pp. 1–10, August 2015. https://doi.org/10.1109/MoDRE.2015.7343874
Lisagor, O., Kelly, T., Niu, R.: Model-based safety assessment: review of the discipline and its challenges. In: The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety, pp. 625–632, June 2011. https://doi.org/10.1109/ICRMS.2011.5979344
Nordmann, A., Munk, P.: Lessons learned from model-based safety assessment with SysML and component fault trees. In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 134–143, MODELS 2018. ACM, New York (2018). https://doi.org/10.1145/3239372.3239373
Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment ARP4761, Standard, SAE International, Warrendale, PA, USA, 1 December 1996
Seidewitz, E.: What models mean. IEEE Softw. 20(5), 26–32 (2003)
Acknowledgements
Development supported by Rolls-Royce PLC and funded as part of Innovate UK’s ENCASE project (Enabling Novel Controls and Advanced Sensors for Engines).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Clegg, K., Li, M., Stamp, D., Grigg, A., McDermid, J. (2019). A SysML Profile for Fault Trees—Linking Safety Models to System Design. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2019. Lecture Notes in Computer Science(), vol 11698. Springer, Cham. https://doi.org/10.1007/978-3-030-26601-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-26601-1_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-26600-4
Online ISBN: 978-3-030-26601-1
eBook Packages: Computer ScienceComputer Science (R0)