Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing
Loading...
Access rights
openAccess
acceptedVersion
URL
Journal Title
Journal ISSN
Volume Title
A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Date
Major/Subject
Mcode
Degree programme
Language
en
Pages
6
Series
Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021
Abstract
Function block diagrams (FBD) are widely used for implementation of programmable logic control (PLC) in safety critical domains and in the conventional factory automation. With the growing software intensity of such systems, the size and complexity of the PLC FBD applications is growing. The implicit execution order of PLC FBD can be ambiguous for developers, causing misinterpretation of the control programs behaviour. This work aims at reducing this ambiguity, investigating re-implementation of FBDs in a new programming language of IEC 61499, which has explicit mechanism for defining the execution order. A method is proposed for generation of IEC 61499 FBDs from the PLC FBDs. We also present a tool that implements our approach and which is complemented with an automated tester to prove the equivalence in the behaviour of the source and generated systems.Description
Funding Information: ACKNOWLEDGMENTS This work was supported, in part, by the Finnish Research Programme on Nuclear Power Plant Safety 2018-2022 (SAFIR 2022, by the HORIZON2020 project 1-SWARM co-Funded by the European Commission (grant agreement: 871743) and by the Government of the Russian Federation under Grant 08-08. Publisher Copyright: © 2021 IEEE.
Keywords
Other note
Citation
George, A, Ovsiannikova, P & Vyatkin, V 2021, Towards unambiguous FBD : IEC 61499 modelling, automatic generation and equivalence testing. in Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021. IEEE, International Symposium on Industrial Electronics, Kyoto, Japan, 20/06/2021. https://doi.org/10.1109/ISIE45552.2021.9576175