FBBeam: An Erlangbased IEC 61499 Implementation The IEC 61499 is a modeling language for distributed control systems. Despite numerous research results existing on this topic, industry acceptance is lacking. This paper aims to investigate the benefits of reusing an existing soft realtime runtime system for the implementation of the IEC 61499. For this purpose, FBBeam, a compiler that automatically converts IEC 61499 models to Erlang source code, was implemented. Possible execution semantics are presented and compared to the Erlang execution model. An initial case study examines the scalability of a multitasking runtime environment. The results indicate that Erlang is able to utilize multiple CPU cores efficiently and can distribute the load dynamically. FBBeam represents an opportunity to reutilize an existing runtime environment for research on dynamic updating, distribution, monitoring, maintenance, and faulttolerance for Industry 4.0 or Cyber Physical Production Systems.

Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects Efficient application of modelbased software design methodologies in industrial automation requires methods and tools for automatic code generation. Formal models can be especially useful to avoid ambiguity, to verify and evaluate performance, which ultimately will improve the quality and reliability of the project and lead to lower design costs. This paper proposes methods for implementing statetransition formal models, such as finite state and pushdown automata, as well as extended Petri nets (Anets) by means of IEC 61499 function blocks. These implementation approaches can be used in the design of industrial cyberphysical systems for monitoring, diagnostics, conformance checking, detection and selection of specified sequences of events and parameterized objects from an input stream. One of the proposed applications is illustrated using an example of an assembly process with LEGO blocks.