公开(公告)号：US07017080B1

公开(公告)日：2006-03-21

申请号：US09979840

申请日：2000-05-26

申请人： Peter Liggesmeyer ,  Oliver Maeckel ,  Michael Rettelbach ,  Martin Rothfelder

发明人： Peter Liggesmeyer ,  Oliver Maeckel ,  Michael Rettelbach ,  Martin Rothfelder

IPC分类号： G06F11/00

CPC分类号： G05B23/0248 ,  G05B23/0278 ,  G06F11/008 ,  G06F11/2257

摘要： The faults are described using a fault description which comprises data which have been determined using failure modes and effects analysis. The fault description is extended by information regarding the dependency of possible faults and the frequency of occurrence of said faults. The extended fault description is used to ascertain, for a prescribed fault event, the fault tree and the frequency of occurrence of the fault event.

摘要翻译： 使用故障描述描述故障，其中包括使用故障模式和效果分析确定的数据。 关于可能的故障的依赖性和所述故障的发生频率的信息来扩展故障描述。 扩展故障描述用于为规定的故障事件确定故障树和故障事件的发生频率。

公开(公告)号：US07823015B2

公开(公告)日：2010-10-26

申请号：US10468427

申请日：2002-01-28

申请人： Peter Liggesmeyer ,  Manfred Lohner ,  Oliver Mäckel ,  Martin Rothfelder

发明人： Peter Liggesmeyer ,  Manfred Lohner ,  Oliver Mäckel ,  Martin Rothfelder

IPC分类号： G06F11/00

CPC分类号： G06F11/008

摘要： Disclosed is a full error description for a technical system which is described by a system description which can be processed by a computer and stored. The system description contains information on elements available in system and information on the links therebetween. An element error description is determined for each element taken into consideration, using a stored error description which is respectively associated with a reference element. At least one part of the reference elements is grouped into a reference element group and a group error description is determined for the reference elements of a reference element group using a stored group error description which is respectively associated with a reference element group, enabling possible errors of the reference elements of the reference element group to be described. A full error description is determined from the element error descriptions and the group error descriptions, taking into account information on element links.

摘要翻译： 公开了由系统描述描述的技术系统的完整错误描述，该系统描述可由计算机处理并存储。 系统描述包含关于系统中可用的元件的信息以及它们之间的链接的信息。 使用分别与参考元素相关联的存储的错误描述来确定考虑到的每个元素的元素错误描述。 参考元素的至少一部分被分组为参考元素组，并且使用分组与参考元素组相关联的存储的组错误描述来确定参考元素组的参考元素的组错误描述，从而使得可能的错误 的参考元件组的参考元件。 从元素错误描述和组错误描述中确定完整的错误描述，同时考虑元素链接的信息。

公开(公告)号：US20120151281A1

公开(公告)日：2012-06-14

申请号：US13391164

申请日：2010-07-16

申请人： Ulrich Hahn ,  Martin Rothfelder

发明人： Ulrich Hahn ,  Martin Rothfelder

IPC分类号： G06F11/08

CPC分类号： G06F11/3684 ,  G06F11/3692

摘要： Apparatuses and methods are provided for the identification of external influences on at least one processing unit in a set of processing units in an embedded system. An arrangement configured for this purpose may include: a data generator configured to generate data which is designed to identify external influences on at least one processing unit in the set of processing units; a sensor circuit including a set of electronic elements, wherein the electronic elements are configured to store data, wherein the sensor circuit is configured to transmit the data to a data checker by sequential buffer storage of the data in the electronic elements; and the data checker, configured to check the correctness of the data.

摘要翻译： 提供了用于识别嵌入式系统中的一组处理单元中的至少一个处理单元的外部影响的装置和方法。 为此目的配置的装置可以包括：数据发生器，被配置为生成被设计为识别对该组处理单元中的至少一个处理单元的外部影响的数据; 传感器电路，其包括一组电子元件，其中所述电子元件被配置为存储数据，其中所述传感器电路被配置为通过所述电子元件中的数据的顺序缓冲存储将数据发送到数据检查器; 和数据检查器，配置为检查数据的正确性。

公开(公告)号：US20100313075A1

公开(公告)日：2010-12-09

申请号：US12808370

申请日：2008-11-12

申请人： Efthimios Liakos ,  Roland Porsch ,  Stefan Rothbauer ,  Martin Rothfelder ,  Michael Zanzinger ,  Hartmut Zeilmann

发明人： Efthimios Liakos ,  Roland Porsch ,  Stefan Rothbauer ,  Martin Rothfelder ,  Michael Zanzinger ,  Hartmut Zeilmann

IPC分类号： G06F11/36

CPC分类号： G06F11/3608

摘要： At least one embodiment of the present invention relates to supporting a safety-oriented system, with the safety-oriented system including safety-critical software components and non-safety-critical software components. In this method, a possibility of a safety-critical software component and a non-safety-critical software component influencing each other is identified and a set of technical measures for preventing the possibility of influencing is defined. In this way, an absence of feedback from non-safety-critical software components to safety-critical software components is both verified and also ensured by at least one embodiment of the present invention.

摘要翻译： 本发明的至少一个实施例涉及支持面向安全的系统，其中安全性系统包括安全关键的软件组件和非安全关键的软件组件。 在这种方法中，确定了安全关键软件组件和非安全关键软件组件相互影响的可能性，并定义了一套防止影响可能性的技术措施。 以这种方式，通过本发明的至少一个实施例来验证并且也确保了从非安全关键软件组件到安全关键软件组件的反馈。

公开(公告)号：US08620873B2

公开(公告)日：2013-12-31

申请号：US12808370

申请日：2008-11-12

申请人： Efthimios Liakos ,  Roland Porsch ,  Stefan Rothbauer ,  Martin Rothfelder ,  Michael Zanzinger ,  Hartmut Zeilmann

发明人： Efthimios Liakos ,  Roland Porsch ,  Stefan Rothbauer ,  Martin Rothfelder ,  Michael Zanzinger ,  Hartmut Zeilmann

IPC分类号： G06F17/00 ,  G06F7/00

CPC分类号： G06F11/3608

摘要： At least one embodiment of the present invention relates to supporting a safety-oriented system, with the safety-oriented system including safety-critical software components and non-safety-critical software components. In this method, a possibility of a safety-critical software component and a non-safety-critical software component influencing each other is identified and a set of technical measures for preventing the possibility of influencing is defined. In this way, an absence of feedback from non-safety-critical software components to safety-critical software components is both verified and also ensured by at least one embodiment of the present invention.

摘要翻译： 本发明的至少一个实施例涉及支持面向安全的系统，其中安全性系统包括安全关键的软件组件和非安全关键的软件组件。 在这种方法中，确定了安全关键软件组件和非安全关键软件组件相互影响的可能性，并定义了一套防止影响可能性的技术措施。 以这种方式，通过本发明的至少一个实施例来验证并且也确保了从非安全关键软件组件到安全关键软件组件的反馈。