-
公开(公告)号:EP3771139A1
公开(公告)日:2021-01-27
申请号:EP19187575.6
申请日:2019-07-22
发明人: Hung, Koo Chee , Höfig, Kai , Rothbauer, Stefan , Schröck, Sebastian , Vorderer, Marian , Zeller, Marc
IPC分类号: H04L9/32
摘要: A device for ensuring safe operation of a technical system is configured to generate a smart contract including a condition to be fulfilled for safe operation of a technical system, to store smart contract data of the smart contract in a distributed ledger, and to determine if the technical system fulfills the condition using the smart contract.
-
公开(公告)号:EP3779619A1
公开(公告)日:2021-02-17
申请号:EP19191269.0
申请日:2019-08-12
发明人: Hung, Koo Chee , Höfig, Kai , Rothbauer, Stefan , Schröck, Sebastian , Vorderer, Marian , Zeller, Marc
IPC分类号: G05B19/042 , G05B19/418 , G05B23/02 , G06Q10/06
摘要: Ein computerimplementiertes Verfahren zur Analyse der Betriebssicherheit eines technischen Systems umfasst die folgenden Schritte. In einem Schritt wird eine Konfiguration eines technischen Systems umfassend mehrere Teilsysteme empfangen. In einem weiteren Schritt werden für jedes Teilsystem Betriebsrisiken bestimmt. In einem weiteren Schritt wird eine Vielzahl emergenter Risiken des technischen Systems durch Kombination von Betriebsrisiken unterschiedlicher Teilsysteme bestimmt.
-