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

Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

15 Lataukset (Pure)

Abstrakti

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.

AlkuperäiskieliEnglanti
OtsikkoProceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021
KustantajaIEEE
Sivumäärä6
ISBN (elektroninen)9781728190235
DOI - pysyväislinkit
TilaJulkaistu - 13 marraskuuta 2021
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Symposium on Industrial Electronics - Virtual, online, Kyoto, Japani
Kesto: 20 kesäkuuta 202123 kesäkuuta 2021
Konferenssinumero: 30
https://www.isie2021.org/

Conference

ConferenceInternational Symposium on Industrial Electronics
LyhennettäISIE
Maa/AlueJapani
KaupunkiKyoto
Ajanjakso20/06/202123/06/2021
www-osoite

Sormenjälki

Sukella tutkimusaiheisiin 'A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä