A Device and Resource Execution Model for IEC 61499 Control Devices

The standard IEC 61499 claims to be a standard for a distributed control environment consisting of a set of heterogeneous control devices from different vendors. Previous research work on the implementation of IEC 61499 pointed out so-called loopholes in the definitions of the standard resulting in different execution behaviour on different control devices. One of the key loopholes that have been identified is the lack of a definition for execution models of the device and the resource. With this work a step towards a more rigid definition of the execution semantics for IEC 61499 through the derivation of execution models for resources and devices.