Towards unambiguous FBD

Loading...
Thumbnail Image
Access rights
openAccess
Journal Title
Journal ISSN
Volume Title
Conference article in proceedings
Date
2021-11-13
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