Automatic State Machine Reconstruction from Legacy Programmable Logic Controller Using Data Collection and SAT Solver
Loading...
Access rights
openAccess
acceptedVersion
URL
Journal Title
Journal ISSN
Volume Title
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä
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)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Date
Major/Subject
Mcode
Degree programme
Language
en
Pages
11
Series
IEEE Transactions on Industrial Informatics, Volume 16, issue 12, pp. 7821-7831
Abstract
Nowadays an increasing number of industries are considering moving toward being Industry 4.0 compliant. But this transition is not straightforward: Transfer to new system can lead to significant production downtime, resulting in delays and cost overruns. The best way is systematic seamless transition to newer and advanced technologies that Industry 4.0 offers. This article proposes a framework based on automatic synthesis methods that learns the behavior of an existing legacy programmable logic controller (PLC) and generates state machines that can be incorporated into IEC 61499 function blocks. Proposed algorithms are based on Boolean satisfiability (SAT) solvers. The first algorithm accepts a set of noisy PLC traces and produces a set of candidate state machines that satisfy the traces. The second algorithm accepts error-free traces and synthesizes a modular controller that may be distributed across several physical devices. The toolchain architecture is exemplified on a laboratory scale Festo mechatronic system.Description
Keywords
Other note
Citation
Chivilikhin, D, Patil, S, Chukharev, K, Cordonnier, A & Vyatkin, V 2020, 'Automatic State Machine Reconstruction from Legacy Programmable Logic Controller Using Data Collection and SAT Solver', IEEE Transactions on Industrial Informatics, vol. 16, no. 12, 9086061, pp. 7821-7831. https://doi.org/10.1109/TII.2020.2992235