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.
翻译:为使安全相关系统能够以模型为基础、迭接设计,将安全和系统工程有效整合是一项迫切需要。我们的方法是利用专门的参考模型将系统设计和安全分析模型有效地连接起来。由于所有信息都是有条不紊地提供的,因此模型要素和一致性检查之间的可追溯性使得自动同步能够保证两种模型中的信息在发展生命周期中的一致性。