INSiDER: Incorporation of system and safety analysis models using a dedicated reference model

TL;DR

This paper presents INSiDER, a method that integrates system and safety analysis models through a dedicated reference model, enabling automated synchronization and consistency checks for safety-critical system design.

Contribution

It introduces a novel reference model that interconnects system and safety analysis models, facilitating automated updates and improved traceability during system development.

Findings

Enhanced model consistency during development

Automated synchronization reduces manual errors

Improved traceability between system and safety models

Abstract

In order to enable model-based, iterative design of safety-relevant systems, an efficient incorporation of safety and system engineering is a pressing need. Our approach interconnects system design and safety analysis models efficiently using a dedicated reference model. Since all information are available in a structured way, traceability between the model elements and consistency checks enable automated synchronization to guarantee that information within both kind of models are consistent during the development life-cycle.