公开(公告)号：US10241852B2

公开(公告)日：2019-03-26

申请号：US14644119

申请日：2015-03-10

Applicant: Kai Höfig ,  Marc Zeller

Inventor： Kai Höfig ,  Marc Zeller

IPC: G06F11/00 ,  G06F11/07

Abstract: 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.

公开(公告)号：US10061670B2

公开(公告)日：2018-08-28

申请号：US14981673

申请日：2015-12-28

Applicant: Kai Höfig ,  Marc Zeller

Inventor： Kai Höfig ,  Marc Zeller

IPC: G06F11/22 ,  G06F11/07 ,  G06F17/30

CPC classification number: G06F11/2257 ,  G06F11/008 ,  G06F11/0721 ,  G06F11/0736 ,  G06F11/0769 ,  G06F11/079 ,  G06F11/2252 ,  G06F16/22

Abstract: An apparatus includes an input that receives a continuous function chart for each component of the investigated safety-critical system. A processor generates a corresponding component fault tree element. Inports and outports of the component fault tree element are generated and interconnected based on unique names of the inputs and outputs of the corresponding continuous function chart of the respective system component. Input failure modes and output failure modes are generated based on generic mapping between connector types of the continuous function chart and failure types of failure modes of the component fault tree element. The input failure modes of a component fault tree element are connected to output failure modes of the component fault tree element via internal failure propagation paths based on interconnected function blocks of the continuous function chart of the respective system component. An output outputs the generated component fault tree of the safety-critical system.

公开(公告)号：US20170185470A1

公开(公告)日：2017-06-29

申请号：US14981673

申请日：2015-12-28

Applicant: Kai Höfig ,  Marc Zeller

Inventor： Kai Höfig ,  Marc Zeller

IPC: G06F11/07 ,  G06F17/30

CPC classification number: G06F11/2257 ,  G06F11/008 ,  G06F11/0721 ,  G06F11/0736 ,  G06F11/0769 ,  G06F11/079 ,  G06F11/2252 ,  G06F17/30312

Abstract: An apparatus includes an input that receives a continuous function chart for each component of the investigated safety-critical system. A processor generates a corresponding component fault tree element. Inports and outports of the component fault tree element are generated and interconnected based on unique names of the inputs and outputs of the corresponding continuous function chart of the respective system component. Input failure modes and output failure modes are generated based on generic mapping between connector types of the continuous function chart and failure types of failure modes of the component fault tree element. The input failure modes of a component fault tree element are connected to output failure modes of the component fault tree element via internal failure propagation paths based on interconnected function blocks of the continuous function chart of the respective system component. An output outputs the generated component fault tree of the safety-critical system.