当前位置: X-MOL 学术IEEE Trans. Ind. Inform. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver
IEEE Transactions on Industrial Informatics ( IF 11.7 ) Pub Date : 2020-05-04 , DOI: 10.1109/tii.2020.2992235
Daniil Chivilikhin , Sandeep Patil , Konstantin Chukharev , Anthony Cordonnier , Valeriy Vyatkin

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.

中文翻译:


使用数据收集和 SAT 求解器从传统可编程逻辑控制器自动重建状态机



如今,越来越多的行业正在考虑实现工业 4.0 合规。但这种转变并不简单:转移到新系统可能会导致严重的生产停机,从而导致延误和成本超支。最好的方法是系统地无缝过渡到工业 4.0 提供的更新、更先进的技术。本文提出了一种基于自动综合方法的框架,该框架可学习现有传统可编程逻辑控制器 (PLC) 的行为并生成可合并到 IEC 61499 功能块中的状态机。所提出的算法基于布尔可满足性 (SAT) 求解器。第一个算法接受一组有噪声的 PLC 跟踪并生成一组满足这些跟踪的候选状态机。第二种算法接受无错误的跟踪并合成可以分布在多个物理设备上的模块化控制器。该工具链架构在实验室规模的 Festo 机电系统上进行了举例说明。
更新日期:2020-05-04
down
wechat
bug