Email this article Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
- Authors: Lyakh T.V.1,2, Zyubin V.E.1,2, Garanina N.O.3
-
Affiliations:
- Institute of Automation and Electrometry, Siberian Branch
- Novosibirsk State University
- Ershov Institute of Informatics Systems, 630090, Novosibirsk
- Issue: Vol 55, No 2 (2019)
- Pages: 189-197
- Section: Automation Systems in Scientific Research and Industry
- URL: https://journals.rcsi.science/8756-6990/article/view/212724
- DOI: https://doi.org/10.3103/S8756699019020110
- ID: 212724
Cite item
Open Access
Access granted
Subscription Access
Abstract
The paper describes solving the problem of automatic verification of control software in cyber-physical systems created by means of process-oriented programming. A method based on plant simulators is proposed, and its implementation on the basis of the LabVIEW package and Reflex language translator is described.
About the authors
T. V. Lyakh
Institute of Automation and Electrometry, Siberian Branch; Novosibirsk State University
Email: zyubin@iae.nsk.su
Russian Federation, pr. Akademika Koptyuga 1, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
V. E. Zyubin
Institute of Automation and Electrometry, Siberian Branch; Novosibirsk State University
Author for correspondence.
Email: zyubin@iae.nsk.su
Russian Federation, pr. Akademika Koptyuga 1, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
N. O. Garanina
Ershov Institute of Informatics Systems, 630090, Novosibirsk
Email: zyubin@iae.nsk.su
Russian Federation, pr. Akademika Lavrent’eva 6, Novosibirsk, 630090
Supplementary files
