Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing
Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland.
Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland.ORCID iD: 0000-0002-9315-9920
2021 (English)In: 2021 IEEE 30th International Symposium on Industrial Electronics (ISIE), IEEE, 2021Conference paper, Published paper (Refereed)
Abstract [en]

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 reimplementation 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.

Place, publisher, year, edition, pages
IEEE, 2021.
Series
Proceedings of the IEEE International Symposium on Industrial Electronics, E-ISSN 2163-5145
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-90562DOI: 10.1109/ISIE45552.2021.9576175ISI: 000779299900009Scopus ID: 2-s2.0-85118764281OAI: oai:DiVA.org:ltu-90562DiVA, id: diva2:1656938
Conference
30th IEEE International Symposium on Industrial Electronics (ISIE), Kyoto, Japan, [ONLINE], June 20-23, 2021
Funder
EU, Horizon 2020, 871743
Note

ISBN för värdpublikation: 978-1-7281-9023-5;

Funder: Finnish Research Programme on Nuclear Power Plant Safety 2018-2022 (SAFIR2022); Government of the Russian Federation (08-08)

Available from: 2022-05-09 Created: 2022-05-09 Last updated: 2022-05-09Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 15 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf