公开(公告)号：US20160266952A1

公开(公告)日：2016-09-15

申请号：US14644119

申请日：2015-03-10

申请人： Kai Höfig ,  MarC Zeller

发明人： Kai Höfig ,  MarC Zeller

IPC分类号： G06F11/07

CPC分类号： G06F11/079 ,  G06F11/00 ,  G06F11/004 ,  G06F11/0736 ,  G06F11/0751

摘要： A method for automated qualification of a safety critical system including a plurality of components is provided. A functional safety behavior of each component is represented by an associated component fault tree element. The method includes automatically performing a failure port mapping of output failure modes to input failure modes of component fault tree elements based on a predetermined generic fault type data model stored in a database.

摘要翻译： 提供了一种用于包括多个部件的安全关键系统的自动鉴定的方法。 每个组件的功能安全行为由关联组件故障树元素表示。 该方法包括基于存储在数据库中的预定的通用故障类型数据模型，自动执行输出故障模式的故障端口映射以输入部件故障树元件的故障模式。