Patent classifications
G06F8/35
METHOD FOR GENERATING SOURCE CODE
A method for generating source code from one or more blocks of a block diagram that comprises at least two non-virtual blocks and at least one signal link between two non-virtual blocks includes: transforming the block diagram into an intermediate representation, wherein transforming the block diagram into the intermediate representation comprises transforming a first block having access to a multi-component variable; successively optimizing the intermediate representation; and translating the optimized intermediate representation into source code. Transforming the first block comprises: testing whether a block pair made up of the first block and an adjacent block comprises an equal assignment; and removing any assignments in which a reference to the same variable exists on both sides.
METHOD FOR GENERATING SOURCE CODE
A method for generating source code from one or more blocks of a block diagram that comprises at least two non-virtual blocks and at least one signal link between two non-virtual blocks includes: transforming the block diagram into an intermediate representation, wherein transforming the block diagram into the intermediate representation comprises transforming a first block having access to a multi-component variable; successively optimizing the intermediate representation; and translating the optimized intermediate representation into source code. Transforming the first block comprises: testing whether a block pair made up of the first block and an adjacent block comprises an equal assignment; and removing any assignments in which a reference to the same variable exists on both sides.
System configuration derivation device and system configuration derivation method
A system configuration derivation device 90 includes a storage unit 91 that stores a concretization rule in which a method is specified for concretizing abstract configuration information by confirming an unconfirmed portion of the abstract configuration information, which is information indicating configuration of a system in which the unconfirmed portion is included, and a generation unit 92 that concretizes the abstract configuration information included in configuration requirements of the system using the concretization rule stored to generate system configuration information, which is information indicating the configuration of the system in which the unconfirmed portion is not included, on the basis of the configuration requirements.
System configuration derivation device and system configuration derivation method
A system configuration derivation device 90 includes a storage unit 91 that stores a concretization rule in which a method is specified for concretizing abstract configuration information by confirming an unconfirmed portion of the abstract configuration information, which is information indicating configuration of a system in which the unconfirmed portion is included, and a generation unit 92 that concretizes the abstract configuration information included in configuration requirements of the system using the concretization rule stored to generate system configuration information, which is information indicating the configuration of the system in which the unconfirmed portion is not included, on the basis of the configuration requirements.
Method for operating a machine tool by adapting a precompiled machine model
In a method for operating a machine tool and a corresponding machine tool system, a generic first data model and engineering data are provided in an external server device. The engineering data contain information relating to a machine tool. After a user query regarding an operation of the machine tool, the first data model is translated and/or modified to become a second data model. This occurs in accordance with the engineering data and technical data of the user query by the external server device. The second data model is transferred from the external server device to the machine tool, and a control unit of the machine tool can operate the machine tool according to the second data model. The machine tool can thus be adapted outside the running time of the machine tool.
Method for operating a machine tool by adapting a precompiled machine model
In a method for operating a machine tool and a corresponding machine tool system, a generic first data model and engineering data are provided in an external server device. The engineering data contain information relating to a machine tool. After a user query regarding an operation of the machine tool, the first data model is translated and/or modified to become a second data model. This occurs in accordance with the engineering data and technical data of the user query by the external server device. The second data model is transferred from the external server device to the machine tool, and a control unit of the machine tool can operate the machine tool according to the second data model. The machine tool can thus be adapted outside the running time of the machine tool.
Framework for guided change management and change impact analysis with automated change validation through formal executable semantics
A method of managing change in a complex system begins with identifying an unsatisfied need to be met by the system. To satisfy the need a proposed change to the system to satisfy the need is represented a high-level representation of the proposed change. The high-level representation is mapped to a low-level executable semantic model, which is used to validate the proposed change and ensure the proposed change meets the identified and does not require additional changes to the system. On a condition that the validating steps determines that additional changes are required the additional changes are represented in the high-level representation of the system; the high-level change is mapped to the low-level executable semantic model and the additional changes are re-validated.
Updating An Edge Node of a Process Control System
A method, edge node application investigator, computer program and computer program product for for updating an edge node of a process control system using an information model for the edge node, where the information model representing the edge node as an object to which one or more application objects are linked, which application objects represent applications that are provided for being run by the edge node as well as to a process control system including such an edge node application investigator. The edge node application investigator compares applications of the edge node with the application objects in the information model and changes the applications of the edge node, if there is a deviation between the applications of the edge node and the application objects of the information model, so that the applications of the edge node correspond to the application objects of the information model.
Updating An Edge Node of a Process Control System
A method, edge node application investigator, computer program and computer program product for for updating an edge node of a process control system using an information model for the edge node, where the information model representing the edge node as an object to which one or more application objects are linked, which application objects represent applications that are provided for being run by the edge node as well as to a process control system including such an edge node application investigator. The edge node application investigator compares applications of the edge node with the application objects in the information model and changes the applications of the edge node, if there is a deviation between the applications of the edge node and the application objects of the information model, so that the applications of the edge node correspond to the application objects of the information model.
AUTONOMOUS GENERATION OF GRC PROGRAMS
Methods and systems for generating a computer program for a governance, risk, compliance (GRC) system are described. In an example, a processor may detect a change among a plurality of objects in the GRC system. The processor may generate a snapshot of the plurality of objects in response to the detected change. The snapshot may include the detected change among the plurality of objects. The processor may train a machine learning model using the snapshot. The trained machine learning model may indicate relationships among a set of related objects, where the related objects may be among the plurality of objects. The processor may generate a computer program based on the trained machine learning model. The computer program may include a set of instructions for setting a field value of an object among the set of related objects.