Automatic state machine reconstruction from legacy PLC using data collection and SAT solver

Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

14 Lataukset (Pure)

Abstrakti

Nowadays an increasing number of industries are considering moving towards 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 paper 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.
AlkuperäiskieliEnglanti
Sivumäärä11
JulkaisuIEEE Transactions on Industrial Informatics
DOI - pysyväislinkit
TilaSähköinen julkaisu (e-pub) ennen painettua julkistusta - 4 toukokuuta 2020
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

Sormenjälki Sukella tutkimusaiheisiin 'Automatic state machine reconstruction from legacy PLC using data collection and SAT solver'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

  • Siteeraa tätä