AUTOMATIC VERIFICATION OF CONTROL ALGORITHMS IN CYBERPHYSICAL SYSTEMS ON SOFTWARE SIMULATORS
T. V. Lyakh1,2, V. E. Zyubin1,2, N. O. Garanina3
1Institute of Automation and Electrometry, Siberian Branch, Russian Academy of Sciences, 630090, Novosibirsk, prosp. Akademika Koptyuga, 1
2Novosibirsk State University, 630090, Novosibirsk, ul. Pirogova, 2
3Ershov Institute of Informatics Systems, 630090, Novosibirsk, prosp. Akademika Lavrent'eva, 6
Keywords: верификация, алгоритмы управления, киберфизические системы, имитационное моделирование, процесс-ориентированное программирование, verification, control algorithms, cyberphysical systems, software simulation, process-oriented programming
Abstract
The problem of automatic verification of control algorithms developed by tools of process-oriented programming for cyberphysical systems is solved. A method based on software simulators of the control object is proposed, and its implementation on the basis of the LabVIEW package and Reflex language translator is described.
|
