Integrated System Design and Safety Framework for Model-Based Safety Assessment
IEEE ACCESS(2022)
Abstract
The increased complexity of modern engineered systems has introduced novel challenges for assessing their safety early in the life cycle. For example, due to the iterative nature of the design and safety life cycle, there is constant data transformation and feedback of information between the system design models, safety analyses, and safety verification. Data transformation and feedback are often manually performed by engineers, which is time-consuming and error prone and can introduce inconsistencies in safety assessments. Although several model-based systems engineering approaches have been developed for safety analysis and safety verification, current approaches do not address the inconsistencies introduced in the safety assessment process. This study describes the Integrated System Design and Safety (ISDS) framework, which is a model-based safety assessment framework that aims to eliminate such inconsistencies. The framework combines a model-based safety analysis approach with a model-based safety verification. This paper extends previous work, which focused on the model-based safety analysis approach, to describe the model-based safety verification approach adopted in the ISDS framework. Safety verification is performed using a simulation-based fault injection approach and enabled by a fault injection engine, which injects failures into the system design and characterizes system behaviors to identify safety violations impacting the system. The results from the case study, in which the framework is used to assess the safety of a forward collision warning system, highlight that the algorithms and automated feedback loops of the framework can reduce inconsistencies in the safety assessment process while also identifying safety violations impacting the system.
MoreTranslated text
Key words
Safety, Analytical models, System analysis and design, Modeling, Model checking, Computational modeling, Behavioral sciences, Model-based systems engineering (MBSE), safety analysis, failure modes and effects analysis (FMEA), systems engineering, SysML, simulation-based fault injection, safety verification
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined