Abstract: System and method use an engineering software tool to construct a graphical design of an industrial system for a design project and an artificial intelligence (AI) module integrated with the engineering tool to classify functionality of components for a current design project using a trained machine learning-based model. The AI module receives a knowledge graph for the current project based on data associated with the graphical design. The knowledge graph represents an ontology for a set of elements and element relationships respectively, representative of system components. The AI module identifies a functionality for each knowledge graph node based on the classifier model, clusters knowledge graph nodes according to identified functionality, and generates functionality-based recommendations based on the clusters in response to user queries. Compliance validation of the design data to regulation standards and policy is performed at the component level by an inference engine.

Abstract: Automated skill matching is provided in industrial control. The interfaces (12, 17) and/or the production processes (13, 18) of the controller (16) and machine (11) are matched. The matching of the interfaces (12, 17) links parameters except for optional parameters to check for incompatibility. The matching of the production processes (13, 18) uses a cross-product of the process (13) of the machine (11) with the process (18) of the controller (16) to check for incompatibility. The skill checking guides manual confirmation of compatibility, reducing downtime and reducing engineering or programming time. The machine (11) is more likely to operate correctly with the controller (16) due to the automated skill matching.

Abstract: A method for representing knowledge in a cognitive engineering system (CES) includes receiving information relating to an automation engineering project from an engineering tool, storing the received information in a cognitive engineering graph (CEG) storing a plurality of previously generated CEGs for previous automation engineering projects, and establishing a communication path between the CEG storing the received information and the plurality of previously generated CEGs. The method may further include applying machine learning to the stored CEG based on the received information and the stored plurality of previously generated CEGs. The machine learning may analyze the CEG to identify at least one pattern that is representative of a given object from the automation engineering project. The CES may automatically add an element to the CEG based on the received information and a query from a user. Further, the user may request a change made by the CES be reversed.

Abstract: A system for checking security vulnerabilities for automation system design includes a security database, an Internet crawler application, and security service application. The security database stores descriptions of known software vulnerabilities related to an automation system. The Internet crawler application is configured to systematically browse the Internet to find new software vulnerabilities related to the automation system and index the new software vulnerability into the security database. The security service application retrieves, from the security database, potential software vulnerabilities related to a hardware/software configuration of the automation system. The security service application also identifies policies related to the potential vulnerabilities. Each policy describes a potential vulnerability and action to be performed in response to detection of the potential vulnerabilities.

Abstract: A computer-implemented method for quantifying assurance of a software system includes collecting artifacts of the software system generated during phases of the software system's engineering lifecycle. A graph of graphs (GoG) is constructed encoding the artifacts. Each subgraph in the GoG is a semantic network corresponding to a distinct assurance requirement. The GoG is used to calculate a component assurance value for each software component for each distinct assurance requirement. A system assurance value is calculated based on the component assurance values. An architectural view of the software system is presented showing at least one of the component assurance values and the system assurance values.

Abstract: Over the past several decades, rapid advances in semiconductors, automation, and control systems have resulted in the adoption of programmable logic controllers (PLCs) in an immense variety of environments. A synchronization system coordinates storage, retrieval, and activation of engineering object models among local and remote nodes. The synchronization system facilitates local and remote design and development access to the PLCs, as well as continued correct operation of the PLCs.

Abstract: Over the past several decades, rapid advances in semiconductors, automation, and control systems have resulted in the widespread adoption of advanced automated machines (including robots) in complex industrial environments. These machines are deployed in a very wide range of industrial settings and carry out an immense variety tasks in a limited and predefined manner. A systematic approach coordinates the actions of machines to allow a hierarchy of autonomous systems to make decisions about how to meet manufacturing demands, including delegation to lower-level autonomous systems.

Abstract: Graph databases directly relate data items in the data store with edges that represent relationships between the data items. The relationships link the data items together and often permit complex sets of related data items to be retrieved with a single operation. New query systems and techniques for graph databases provide prediction of non-explicit connections between data items that further enhances the efficiency and utility of graph databases, as well as extend their industrial applications.

Abstract: A system for configuration and control of a device includes a device processor includes at least two processing cores. Device firmware executes on a first processing core and a device-based engineering server executes on a second processing core. A web server running on the device-based engineering server includes a webApp providing web-based functionality for configuration and control of the device. The webApp is downloaded from the web server to the user's browser. A hypervisor manages communication between the device firmware and the device-based engineering server. A communication path established in the hypervisor for communicating a configuration or control instruction to the device firmware. The configuration or control instruction is initiated by a user via a web browser. The users web browser may run on a computer workstation that does not otherwise meet processing requirements of an engineering system for the device.

Abstract: Automated skill matching is provided in industrial control. The interfaces (12, 17) and/or the production processes (13, 18) of the controller (16) and machine (11) are matched. The matching of the interfaces (12, 17) links parameters except for optional parameters to check for incompatibility. The matching of the production processes (13, 18) uses a cross-product of the process (13) of the machine (11) with the process (18) of the controller (16) to check for incompatibility. The skill checking guides manual confirmation of compatibility, reducing downtime and reducing engineering or programming time. The machine (11) is more likely to operate correctly with the controller (16) due to the automated skill matching.

Abstract: Provided is a control unit of an automation system for determining the execution time of a user program, including a first time-determining unit, wherein the first time-determining unit determines the execution time for the control unit and/or another control unit in a first operating mode, wherein at least one boundary condition is taken into account in the determination of the execution time, and wherein statistical data about the running time of commands of the user program of the control unit or of a linear representation of the real time of the control unit are taken into account in the determination of the execution time. A corresponding method and to a computer program product is also provided.

Abstract: A system for checking security vulnerabilities for automation system design includes a security database, an Internet crawler application, and security service application. The security database stores descriptions of known software vulnerabilities related to an automation system. The Internet crawler application is configured to systematically browse the Internet to find new software vulnerabilities related to the automation system and index the new software vulnerability into the security database. The security service application retrieves, from the security database, potential software vulnerabilities related to a hardware/software configuration of the automation system. The security service application also identifies policies related to the potential vulnerabilities. Each policy describes a potential vulnerability and action to be performed in response to detection of the potential vulnerabilities.

Abstract: Graph databases directly relate data items in the data store with edges that represent relationships between the data items. The relationships link the data items together and often permit complex sets of related data items to be retrieved with a single operation. New query systems and techniques for graph databases provide prediction of non-explicit connections between data items that further enhances the efficiency and utility of graph databases, as well as extend their industrial applications.

Abstract: A method and system is disclosed for modeling product data related to lifecycle of a product, including an application program interface configured to connect with one or more data sources of different types via one or more computer based product management tools. A digital twin graph is constructed to include a plurality of graphical models of product data with related nodes inter-linked by edges via a linking algorithm. Models of the digital twin graph include an ontological model having nodes of ontological information related to the product data, an instance model having instance nodes related to the product data, and a probabilistic model having conditional probability distribution nodes from which causal and predictive reasoning information is generated.

Abstract: A system for configuration and control of a device includes a device processor includes at least two processing cores. Device firmware executes on a first processing core and a device-based engineering server executes on a second processing core. A web server running on the device-based engineering server includes a webApp providing web-based functionality for configuration and control of the device. The webApp is downloaded from the web server to the user's browser. A hypervisor manages communication between the device firmware and the device-based engineering server. A communication path established in the hypervisor for communicating a configuration or control instruction to the device firmware. The configuration or control instruction is initiated by a user via a web browser. The users web browser may run on a computer workstation that does not otherwise meet processing requirements of an engineering system for the device.

Abstract: A computer-implemented method for quantifying assurance of a software system includes collecting artifacts of the software system generated during phases of the software system's engineering lifecycle. A graph of graphs (GoG) is constructed encoding the artifacts. Each subgraph in the GoG is a semantic network corresponding to a distinct assurance requirement. The GoG is used to calculate a component assurance value for each software component for each distinct assurance requirement. A system assurance value is calculated based on the component assurance values. An architectural view of the software system is presented showing at least one of the component assurance values and the system assurance values.

Abstract: A device for simulating a controlled machine or installation includes a process simulation apparatus designed to perform simulation steps that simulate a physical process of the machine or installation, and a controller simulation apparatus designed to perform simulation steps that simulate a controller of the machine or installation. The process simulation apparatus and the controller simulation apparatus exchange particular output values so as to simulate the controlled machine or installation in the respective simulation steps. The controller simulation apparatus transmits an item of information to the process simulation apparatus, which item of information describes a result time for an end of a simulation step performed by the controller simulation apparatus, while the process simulation apparatus is designed to adjust a duration of at least one of the simulation steps depending on the result time.

Abstract: Provided is a control unit of an automation system for determining the execution time of a user program, including a first time-determining unit, wherein the first time-determining unit determines the execution time for the control unit and/or another control unit in a first operating mode, wherein at least one boundary condition is taken into account in the determination of the execution time, and wherein statistical data about the running time of commands of the user program of the control unit or of a linear representation of the real time of the control unit are taken into account in the determination of the execution time. A corresponding method and to a computer program product is also provided.