SMT-based deployment calculation for IEC 61499 control applications

Thumbnail Image

Access rights

openAccess

URL

Journal Title

Journal ISSN

Volume Title

A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)

Authors

Date

2021-07-05

Department

Department of Electrical Engineering and Automation

Major/Subject

Mcode

Degree programme

Language

en

Pages

7
172-178

Series

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

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.

Description

Publisher Copyright: © 2021 IEEE.

Keywords

Containerization, Flexible redeployment, IEC 61499, Satisfiability modulo theories, Smart factory

Other note

DOI

10.1109/ICPS49255.2021.9468194

Citation

Lyu, T, Blech, J O & 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

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-2021120110549

Collections

[article-cris] Sähkötekniikan korkeakoulu / ELEC