An Automatic Requirement Transformation Approach for Code Generation in Industrial CyberPhysical Systems Requirement Engineering (RE) is a crucial step prior to building their control program for industries. Traditional requirement engineering is timeconsuming and errorprone that an optimized way is necessary to build an accurate model within fractions of a second. In this paper, an automatic software requirement modeling method is proposed to achieve fast and accurate requirement modeling. A new requirement model is designed to prove the concept. The newly designed model is designed based on the flexible objectoriented structure with process flow and constraints. Furthermore, to be compatible with the UML model format, the transformation rules and algorithm are provided. The requirement input system uses a general defined model, which is also the same format as the newly designed model, to deal with information from any input form like drawings, semiformal text and uploaded UML model files. Requirement model is further transformed into control code as illustrated in this paper.

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.