Cyber-physical automation systems modelling with IEC 61499 for their formal verification

Midhun Xavier; Sandeep Patil; Valeriy Vyatkin

doi:10.1109/INDIN45523.2021.9557416

Cyber-physical automation systems modelling with IEC 61499 for their formal verification

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin

Luleå University of Technology

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

10 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	2021 IEEE 19th International Conference on Industrial Informatics (INDIN)
Kustantaja	IEEE
Sivut	1-6
Sivumäärä	6
ISBN (elektroninen)	978-1-7281-4395-8
ISBN (painettu)	978-1-7281-4396-5
DOI - pysyväislinkit	https://doi.org/10.1109/INDIN45523.2021.9557416
Tila	Julkaistu - 11 lokak. 2021
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	IEEE International Conference on Industrial Informatics - Palma de Mallorca, Spain, Palma de Mallorca, Espanja Kesto: 21 heinäk. 2021 → 23 heinäk. 2021 https://2021.ieee-indin.org/

Conference

Conference	IEEE International Conference on Industrial Informatics
Lyhennettä	INDIN
Maa/Alue	Espanja
Kaupunki	Palma de Mallorca
Ajanjakso	21/07/2021 → 23/07/2021
www-osoite	https://2021.ieee-indin.org/

Pääsy asiakirjaan

10.1109/INDIN45523.2021.9557416

http://10.5281/zenodo.5222680

Muut tiedostot ja linkit

Linkki julkaisuun Scopuksessa

Siteeraa tätä

@inproceedings{e77e61cecf3a49359fbd20df6befd8a0,

title = "Cyber-physical automation systems modelling with IEC 61499 for their formal verification",

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

keywords = "Automation, Codes, Conferences, Tools, Syntactics, Software, IEC Standards",

author = "Midhun Xavier and Sandeep Patil and Valeriy Vyatkin",

year = "2021",

month = oct,

day = "11",

doi = "10.1109/INDIN45523.2021.9557416",

language = "English",

isbn = "978-1-7281-4396-5",

pages = "1--6",

booktitle = "2021 IEEE 19th International Conference on Industrial Informatics (INDIN)",

publisher = "IEEE",

address = "United States",

note = "IEEE International Conference on Industrial Informatics, INDIN ; Conference date: 21-07-2021 Through 23-07-2021",

url = "https://2021.ieee-indin.org/",

}

Xavier, M, Patil, S & Vyatkin, V 2021, Cyber-physical automation systems modelling with IEC 61499 for their formal verification. julkaisussa 2021 IEEE 19th International Conference on Industrial Informatics (INDIN)., 9557416, IEEE, Sivut 1-6, IEEE International Conference on Industrial Informatics, Palma de Mallorca, Espanja, 21/07/2021. https://doi.org/10.1109/INDIN45523.2021.9557416

Cyber-physical automation systems modelling with IEC 61499 for their formal verification. / Xavier, Midhun; Patil, Sandeep; Vyatkin, Valeriy.
2021 IEEE 19th International Conference on Industrial Informatics (INDIN). IEEE, 2021. s. 1-6 9557416.

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

TY - GEN

T1 - Cyber-physical automation systems modelling with IEC 61499 for their formal verification

AU - Xavier, Midhun

AU - Patil, Sandeep

AU - Vyatkin, Valeriy

PY - 2021/10/11

Y1 - 2021/10/11

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

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

KW - Automation

KW - Codes

KW - Conferences

KW - Tools

KW - Syntactics

KW - Software

KW - IEC Standards

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

U2 - 10.1109/INDIN45523.2021.9557416

DO - 10.1109/INDIN45523.2021.9557416

M3 - Conference article in proceedings

SN - 978-1-7281-4396-5

SP - 1

EP - 6

BT - 2021 IEEE 19th International Conference on Industrial Informatics (INDIN)

PB - IEEE

T2 - IEEE International Conference on Industrial Informatics

Y2 - 21 July 2021 through 23 July 2021

ER -

Cyber-physical automation systems modelling with IEC 61499 for their formal verification

Abstrakti

Conference

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä