Demonstration of a conformity assessment data model The purpose of this research was to test the applicability of our conformity assessment data model using a simple industrial conformity example and an industrial software tool. As a demonstration case, we stated a claim relating to diversity of a nuclear fuel cooling pool control system. With the Siemensxe2x80x99 Polarionxe2x84xa2 Application Lifecycle Management tool, we traced the claim to the diversity requirement, to the system model and to the dependency analysis result, which was used as the evidence for the claim. We managed to implement all the artefacts to be traced according to our data model into the industrial tool. We found out that it is rather straightforward to implement our conformity assessment data model in a software tool offering databaseoriented repository and traceability support. The data model is thus suggested for industrial use to make the conformity assessment process more effective by providing traceability information, structured input and storage of compliance data and by facilitating automatic document generation.

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.