A SysML Profile for Fault Trees: Linking Safety Models to System Design

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
Subtitle of host publicationSAFECOMP 2019
EditorsA Romanovsky, E Troubitsyna
ISBN (Electronic)978-3-030-26601-1
ISBN (Print)978-3-030-26600-4
Publication statusPublished - 8 Aug 2019

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Bibliographical note

© Springer Nature Switzerland AG 2019. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Cite this