SMT-based deployment calculation for IEC 61499 control applications

Tuojian Lyu; Jan Olaf Blech; Valeriy Vyatkin

doi:10.1109/ICPS49255.2021.9468194

SMT-based deployment calculation for IEC 61499 control applications

Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin

Luleå University of Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

42 Downloads (Pure)

Abstract

The dynamic and flexible deployment optimization of industrial control applications is essential for achieving the goals of Smart Factories and Industry 4.0. In this paper, we are studying distributed IEC 61499 control applications. To achieve the required efficiency and flexibility of the control application deployment, we propose using a Satisfiability Modulo Theories (SMT) solver to solve the underlying redeployment model constraints. In our work the Z3 solver is used for this purpose. The proposed redeployment models represent the redeployment problem and allow the Z3 solver to efficiently and quickly calculate the optimization result. Furthermore, based on the Z3 solver APIs, several critical components of the redeployment architecture (Monitor, Parser, Generator, etc.) are implemented in Java applications. The experiment results indicate that, based on our implemented Z3-based software and redeployment models, the deployment optimization results can be quickly obtained for simple IEC 61499 applications.

Original language	English
Title of host publication	Proceedings of 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021
Publisher	IEEE
Pages	172-178
Number of pages	7
ISBN (Electronic)	9781728162072
DOIs	https://doi.org/10.1109/ICPS49255.2021.9468194
Publication status	Published - 5 Jul 2021
MoE publication type	A4 Article in a conference publication
Event	International Conference on Industrial Cyber-Physical Systems - Virtual, Online Duration: 10 May 2021 → 13 May 2021 Conference number: 4

Conference

Conference	International Conference on Industrial Cyber-Physical Systems
Abbreviated title	ICPS
City	Virtual, Online
Period	10/05/2021 → 13/05/2021

Keywords

Containerization
Flexible redeployment
IEC 61499
Satisfiability modulo theories
Smart factory

Access to Document

10.1109/ICPS49255.2021.9468194

ELEC_Lyu_etal_SMT_Based_Deployment_Calculation_for_IEC_61499_Control_Applications_IEEE_ICPS_2021Accepted author manuscript, 959 KB

OpenUrl availability

Full text

Cite this

@inproceedings{d5c0ca653fe24d258ef01f88376169a5,

title = "SMT-based deployment calculation for IEC 61499 control applications",

abstract = "The dynamic and flexible deployment optimization of industrial control applications is essential for achieving the goals of Smart Factories and Industry 4.0. In this paper, we are studying distributed IEC 61499 control applications. To achieve the required efficiency and flexibility of the control application deployment, we propose using a Satisfiability Modulo Theories (SMT) solver to solve the underlying redeployment model constraints. In our work the Z3 solver is used for this purpose. The proposed redeployment models represent the redeployment problem and allow the Z3 solver to efficiently and quickly calculate the optimization result. Furthermore, based on the Z3 solver APIs, several critical components of the redeployment architecture (Monitor, Parser, Generator, etc.) are implemented in Java applications. The experiment results indicate that, based on our implemented Z3-based software and redeployment models, the deployment optimization results can be quickly obtained for simple IEC 61499 applications.",

keywords = "Containerization, Flexible redeployment, IEC 61499, Satisfiability modulo theories, Smart factory",

author = "Tuojian Lyu and Blech, {Jan Olaf} and Valeriy Vyatkin",

note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; International Conference on Industrial Cyber-Physical Systems, ICPS ; Conference date: 10-05-2021 Through 13-05-2021",

year = "2021",

month = jul,

day = "5",

doi = "10.1109/ICPS49255.2021.9468194",

language = "English",

pages = "172--178",

booktitle = "Proceedings of 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021",

publisher = "IEEE",

address = "United States",

}

Lyu, T, Blech, JO & Vyatkin, V 2021, SMT-based deployment calculation for IEC 61499 control applications. in Proceedings of 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021., 9468194, IEEE, pp. 172-178, International Conference on Industrial Cyber-Physical Systems, Virtual, Online, 10/05/2021. https://doi.org/10.1109/ICPS49255.2021.9468194

TY - GEN

T1 - SMT-based deployment calculation for IEC 61499 control applications

AU - Lyu, Tuojian

AU - Blech, Jan Olaf

AU - Vyatkin, Valeriy

N1 - Conference code: 4

PY - 2021/7/5

Y1 - 2021/7/5

N2 - The dynamic and flexible deployment optimization of industrial control applications is essential for achieving the goals of Smart Factories and Industry 4.0. In this paper, we are studying distributed IEC 61499 control applications. To achieve the required efficiency and flexibility of the control application deployment, we propose using a Satisfiability Modulo Theories (SMT) solver to solve the underlying redeployment model constraints. In our work the Z3 solver is used for this purpose. The proposed redeployment models represent the redeployment problem and allow the Z3 solver to efficiently and quickly calculate the optimization result. Furthermore, based on the Z3 solver APIs, several critical components of the redeployment architecture (Monitor, Parser, Generator, etc.) are implemented in Java applications. The experiment results indicate that, based on our implemented Z3-based software and redeployment models, the deployment optimization results can be quickly obtained for simple IEC 61499 applications.

AB - The dynamic and flexible deployment optimization of industrial control applications is essential for achieving the goals of Smart Factories and Industry 4.0. In this paper, we are studying distributed IEC 61499 control applications. To achieve the required efficiency and flexibility of the control application deployment, we propose using a Satisfiability Modulo Theories (SMT) solver to solve the underlying redeployment model constraints. In our work the Z3 solver is used for this purpose. The proposed redeployment models represent the redeployment problem and allow the Z3 solver to efficiently and quickly calculate the optimization result. Furthermore, based on the Z3 solver APIs, several critical components of the redeployment architecture (Monitor, Parser, Generator, etc.) are implemented in Java applications. The experiment results indicate that, based on our implemented Z3-based software and redeployment models, the deployment optimization results can be quickly obtained for simple IEC 61499 applications.

KW - Containerization

KW - Flexible redeployment

KW - IEC 61499

KW - Satisfiability modulo theories

KW - Smart factory

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

U2 - 10.1109/ICPS49255.2021.9468194

DO - 10.1109/ICPS49255.2021.9468194

M3 - Conference contribution

AN - SCOPUS:85112370091

SP - 172

EP - 178

BT - Proceedings of 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021

PB - IEEE

T2 - International Conference on Industrial Cyber-Physical Systems

Y2 - 10 May 2021 through 13 May 2021

ER -

SMT-based deployment calculation for IEC 61499 control applications

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Other files and links

Fingerprint

Cite this