A system for preventing unauthorized access to a network can include a secure container having an access portal for controlling access to contents of the secure container and a security checkpoint configured to determine a state of the access portal and to receive an authorization code for opening the access portal. The security checkpoint can also include a logical lock module that switches to a breach mode of operation in response to a signal from the security checkpoint indicating that the access portal has been opened without receipt of the authorization code within a predetermined amount of time. The system can also include a network switch disposed within the secure container. The network switch is configured to communicate on a network and disable outgoing network communications to the network in response to a breach signal indicating that the logical lock module has switched to the breach mode.

An industrial automation system includes a collector component communicatively coupled to a first network and configured to receive one or more event logs via a first communication protocol. The industrial automation system also includes a first industrial automation component communicatively coupled to the first network and the collector component. The first industrial automation component is configured to communicate via the first communication protocol. Additionally, the industrial automation system includes a second industrial automation component configured to communicate via a second communication protocol, generate a first event log representative of a property associated with the second industrial automation component, and send the first event log to the first industrial automation component. The first industrial automation component is configured to convert the first event log into second event log interpretable by the collector component and send the second event log to the collector component via the first network.

A system and method for administration of drive components. The system comprises at least one drive component having a drive computing unit. Drive software for the drive component is stored on and executable by the drive computing unit. The system has a computing unit in communication with the drive computing unit. The computing unit detects an actual operating state of the drive component and the machine and system context to select at least one service operating state for the drive components according to the detected actual operating state. The system comprises a distributed computing system in communication with the drive computing unit which is configured to trigger administration of the drive components according to the selected service operating state of the drive components. A process to be maintained can be defined which ensures that the operation cannot be negatively influenced and people or machinery cannot be endangered during the administration.

A distributed control system includes: a plurality of control devices; a process IO master device shared by the control devices and including an output authority table and an output data memory having areas for storing data outputted from the control devices; and a plurality of process IO modules connected to the process IO master device and each connected to a sensor/actuator, wherein the output authority table provides an authority that determines the control device of which output data is to be adopted, for each of addresses corresponding to the actuators.

A SCADA web HMI system generates an integrated component by grouping components including a first component and provides a first animation effect to the integrated component. The first animation effect is applied to the integrated component as a whole but not individually applied to components constituting the integrated component. The system provides a second animation effect to the first component. The second animation effect is applied to the first component but not applied to the components constituting the integrated component except for the first component. The system associates the first animation effect with the value of a first PLC signal and changes the appearance of the integrated component according to the value of the first PLC signal. The system associates the second animation effect with the value of a second PLC signal and changes the appearance of the first component according to the value of the second PLC signal.

A control device includes: a program execution module that executes a program created depending on a control target; a detection module that determines whether a security event occurs in access from outside to the control device; and a notification module that provides a notification, upon detection of occurrence of the security event, to a notification destination corresponding to the occurred security event. The security event includes an event that does not conform to a predetermined rule.

A self-testing automation system includes a decentralized distributed ledger-type database comprising a plurality of subscriber nodes, wherein the subscriber nodes exchange data with one another per transaction, and the database stores the transactions in data blocks which are linked together; a regulating mechanism which is implemented into each of the subscriber nodes, said regulating mechanism comprising information on the number and identity of all of the subscriber nodes as well as rules relating to actions, properties, and states of each of the subscriber nodes; and a plurality of automation components which are subscriber nodes of the decentralized database. Each of the subscriber nodes is designed to test or validate transactions between the subscriber nodes at all times using the regulating mechanism, and each of the subscriber nodes is designed to carry out at least one measure if a violation of the regulating mechanism is detected.

A support device includes an interface configured to establish connection to a controller, the controller being configured to execute a user program including a function block, a storage unit configured to store a monitoring condition in which a data type of the function block and a name of a monitoring target variable are defined with the data type and the name associated with each other, and a search module configured to search for, among instances of function blocks created for the controller to execute the user program, an instance having a data type matching a data type defined in the monitoring condition and having a value of a monitoring target variable associated with the matching data type indicating a monitoring target event.

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.

A system includes a programmable logic control (PLC) module, an input/output (IO) network bus coupled to the PLC module and provided at facets of a mainframe. A first process chamber attached to a first facet of the facets. A chamber interface IO sub-module is attached to the first facet and coupled to the IO network bus and to a process chamber IO controller of the first process chamber. The chamber interface IO sub-module is to: convert interlock relay signals, received via dry contact exchange with the process chamber IO controller, to digital signals; combine the digital signals into network packets adapted for communication using a protocol of the IO network bus; and transmit the network packets to the PLC module over the IO network bus.