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.
@article{arxiv.2105.14992,
title = {INSiDER: Incorporation of system and safety analysis models using a dedicated reference model},
author = {Marc Zeller and Kai Hoefig},
journal= {arXiv preprint arXiv:2105.14992},
year = {2021}
}