A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application
Loading...
Access rights
openAccess
acceptedVersion
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)
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)
Date
Major/Subject
Mcode
Degree programme
Language
en
Pages
6
Series
Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021, Proceedings of the IEEE International Symposium on Industrial Electronics
Abstract
The capabilities of dynamicity, flexibility and agile production are enablers to Smart Factory and Industry 4.0. One critical feature to achieve these capabilities is to achieve efficient deployment optimization for automation control applications. However, many factories have used control applications implemented using IEC 61131 rather than IEC 61499, even though IEC 61499 standard supports Smart Factory better than IEC 61131 standard with distribution and event-driven features. In this paper, we are studying a control application, named HotWaterTank, implemented via IEC 61499. This application can control a hot water tank via several buttons, such as inlet, outlet and heating buttons. Three steps are carried out to deployment optimization with this application that are 1) Flattening, 2) Penalty matrix calculation, and 3) SMT solver calculation. Finally, from the experimental results, we prove that the deployment formulas we proposed can help achieve deployment optimization results while reducing the execution time of the SMT solver. Besides, we also discuss the parameter-related impact on the execution time and optimization results. Our contribution is to investigate the possibilities and difficulties of introducing the SMT solver and containerization technology to the IEC 61499-based application denloyment optimization.Description
Publisher Copyright: © 2021 IEEE.
Other note
Citation
Lyu, T, Blech, J O & Vyatkin, V 2021, A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. in Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021. Proceedings of the IEEE International Symposium on Industrial Electronics, IEEE, International Symposium on Industrial Electronics, Kyoto, Japan, 20/06/2021. https://doi.org/10.1109/ISIE45552.2021.9576459