Patents by Inventor Kai Höfig

Kai Höfig has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20220271956
    Abstract: Provided is a device for ensuring safe operation of a technical system 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.
    Type: Application
    Filed: July 20, 2020
    Publication date: August 25, 2022
    Applicant: Siemens Aktiengesellschaft
    Inventors: Koo Chee Hung, Kai Höfig, Stefan Rothbauer, Sebastian Schröck, Marian Marcel Vorderer, Marc Zeller
  • Patent number: 11416363
    Abstract: Provided is a computer-implemented method, the method including storing a meta-model in a computer-readable storage medium, wherein the meta-model includes at least one risk element, at least one test element and at least one objective element, and associations between the elements, wherein each risk element is associated with one or more objective elements, and/or each risk element is associated with one or more test elements, wherein at least one element of the elements and/or at least one association has at least one associated risk-related parameter. A corresponding computer program product and system is also provided.
    Type: Grant
    Filed: November 19, 2019
    Date of Patent: August 16, 2022
    Assignee: SIEMENS AKTIENGESELLSCHAFT
    Inventor: Kai Höfig
  • Publication number: 20220137589
    Abstract: A computer-implemented method for determining automatically a machine safety and/or a product quality of a flexible cyber-physical production system with a configuration adaptable during a production process including production steps executed by machines forming equipment of a physical factory of the cyber-physical production system to produce a product according to a product recipe, wherein the machine safety and/or product quality are calculated during runtime of the flexible cyber-physical production system by processing a meta-model of the flexible cyber-physical production system stored in a computer readable storage medium, is provided.
    Type: Application
    Filed: February 20, 2020
    Publication date: May 5, 2022
    Inventors: Kai Höfig, Chee-Hung Koo, Stefan Rothbauer, Marian Marcel Vorderer, Marc Zeller
  • Patent number: 11288152
    Abstract: Provided is a computer-implemented method, the method including storing a meta-model in a computer-readable storage medium, wherein the meta-model includes at least one risk element, at least one test element and at least one objective element, and associations between the elements, wherein each risk element is associated with one or more objective elements, and/or each risk element is associated with one or more test elements, wherein at least one element of the elements and/or at least one association has at least one associated risk-related parameter. Also provided is a corresponding computer program product and system.
    Type: Grant
    Filed: January 24, 2020
    Date of Patent: March 29, 2022
    Assignee: SIEMENS AKTIENGESELLSCHAFT
    Inventors: Kai Höfig, Peter Zimmerer
  • Publication number: 20220063606
    Abstract: In order to control at least partially automated vehicles in a road danger zone, in particular road junctions in road traffic, in such a way that the vehicles can pass through the road danger zone in flowing traffic without stop/start interruptions, such as those caused e.g. by signalling equipment, traffic lights, the following proposes the following steps: a) each vehicle of the vehicles, on approaching the road danger zone, surrender the power to control the dynamic driving tasks of the vehicle in order to pass through said zone, b) when the vehicles have surrendered vehicle control power, a central control entity generates a digital road danger zone twin, and, as a result of the vehicles having surrendered vehicle control power, vehicle movements of the vehicle are automatically and dynamically controlled in a vehicle-coordinated and collision-free manner in order to pass through the road danger zone.
    Type: Application
    Filed: December 17, 2019
    Publication date: March 3, 2022
    Inventors: Kai Höfig, Cornel Klein
  • Patent number: 11196564
    Abstract: A monitoring production of a technical apparatus in a secure and reliable manner is provided. This monitoring is achieved using encapsulation of a first distributed ledger into a second distributed ledger.
    Type: Grant
    Filed: June 14, 2019
    Date of Patent: December 7, 2021
    Assignee: SIEMENS AKTIENGESELLSCHAFT
    Inventors: Kai Höfig, Cornel Klein, Martin Rothfelder, Monika Sturm, Vladimir Zahorcak
  • Patent number: 11144379
    Abstract: Modeling a multi-component control or actuator system using a fault tree is provided, which solves the problem of ring closures included in a fault tree. To identify ring closures, failure propagation paths are back-traced and is checked if the respective failure propagation path forms a ring closure.
    Type: Grant
    Filed: May 8, 2019
    Date of Patent: October 12, 2021
    Assignee: SIEMENS INDUSTRY SOFTWARE NV
    Inventors: Kai Höfig, Jonathan Menu, Marc Zeller
  • Publication number: 20210271233
    Abstract: Provided is an application of the described (or similar) decision-theoretic approaches to ensure the quality, output and timeliness of manufactured products for flexible and adaptable production systems, by determining and integrating suitable quality assurance measures which are integrated into the production process in an optimal manner. Thereby, a pareto-optimal sequence of production steps and quality assurance mechanisms are determined that provides an optimal trade-off between target product quality, production time and production costs. Since the approach is performed in an automated way, it can even be performed for flexible production scenarios down to a production of lot size I.
    Type: Application
    Filed: June 25, 2019
    Publication date: September 2, 2021
    Inventors: Kai Höfig, Andreas Joanni, Marc Zeller
  • Publication number: 20210263504
    Abstract: A monitoring production of a technical apparatus in a secure and reliable manner is provided. This monitoring is achieved using encapsulation of a first distributed ledger into a second distributed ledger.
    Type: Application
    Filed: June 14, 2019
    Publication date: August 26, 2021
    Inventors: Kai Höfig, Cornel Klein, Martin Rothfelder, Monika Sturm, Vladimir Zahorcak
  • Publication number: 20210223766
    Abstract: A computer-implemented method and device for resolving closed loops in automatic fault tree analysis of a multi-component system is provided. Also provided is a method for resolving closed loops in automatic fault tree analysis of a multi-component system, the closed loops corresponding, for example, to closed-loop control circuitry of a multi-component device. The closed loops are first identified in a top-down approach within failure propagation paths. Next, the loops are resolved by setting each loop interconnection to Boolean TRUE, adjusting the fault tree in a specific way and finally setting each loop interconnection to Boolean FALSE. Embodiments of the invention are relevant for analyzing safety-critical systems. However, the present concepts are not limited to these applications and may be applied to general use cases where fault tree analysis is applicable. The proposed solution advantageously provides a method that features linear complexity.
    Type: Application
    Filed: May 9, 2019
    Publication date: July 22, 2021
    Inventors: Francesco Montrone, Kai Höfig, Marc Zeller
  • Patent number: 10948549
    Abstract: A computer based method for a reusable functional failure test for a specific technical system, e.g., a traffic light system is provided. The method avoids inconsistencies in the functional failure test and reuses items of the respective data structures. Furthermore, the embodiment can identify components or electronic devices that do exceed assumed failure rates and that might be repaired or replaced to keep implementations of the specific technical in the desired failure rate limitations of the analysis, which can be done during the operation of the specific technical system.
    Type: Grant
    Filed: March 12, 2018
    Date of Patent: March 16, 2021
    Assignee: SIEMENS AKTIENGESELLSCHAFT
    Inventors: Kai Höfig, Luke Wildman
  • Patent number: 10877471
    Abstract: A method and apparatus for generating a fault tree for a failure mode of a complex system including a plurality of components, the method includes the steps of providing component fault tree, CFT, elements of the components; linking the components according to their failure dependencies within the complex system; and generating the fault tree by incorporating for each dependency link from a first component to a second component the output failure modes of the component fault tree element of the second component into the component fault tree element of the first component to trigger the output failure modes of the first component.
    Type: Grant
    Filed: April 28, 2015
    Date of Patent: December 29, 2020
    Inventors: Reiner Heilmann, Kai Höfig
  • Patent number: 10796315
    Abstract: A method for automated recertification of a safety critical system with at least one altered functionality is provided. The method includes providing a failure propagation model of the safety critical system. The method also includes updating the failure propagation model of the safety critical system according to the at least one altered functionality using inner port dependency traces between inports and outports of a failure propagation model element representing the at least one altered functionality. The method includes calculating top events of the updated failure propagation model, and comparing the calculated top events with predetermined system requirements to recertify the safety critical system.
    Type: Grant
    Filed: December 30, 2014
    Date of Patent: October 6, 2020
    Assignee: Siemens Aktiengesellschaft
    Inventor: Kai Höfig
  • Publication number: 20200310938
    Abstract: Provided is a computer-implemented method, the method including storing a meta-model in a computer-readable storage medium, wherein the meta-model includes at least one risk element, at least one test element and at least one objective element, and associations between the elements, wherein each risk element is associated with one or more objective elements, and/or each risk element is associated with one or more test elements, wherein at least one element of the elements and/or at least one association has at least one associated risk-related parameter. Also provided is a corresponding computer program product and system.
    Type: Application
    Filed: January 24, 2020
    Publication date: October 1, 2020
    Inventors: Kai Höfig, Peter Zimmerer
  • Publication number: 20200167256
    Abstract: Provided is a computer-implemented method, the method including storing a meta-model in a computer-readable storage medium, wherein the meta-model includes at least one risk element, at least one test element and at least one objective element, and associations between the elements, wherein each risk element is associated with one or more objective elements, and/or each risk element is associated with one or more test elements, wherein at least one element of the elements and/or at least one association has at least one associated risk-related parameter. A corresponding computer program product and system is also provided.
    Type: Application
    Filed: November 19, 2019
    Publication date: May 28, 2020
    Inventor: Kai Höfig
  • Publication number: 20200166933
    Abstract: Provided is a method for providing a safe operation of subsystems within a safety critical system (SCS), wherein a malfunctioning subsystem of the SCS sends a malfunction signal to the other subsystems of the SCS including a one-time cryptographic key unique to the malfunctioning subsystem, which is then decrypted by the other subsystems and collective safety management is initiated when the cryptographic key is valid. Also provided are traffic control systems, autonomous driving systems or automotive driver assistance systems. A swarm-like behavior of the subsystems collectively reacting to emergency situations is combined with a one-time cryptographic authentication and/or authorization procedure preventing repeated manipulation of the system by the same perpetrator.
    Type: Application
    Filed: June 18, 2018
    Publication date: May 28, 2020
    Inventor: Kai Höfig
  • Patent number: 10572331
    Abstract: A computer-based method for generating a component fault tree for a technical system is provided, including loading a data model of a failure mode and effect analysis for the technical system, generating for each component of the technical system a component element for the component fault tree, wherein component output ports of the component elements are connected to input ports of the component elements, generating for each component of the data model a component fault tree element for the respective component element, wherein each component fault tree element is associated with the respective component element, generating for each failure effect of a failure mode of a component of the data model an output failure mode for the respective component fault tree elements, and generating for each failure mode of the component of the data model a basic event for the respective component fault tree elements.
    Type: Grant
    Filed: June 22, 2017
    Date of Patent: February 25, 2020
    Assignee: Siemens Aktiengesellschaft
    Inventors: Kai Höfig, Marc Zeller
  • Publication number: 20190354423
    Abstract: Modeling a multi-component control or actuator system using a fault tree is provided, which solves the problem of ring closures included in a fault tree. To identify ring closures, failure propagation paths are back-traced and is checked if the respective failure propagation path forms a ring closure.
    Type: Application
    Filed: May 8, 2019
    Publication date: November 21, 2019
    Inventors: Kai Höfig, JONATHAN MENU, MARC ZELLER
  • Patent number: 10481989
    Abstract: A method and apparatus for generating a fault tree for a failure mode of a multi-mode system which includes a plurality of system components, the method includes the steps of providing component fault tree elements of the system components, wherein each component fault tree element includes at least one component fault tree mode element, representing a failure-relevant operation mode of the respective system component; selecting at least one component fault tree mode element representing a system state of the system; and generating the fault tree by incorporating the selected component fault tree mode elements the generated fault tree representing a failure behaviour of a system state of the system.
    Type: Grant
    Filed: August 29, 2016
    Date of Patent: November 19, 2019
    Assignee: SIEMENS AKTIENGESELLSCHAFT
    Inventors: Kai Höfig, Marc Zeller
  • Publication number: 20190250599
    Abstract: Provided is a method and system for conducting automatically a process failure mode and effect analysis, PFMEA, for a factory adapted to produce a product in a production process using a meta model, MM, stored or loaded in a data storage, wherein the stored meta model, MM, comprises abstract factory model elements modeling an abstract factory, AF, including one or more service declarations modeling abstract services across different factories, wherein each service declaration comprises failure mode declarations for different failure modes.
    Type: Application
    Filed: January 31, 2019
    Publication date: August 15, 2019
    Inventors: KAI HÖFIG, DANIEL RATIU, STEFAN ROTHBAUER