2000 character limit reached
INSiDER: Incorporation of system and safety analysis models using a dedicated reference model (2105.14992v1)
Published 31 May 2021 in cs.OH
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.
- Marc Zeller (19 papers)
- Kai Hoefig (11 papers)