Clegg, Kester Dean orcid.org/0000-0002-4484-3291, McDermid, John Alexander orcid.org/0000-0003-4745-4272, Grigg, Alan et al. (1 more author) (2019) A SysML Profile for Fault Trees:Linking Safety Models to System Design. In: Romanovsky, A and Troubitsyna, E, (eds.) Computer Safety, Reliability, and Security:SAFECOMP 2019. Lecture Notes in Computer Science . Springer , pp. 85-93.
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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 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. |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 22 Oct 2019 15:10 |
Last Modified: | 06 Jan 2025 00:24 |
Published Version: | https://doi.org/10.1007/978-3-030-26601-1_6 |
Status: | Published |
Publisher: | Springer |
Series Name: | Lecture Notes in Computer Science |
Identification Number: | 10.1007/978-3-030-26601-1_6 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:152499 |
Download
Filename: SysML_profile_for_Fault_Trees_SAFECOMP_2019.pdf
Description: SysML_profile_for_Fault_Trees___SAFECOMP_2019