Systems and methods for management of remotely programmable, programmable logic devices (remote PLDs) are disclosed. An example system includes a remote PLD including a plurality of programmable logic blocks (PLBs) arranged in a PLD fabric and a programmable input/output (I/O) coupled to the PLD fabric. The remote PLD is configured to form a communications link between the remote PLD and a remote PLD management system node over a communications network via a communication module of the remote PLD or a host device configured to interface with the remote PLD over the programmable I/O. The remote PLD is configured to receive a protected configuration image from the remote PLD management system node over the communications link and programs the PLD fabric according to the protected configuration image.

A programmable logic controller for an industrial control system is disclosed which includes an application logic execution layer and at least one of an update checking layer and an output checking layer. The application logic layer is configured for processing sensor input data to generate an output parameter for an actuator. The output checking layer is configured for outputting only an allowed output parameter to the actuator. The update checking layer is configured for verifying whether application logic update defined by application logic update data corresponds to an application logic update in a list of allowed logic updates, and the application logic is updated only if the update data is allowed application logic update data.

A method of executing apps on a production device in an automation environment includes storing a plurality of apps in a runtime environment of the production device. A metadata file is stored for each respective app included in the plurality of apps. The metadata file comprises an indication of a network interface that may be used for communication with the respective app by other apps, and an indication of one or more interface dependencies to other network interfaces corresponding to other apps. Prior to executing a particular app on the production device, an operation is performed to verify that each interface dependency associated with the particular app can be fulfilled by the plurality of apps.

In some examples, a management controller includes a first interface through which the management controller is to provide a support service for any of a plurality of programmable logic devices in an electronic device. The management controller includes a controller processor to receive a code image to perform a programmable logic device update, where the code image comprises an identifier of a programmable logic device. In response to determining that the identifier corresponds to a given programmable logic device that is present in the electronic device, the management processor sets a multiplexer select value to control a multiplexer to connect the first interface of the management controller to the given programmable logic device. The management processor provides the code image to the given programmable logic device through the first interface and the multiplexer to update the given programmable logic device.

Disclosed herein, in various embodiments, are systems and methods for creating, implementing, communicating, and/or analyzing control logic governing operation of a system under control, where the control logic is defined in attributed data, which specifies control operators along with their input and output variables for the various control nodes. In example embodiments, an attributed-data generator converts a control-logic design specification into attributed data based in part on control-operator mappings provided by an attributed-data dictionary.

Disclosed herein, in various embodiments, are systems and methods for creating, implementing, communicating, and/or analyzing control logic governing operation of a system under control, where the control logic is defined in attributed data, which specifies control operators along with their input and output variables for the various control nodes. In example embodiments, an attributed-data generator converts a control-logic design specification into attributed data based in part on control-operator mappings provided by an attributed-data dictionary.

Systems and methods for management of remotely programmable, programmable logic devices (remote PLDs) are disclosed. An example system includes a remote PLD including a plurality of programmable logic blocks (PLBs) arranged in a PLD fabric and a programmable input/output (I/O) coupled to the PLD fabric. The remote PLD is configured to form a communications link between the remote PLD and a remote PLD management system node over a communications network via a communication module of the remote PLD or a host device configured to interface with the remote PLD over the programmable I/O. The remote PLD is configured to receive a protected configuration image from the remote PLD management system node over the communications link and programs the PLD fabric according to the protected configuration image.

In some examples, a management controller includes a first interface through which the management controller is to provide a support service for any of a plurality of programmable logic devices in an electronic device. The management controller includes a controller processor to receive a code image to perform a programmable logic device update, where the code image comprises an identifier of a programmable logic device. In response to determining that the identifier corresponds to a given programmable logic device that is present in the electronic device, the management processor sets a multiplexer select value to control a multiplexer to connect the first interface of the management controller to the given programmable logic device. The management processor provides the code image to the given programmable logic device through the first interface and the multiplexer to update the given programmable logic device.

In some examples, a management controller includes a first interface through which the management controller is to provide a support service for any of a plurality of programmable logic devices in an electronic device. The management controller includes a controller processor to receive a code image to perform a programmable logic device update, where the code image comprises an identifier of a programmable logic device. In response to determining that the identifier corresponds to a given programmable logic device that is present in the electronic device, the management processor sets a multiplexer select value to control a multiplexer to connect the first interface of the management controller to the given programmable logic device. The management processor provides the code image to the given programmable logic device through the first interface and the multiplexer to update the given programmable logic device.