Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects
2019 (English)In: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), IEEE, 2019, p. 466-469Conference paper, Published paper (Other academic)
Abstract [en]
Efficient application of model-based 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 state-transition formal models, such as finite state and pushdown automata, as well as extended Petri nets (A-nets) by means of IEC 61499 function blocks. These implementation approaches can be used in the design of industrial cyber-physical 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.
Place, publisher, year, edition, pages
IEEE, 2019. p. 466-469
Series
IEEE International Conference on Industrial Informatics (INDIN), ISSN 1935-4576, E-ISSN 2378-363X
Keywords [en]
non-deterministic finite automata, pushdown automata, extended Petri nets, A-nets, conformance checking, selection system, LEGO, function block, IEC 61499
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-78678DOI: 10.1109/INDIN41052.2019.8972052ISI: 000529510400068Scopus ID: 2-s2.0-85079030653OAI: oai:DiVA.org:ltu-78678DiVA, id: diva2:1426572
Conference
2019 IEEE 17th International Conference on Industrial Informatics (INDIN), 22-25 July, 2019, Helsinki, Finland
Note
ISBN för värdpublikation: 978-1-7281-2927-3, 978-1-7281-2928-0
2020-04-272020-04-272020-06-12Bibliographically approved