Abstract:The complexity of safety-critical systems is continuously increasing. To create safe systems despite the complexity, the system development requires a strong integration of system design and safety activities. A promising choice for integrating system design and safety activities are model-based approaches. They can help to handle complexity through abstraction, automation, and reuse and are applied to design, analyze, and assure systems. In practice, however, there is often a disconnect between the model-based design and safety activities. At the same time, there is often a delay until recent approaches are available in model-based frameworks. As a result, the advantages of the models are often not fully utilized. Therefore, this article proposes a framework that integrates recent approaches for system design (model-based systems engineering), safety analysis (system-theoretic process analysis), and safety assurance (goal structuring notation). The framework is implemented in the systems modeling language (SysML), and the focus is placed on the connection between the safety analysis and safety assurance activities. It is shown how the model-based integration enables tool assistance for the systematic creation, analysis, and maintenance of safety artifacts. The framework is demonstrated with the system design, safety analysis, and safety assurance of a collision avoidance system for aircraft. The model-based nature of the design and safety activities is utilized to support the systematic generation, analysis, and maintenance of safety artifacts.

Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees

Model-based safety assessment with SysML and component fault trees: application and lessons learned

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees

Fusion Assessment of Safety and Security for Intelligent Industrial Unmanned Systems

A Method for Constructing Fault Trees from AADL Models.

Verification of Component Fault Trees Using Error Effect Simulations

Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis

Dynamic Fault Tree Generation and Quantitative Analysis of System Reliability for Embedded Systems Based on SysML Models

Integrated model-based design and functional hazard assessment with SysML on the example of a shock control bump system

Fault Tree Generation and Analysis Based on Extended SysML Model

A system-theoretic assurance framework for safety-driven systems engineering

A Systematic Approach for Integrating Fault Trees into System Statecharts

ArChes -- Automatic generation of component fault trees from continuous function charts

Simulation-based Safety Assessment of High-level Reliability Models

Model-Based Generation of Attack-Fault Trees

Research on Modeling Method of Testability Design Based on Static Automatic Fault Tree

Combination of component fault trees and Markov chains to analyze complex, software-controlled systems

A new methodology for automatic fault tree construction based on component and mark libraries

A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model

Application of Fault Tree Analysis Method in Missile Weapon System Analysis

Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW