Formal model of IEC 61499 execution trace in FBME IDE

Tatiana Liakh; Radimir Sorokin; Daniil Akifev; Sandeep Patil; Valeriy Vyatkin

doi:10.1109/INDIN51773.2022.9976176

Formal model of IEC 61499 execution trace in FBME IDE

Tatiana Liakh
, Radimir Sorokin
, Daniil Akifev
, Sandeep Patil
, Valeriy Vyatkin

Luleå University of Technology

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

15 Sitaatiot (Scopus)

Abstrakti

With increase in use formal verification tools and methods in distributed systems, it is becoming more challenging to analyse the execution traces generated by formal verification tools. This paper presents a method for unification of execution traces of industrial automation systems, based on IEC 61499 standard. Execution trace of a system is a sequence of events, where each event represents a change in the state of the system. Execution traces allow developers to explore safely behavior of control software. Execution traces can be obtained several ways, including monitoring of a real system (or its simulator), or as a counterexample build by model checker. In the paper we explore unification of execution traces for debug task in FBME - modular IDE for IEC 61499 applications. We present the formal model of the execution trace representation and show the working on a simple example.

Alkuperäiskieli	Englanti
Otsikko	2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022
Kustantaja	IEEE
Sivut	588-593
Sivumäärä	6
ISBN (elektroninen)	978-1-7281-7568-3
DOI - pysyväislinkit	https://doi.org/10.1109/INDIN51773.2022.9976176
Tila	Julkaistu - 2022
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	IEEE International Conference on Industrial Informatics - Perth, Austraalia Kesto: 25 heinäk. 2022 → 28 heinäk. 2022

Julkaisusarja

Nimi	IEEE International Conference on Industrial Informatics
Vuosikerta	2022-July
ISSN (painettu)	1935-4576

Conference

Conference	IEEE International Conference on Industrial Informatics
Lyhennettä	INDIN
Maa/Alue	Austraalia
Kaupunki	Perth
Ajanjakso	25/07/2022 → 28/07/2022

Rahoitus

This work was sponsored, in part, by the H2020 project 1-SWARM co-funded by the European Commission (grant agreement: 871743).

YK:n kestävän kehityksen tavoitteet

Tämä tuotos edistää seuraavia kestävän kehityksen tavoitteita:

SDG 9 – Teollisuus, innovaatiot ja infrastruktuuri

Pääsy asiakirjaan

10.1109/INDIN51773.2022.9976176

https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Altu%3Adiva-95121

Muut tiedostot ja linkit

Linkki julkaisuun Scopuksessa

Siteeraa tätä

@inproceedings{f6dbdfddd05143308d8d34b5e38c6c79,

title = "Formal model of IEC 61499 execution trace in FBME IDE",

abstract = "With increase in use formal verification tools and methods in distributed systems, it is becoming more challenging to analyse the execution traces generated by formal verification tools. This paper presents a method for unification of execution traces of industrial automation systems, based on IEC 61499 standard. Execution trace of a system is a sequence of events, where each event represents a change in the state of the system. Execution traces allow developers to explore safely behavior of control software. Execution traces can be obtained several ways, including monitoring of a real system (or its simulator), or as a counterexample build by model checker. In the paper we explore unification of execution traces for debug task in FBME - modular IDE for IEC 61499 applications. We present the formal model of the execution trace representation and show the working on a simple example.",

keywords = "dynamic verification, IDE, IEC 61499, industrial automation, model checking, testing",

author = "Tatiana Liakh and Radimir Sorokin and Daniil Akifev and Sandeep Patil and Valeriy Vyatkin",

note = "Funding Information: This work was sponsored, in part, by the H2020 project 1-SWARM co-funded by the European Commission (grant agreement: 871743). Publisher Copyright: {\textcopyright} 2022 IEEE. | openaire: EC/H2020/871743/EU//1-SWARM; IEEE International Conference on Industrial Informatics, INDIN ; Conference date: 25-07-2022 Through 28-07-2022",

year = "2022",

doi = "10.1109/INDIN51773.2022.9976176",

language = "English",

series = "IEEE International Conference on Industrial Informatics",

publisher = "IEEE",

pages = "588--593",

booktitle = "2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022",

address = "United States",

}

Liakh, T, Sorokin, R, Akifev, D, Patil, S & Vyatkin, V 2022, Formal model of IEC 61499 execution trace in FBME IDE. julkaisussa 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022. IEEE International Conference on Industrial Informatics, Vuosikerta 2022-July, IEEE, Sivut 588-593, IEEE International Conference on Industrial Informatics, Perth, Austraalia, 25/07/2022. https://doi.org/10.1109/INDIN51773.2022.9976176

Formal model of IEC 61499 execution trace in FBME IDE. / Liakh, Tatiana; Sorokin, Radimir; Akifev, Daniil et al.
2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022. IEEE, 2022. s. 588-593 (IEEE International Conference on Industrial Informatics; Vuosikerta 2022-July).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Formal model of IEC 61499 execution trace in FBME IDE

AU - Liakh, Tatiana

AU - Sorokin, Radimir

AU - Akifev, Daniil

AU - Patil, Sandeep

AU - Vyatkin, Valeriy

N1 - Funding Information: This work was sponsored, in part, by the H2020 project 1-SWARM co-funded by the European Commission (grant agreement: 871743). Publisher Copyright: © 2022 IEEE. | openaire: EC/H2020/871743/EU//1-SWARM

PY - 2022

Y1 - 2022

N2 - With increase in use formal verification tools and methods in distributed systems, it is becoming more challenging to analyse the execution traces generated by formal verification tools. This paper presents a method for unification of execution traces of industrial automation systems, based on IEC 61499 standard. Execution trace of a system is a sequence of events, where each event represents a change in the state of the system. Execution traces allow developers to explore safely behavior of control software. Execution traces can be obtained several ways, including monitoring of a real system (or its simulator), or as a counterexample build by model checker. In the paper we explore unification of execution traces for debug task in FBME - modular IDE for IEC 61499 applications. We present the formal model of the execution trace representation and show the working on a simple example.

AB - With increase in use formal verification tools and methods in distributed systems, it is becoming more challenging to analyse the execution traces generated by formal verification tools. This paper presents a method for unification of execution traces of industrial automation systems, based on IEC 61499 standard. Execution trace of a system is a sequence of events, where each event represents a change in the state of the system. Execution traces allow developers to explore safely behavior of control software. Execution traces can be obtained several ways, including monitoring of a real system (or its simulator), or as a counterexample build by model checker. In the paper we explore unification of execution traces for debug task in FBME - modular IDE for IEC 61499 applications. We present the formal model of the execution trace representation and show the working on a simple example.

KW - dynamic verification

KW - IDE

KW - IEC 61499

KW - industrial automation

KW - model checking

KW - testing

UR - https://www.scopus.com/pages/publications/85145772358

U2 - 10.1109/INDIN51773.2022.9976176

DO - 10.1109/INDIN51773.2022.9976176

M3 - Conference article in proceedings

AN - SCOPUS:85145772358

T3 - IEEE International Conference on Industrial Informatics

SP - 588

EP - 593

BT - 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022

PB - IEEE

T2 - IEEE International Conference on Industrial Informatics

Y2 - 25 July 2022 through 28 July 2022

ER -

Formal model of IEC 61499 execution trace in FBME IDE

Abstrakti

Julkaisusarja

Conference

Rahoitus

YK:n kestävän kehityksen tavoitteet

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä