@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",
}