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.

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.

Abstract: A method for transmitting data from a first sub-system to a second sub-system includes the steps of providing a dataset by the first sub-system, the dataset having a data structure identifier and a data value; sending the dataset to the second sub-system; receiving the dataset by the second sub-system; checking whether complete assignment information regarding the data structure assigned to the data structure identifier is present in the second sub-system; recovering any missing assignment information from a communication broker in the event that the second sub-system does not contain complete assignment information; and determining the data structure on the basis of the data structure identifier and the assignment information. A corresponding system, a corresponding first sub-system, a corresponding second sub-system and a communication broker are also proposed.

Abstract: A method for determining at least one standby consumption of at least one electrical device of a technical system is provided, including: determining at least one time series by at least one current converter, recognizing at least one pattern in the at least one time series based on a plurality of known reference patterns by a computing unit, assigning the at least one pattern to the at least one electrical device based on the at least one recognized pattern by the computing unit, determining an electrical energy for the at least one electrical device as the at least one standby consumption based on the at least one time series by the computing unit, and providing the at least one standby consumption of the at least one electrical device. A technical system and a corresponding computer program product are also provided.

Abstract: A computer-implemented method for generating an integration test model is provided, including the steps: a. providing at least one telegram, wherein the at least one telegram is used for communication between a plurality of technical components of a technical system; b. assigning at least one respective technical component of the plurality of technical components to the at least one telegram by at least one respective control logic chart; c. providing at least one system configuration as respective at least one test environment; d. providing a test data model; e. generating the integration test model based on the at least one telegram, the at least test environment and the test data model; wherein information of the respective control logic chart is considered with regard to the at least one telegram; and f. providing the integration test model. A corresponding computer program product and system is also provided.

Abstract: A computer-implemented method for updating a model parameter for a model, wherein the model parameter to be updated includes a model parameter value and a confidence score; including: a. providing the model parameter to be updated, a first input data set with data accumulated since a first or previous update, a second input data set with data accumulated and used for the first or previous update; b. determining a statistical significance of the first input data set and/or the second input data set; c. determining an updated model parameter using an estimation approach based on the model parameter to be updated and the first input data set; d. determining an updated model parameter using an estimation approach based on the model parameter to be updated; e. providing the determined updated model parameter as output. Further, a computing unit and a computer program product are provided.

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

Abstract: One or more example embodiments provides a method for speech control of a medical apparatus, a corresponding speech control apparatus, a medical system comprising the speech control apparatus, a computer program product and a computer-readable storage medium.

Abstract: One or more example embodiments provides a method for speech control of a medical apparatus, the method comprising capturing an audio signal containing operator speech input directed at controlling the apparatus; first analyzing the audio signal for a first speech analysis result; recognizing a first speech command based on the first speech analysis result; assigning the first speech command to a safety class, the safety class being provided for safety-critical speech commands; ascertaining a verification signal to confirm the first speech command; generating a control signal for controlling the medical apparatus, the generating being based on the first speech command and the verification signal, wherein the control signal is for controlling the medical apparatus according to the first speech command; and inputting the control signal into the medical apparatus.

Abstract: A method for transmitting data from a first sub-system to a second sub-system includes the steps of: providing a dataset by the first sub-system, the dataset having a data structure identifier and a data value; sending the dataset to the second sub-system; receiving the dataset by the second sub-system; checking whether complete assignment information regarding the data structure assigned to the data structure identifier is present in the second sub-system; recovering any missing assignment information from a communication broker in the event that the second sub-system does not contain complete assignment information; and determining the data structure on the basis of the data structure identifier and the assignment information. A corresponding system, a corresponding first sub-system, a corresponding second sub-system and a communication broker are also proposed.

Abstract: One or more ring closures of a fault tree are provided. For each one of the one or more ring closures: at least one respective edge the respective ring closure is replaced in the fault tree by a respective variable to obtain a placeholder fault tree and a normalized representation of the placeholder fault tree is determined.

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.

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.

Abstract: The computer-implemented method for testing a technical system having a plurality of technical components includes: providing a safety model modeling a safety relevant functionality of the technical system, providing a test model describing test cases for testing the technical system, linking elements of the safety model with elements of the test model for enabling a tracing between the test cases of the test model and the safety-relevant functionality of the safety model, testing the technical system using at least one of the test cases generated based on the test model linked with the safety model, and analyzing the testing for providing coverage criteria for the safety-relevant functionality. Further, a computer program product, a computerized device and an arrangement having a technical system and a computerized device are suggested.

Abstract: The computer-implemented method for testing a technical system having a plurality of technical components includes: providing a safety model modeling a safety relevant functionality of the technical system, providing a test model including test cases for testing the technical system, linking elements of the safety model with elements of the test model for enabling a tracing between the test cases of the test model and the safety-relevant functionality of the safety model, generating test parameters for at least one certain test case of the test cases and/or a new test case for the test model using the safety model linked to the test model, and testing the technical system using the certain test case and/or the new test case. Further, a computer program product, a computerized device and an arrangement having a technical system and a computerized device are provided.

Abstract: Provided is a method for dynamic adaption of a workflow, WF, of an automation system, AS, wherein the workflow, WF, includes automated handling functions, AHFs, implementing associated production steps of a production process controlled by a workflow processor, WP, of a machine of the automation system and at least one automated handling function, AHF, shell configured to plug a pluggable automated handling function, pAHF, into the workflow, WF, of the automation system during runtime of the automation system for adaption of the workflow, WF.

Abstract: A method and system for upgrading a service or microservice within a system where an updated version of the service is employed in the system without immediately allowing the service from assuming control of the final output of the system is provided.

Abstract: A method for memory modification resulting in a test probe for examining a program under test substantially during run-time is provided. The ability to inject faults or errors in order to test a reaction of the program to a fault in a particular state and to individually replace access to a regular operand by accessing a shadow operand allow for non-intrusive tests while the program is substantially executed in real-time. The program itself is not substantially altered for testing purposes.

Abstract: Provided is a method for dynamic adaption of a workflow, WF, of an automation system, AS, wherein the workflow, WF, includes automated handling functions, AHFs, implementing associated production steps of a production process controlled by a workflow processor, WP, of a machine of the automation system and at least one automated handling function, AHF, shell configured to plug a pluggable automated handling function, pAHF, into the workflow, WF, of the automation system during runtime of the automation system for adaption of the workflow, WF.

Abstract: The disclosed embodiments relate to a method for memory modification resulting in a test probe for examining a program under test substantially during run-time. The ability to inject faults or errors in order to test the program's reaction to a fault in a particular state and to individually replace access to a regular operand by accessing a shadow operand allow for non-intrusive tests while the program is substantially executed in real-time and whereby the program itself is not substantially altered for testing purposes.