Described are platforms, systems, and methods to automatically discover, extract, map, merge, and enrich data found in on-premises in automated industrial and commercial environments and cloud systems for purposes of providing developers access to normalized, merged, and enriched data through an API. The platforms, systems, and methods identify a plurality of data sources associated with an automation environment; retrieve data from at least one of the identified data sources; apply a first algorithm to map the retrieved data to a predetermined ontology; merge the mapped data into a data store comprising timeseries of the mapped data; apply a second algorithm to identify patterns in the merged data and enriching the data based on one or more identified patterns; and provide one or more APIs or one or more real-time streams to provide access to the enriched data.

The present invention relates to a method for automatic translation of ladder logic to a SMT-based model checker in a network comprising defining (10) the topology of the network as an enriched network topology based on packets exchanged in the network, extracting (20) a program from the packets relating to a PLC in the network and identifying inputs, outputs, variables and a ladder diagram of the PLC, translating (30) the inputs, outputs, variables and ladder diagram into a predefined formal model, wherein the predefined formal model is a circuit-like SMT-based model checker, and wherein the translating (30) comprises translating the set of data types of the program according to a predefined model set of data types of the circuit-like SMT-based model checker, translating the inputs of the PLC as model inputs of the circuit-like SMT-based model checker of the same type, translating the outputs of the PLC as model output latches of the circuit-like SMT-based model checker of the same type, translating the variables of the PLC as model variable latches of the circuit-like SMT-based model checker of the same type, translating comparators and arithmetic operators of the ladder diagram into a plurality of predefined model functions of the circuit-like SMT-based model checker, translating contacts and coils of the ladder diagram according to predefined model recursive procedures relating to the predefined model set of data types, the model inputs, the model output latches, the model variable latches and the plurality of predefined model functions, wherein the contacts are switches that can block or allow the flow of the current in a connection and each of the contacts is controlled by a Boolean input or variable, and wherein the coils are assignments to Boolean variables.

Disclosed are a method and apparatus for controlling and managing an industry process using an industry internet operating system. In the method, interfaces with same type of function from different manufacturers are integrated in a function interface library created over a development platform to assist a developer in programming PLC rapidly and more efficiently to address problems in the prior art of lower reuse rate of codes, degrading efficiency of programming, because the PLC has to be programmed respectively for terminals from different manufacturers. In the invention, a framework of a software defined industry process, and a unified set of industry object models are created so that various integrated heterogeneous field devices, and an industry production process to be controlled and managed can communicate and interoperate with each other in an industry internet architecture to thereby accommodate highly real-time and efficient production in a discrete industry and a process industry.

Described are platforms, systems, and methods to combine counts of activity correlations over time with a link salience method to identify collections of digital devices in an automated environment to identify sub-systems comprised of portions of the overall environment. The platforms, systems, and methods detect activity in a plurality of data sources associated with an automation environment; determine correlation in the detected activity between two or more of the data sources; store records of determined correlation in the detected activity over time in a data storage system; apply a link salience algorithm to the stored records of determined correlation in the detected activity to determine a salience property; and identify one or more subsystems in the automation environment based on the salience property.

An approach capable easily setting required connection settings even when multiple devices are connected to a network is provided. A support apparatus includes: a setting reception part, which receives a connection setting that is the setting of the connection established between the control apparatus and each remote device; and a transmission part, which transmit the connection setting received by the setting reception part to the control apparatus and the remote device which are involved in the connection setting. The setting reception part includes a part which displays the remote devices capable of establishing the connection from the control apparatus by a list and receives selection to the remote devices displayed by a list, and a part which temporarily allocates the input-output data predetermined for a remote device that is selected to the selected remote device.

An approach capable easily setting required connection settings even when multiple devices are connected to a network is provided. A support apparatus includes: a first setting reception part, which receives a setting of connection; a second setting reception part, which receives a setting of a variable name used for reference in a program executed in a control apparatus for each datum exchanged in the connection that is set; a generation part, which determines a tag name associated with each datum based on the variable name that is set for each datum, and generates a connection setting that contains each tag name that is determined; and a transmission part, which transmits the connection setting that is generated to the control apparatus and the device which are involved in the connection setting.

A method may include determining a termination time for a virtualization services manager and various termination times for various host devices operating in a drilling management network. The virtualization services manager may generate a virtual machine or a software container that implements a virtualization service on a network layer that controls a drilling operation. The method may further include transmitting, by a shutdown manager, a time delayed termination command to the virtualization services manager and various time delayed termination commands to the host devices. The method may further include terminating operations at the virtualization services manager based on the termination time and in response to the shutdown manager terminating operations. The method may further include terminating operations at the host devices based on the termination times and in response to the virtualization services manager terminating operations.

Methods and systems for creating and running and industrial control system simulation are described herein. The simulation may include animation of a complex machine linked with the industrial control device controlling the complex machine. The simulation may also include links to the physical I/O and other modules of the industrial controller to enhance the functionality of the simulation. This may increase the likelihood that the timing and functionality of the simulation may be more like real-time operation of the industrial control system. This may enhance the system design and save time of system design and start-up and troubleshooting of the operational industrial control system.

A system design supporting device includes a file specification receiving unit, a file acquiring unit, and a parameter setting unit. The file specification receiving unit receives specification of a unique device information definition file from a plurality of unique device information definition files stored in the server. The file acquiring unit acquires, from the server, the unique device information definition file whose specification is received by the file specification receiving unit. The parameter setting unit sets a parameter for controlling operation of a unit, on the basis of the unique device information definition file.

Disclosed are a method and apparatus for controlling and managing an industry process using an industry internet operating system. In the method, interfaces with same type of function from different manufacturers are integrated in a function interface library created over a development platform to assist a developer in programming PLC rapidly and more efficiently to address problems in the prior art of lower reuse rate of codes, degrading efficiency of programming, because the PLC has to be programmed respectively for terminals from different manufacturers. In the invention, a framework of a software defined industry process, and a unified set of industry object models are created so that various integrated heterogeneous field devices, and an industry production process to be controlled and managed can communicate and interoperate with each other in an industry internet architecture to thereby accommodate highly real-time and efficient production in a discrete industry and a process industry.