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 user-friendly model checking of IEC 61499 systems with counterexample explanation
Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia; tnepartment of Electrical Engineering and Automation, Aalto University, Espoo, Finland.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia; tnepartment of Electrical Engineering and Automation, Aalto University, Espoo, Finland.ORCID iD: 0000-0002-9315-9920
2021 (English)In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2021, p. 01-04Conference paper, Published paper (Refereed)
Abstract [en]

Distributed automation systems design is getting increasingly popular as the systems become more complex and modular. The IEC 61499 automation architecture is seen as the main enabler of component software design fur distributed automation systems. It requires novel approaches to integrated development environments (IDE) supporting the engineering of such component software systems. One important part of automation systems engineering is their verification and validation. The efficacy of verification is largely dependent on how seamlessly this process is integrated with the traditional development tools, such as editors, compilers and debnggers. This work presents a start of such a development, that automatizes the model cbeeking process for IEC 61499 systems and provides a visual explanation of its results in the graphical development environment FBME.

Place, publisher, year, edition, pages
IEEE, 2021. p. 01-04
Keywords [en]
IEC 61499, user-friendly model cbeeking, counterexample explanation, distributed systems
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-90250DOI: 10.1109/ETFA45728.2021.9613491ISI: 000766992600150Scopus ID: 2-s2.0-85122928260OAI: oai:DiVA.org:ltu-90250DiVA, id: diva2:1653626
Conference
26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2021), Västerås, Sweden, September 7-10, 2021
Funder
EU, Horizon 2020, 871743
Note

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

Funder: Government of the Russian Federation (08-08)

Available from: 2022-04-22 Created: 2022-04-22 Last updated: 2022-04-25Bibliographically 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: 21 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