Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing

Anand George; Polina Ovsiannikova; Valeriy Vyatkin

doi:10.1109/ISIE45552.2021.9576175

Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing

Anand George, Polina Ovsiannikova, Valeriy Vyatkin

Luleå University of Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

74 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021
Publisher	IEEE
Number of pages	6
ISBN (Electronic)	9781728190235
DOIs	https://doi.org/10.1109/ISIE45552.2021.9576175
Publication status	Published - 13 Nov 2021
MoE publication type	A4 Conference publication
Event	International Symposium on Industrial Electronics - Virtual, online, Kyoto, Japan Duration: 20 Jun 2021 → 23 Jun 2021 Conference number: 30 https://www.isie2021.org/

Conference

Conference	International Symposium on Industrial Electronics
Abbreviated title	ISIE
Country/Territory	Japan
City	Kyoto
Period	20/06/2021 → 23/06/2021
Internet address	https://www.isie2021.org/

Access to Document

10.1109/ISIE45552.2021.9576175

ELEC_George_etal_Towards_unambiguous_FBD_ISIE_2021Accepted author manuscript, 2.09 MB

Cite this

@inproceedings{2665861ecdab467995ec034081646a0c,

title = "Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing",

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.",

author = "Anand George and Polina Ovsiannikova and Valeriy Vyatkin",

note = "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: {\textcopyright} 2021 IEEE.; International Symposium on Industrial Electronics, ISIE ; Conference date: 20-06-2021 Through 23-06-2021",

year = "2021",

month = nov,

day = "13",

doi = "10.1109/ISIE45552.2021.9576175",

language = "English",

booktitle = "Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021",

publisher = "IEEE",

address = "United States",

url = "https://www.isie2021.org/",

}

Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. / George, Anand; Ovsiannikova, Polina ; Vyatkin, Valeriy.
Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021. IEEE, 2021.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Towards unambiguous FBD

T2 - International Symposium on Industrial Electronics

AU - George, Anand

AU - Ovsiannikova, Polina

AU - Vyatkin, Valeriy

N1 - Conference code: 30

PY - 2021/11/13

Y1 - 2021/11/13

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

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

UR - http://www.scopus.com/inward/record.url?scp=85118764281&partnerID=8YFLogxK

U2 - 10.1109/ISIE45552.2021.9576175

DO - 10.1109/ISIE45552.2021.9576175

M3 - Conference article in proceedings

AN - SCOPUS:85118764281

BT - Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021

PB - IEEE

Y2 - 20 June 2021 through 23 June 2021

ER -

Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this