Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
110 tokens/sec
GPT-4o
56 tokens/sec
Gemini 2.5 Pro Pro
44 tokens/sec
o3 Pro
6 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
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.

User Edit Pencil Streamline Icon: https://streamlinehq.com
Authors (2)
  1. Marc Zeller (19 papers)
  2. Kai Hoefig (11 papers)
Citations (5)

Summary

We haven't generated a summary for this paper yet.