EnglishSvenskaNorsk
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
Cyber-physical automation systems modelling with IEC 61499 for their formal verification
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0003-3371-6075
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0003-2936-4185
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: Proceedings: 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), IEEE, 2021Conference paper, Published paper (Refereed)
Abstract [en]

This paper introduces a problem-oriented notation within the IEC 61499 syntax to be used for creating formal closed-loop models of cyber-physical automation systems. The proposed notation enables creation of a comprehensive tool-chain that can combine design, simulation, formal verification and distributed deployment of automation software. The proposed notation allows for definition of non-deterministic transitions in ECC of basic function blocks of IEC 61499.

The tool chain includes an IEC 61499 compliant engineering environment, fb2smv converter of functions blocks to SMV code, the NuSMV model-checker and utilities for interpreting counterexamples.
Place, publisher, year, edition, pages
IEEE, 2021.
Keywords [en]
Formal verification, simulation, IEC 61499, cyber-physical automation systems
National Category
Embedded Systems
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-87494DOI: 10.1109/INDIN45523.2021.9557416ISI: 000909399300033Scopus ID: 2-s2.0-85125590567OAI: oai:DiVA.org:ltu-87494DiVA, id: diva2:1602952
Conference
19th IEEE International Conference on Industrial Informatics (INDIN 2021), Palma de Mallorca, July 21-23, 2021
Funder
European Commission, 871743
Note

ISBN för värdpublikation: 978-1-7281-4395-8

Available from: 2021-10-14 Created: 2021-10-14 Last updated: 2023-05-08Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Xavier, MidhunPatil, SandeepVyatkin, Valeriy

Search in DiVA

By author/editor
Xavier, MidhunPatil, SandeepVyatkin, Valeriy
By organisation
Computer Science
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 61 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
v. 2.44.0
|
Researcher: Register
|
Student: Register
|
Contact
|
WCAG