A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application

Loading...
Thumbnail Image
Journal Title
Journal ISSN
Volume Title
Conference article in proceedings
Date
2021-11-13
Major/Subject
Mcode
Degree programme
Language
en
Pages
6
Series
Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021
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.
Keywords
containerization, deployment optimization, flexible deployment, IEC 61499, satisfiability modulo theories
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