A SysML Profile for Fault Trees—Linking Safety Models to System Design
| Autor: | Kester Clegg, David Stamp, Mole Li, John McDermid, Alan Grigg |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Fault tree analysis
021103 operations research Traceability business.industry Computer science Process (engineering) 0211 other engineering and technologies Model-based systems engineering 020207 software engineering System requirements specification 02 engineering and technology Linkage (mechanical) law.invention Systems Modeling Language law 0202 electrical engineering electronic engineering information engineering Systems design Software engineering business |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030266004 SAFECOMP |
| DOI: | 10.1007/978-3-030-26601-1_6 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|