Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
- 作者: Lyakh T.V.1,2, Zyubin V.E.1,2, Garanina N.O.3
-
隶属关系:
- Institute of Automation and Electrometry, Siberian Branch
- Novosibirsk State University
- Ershov Institute of Informatics Systems, 630090, Novosibirsk
- 期: 卷 55, 编号 2 (2019)
- 页面: 189-197
- 栏目: 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
如何引用文章
详细
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.
作者简介
T. Lyakh
Institute of Automation and Electrometry, Siberian Branch; Novosibirsk State University
Email: zyubin@iae.nsk.su
俄罗斯联邦, pr. Akademika Koptyuga 1, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
V. Zyubin
Institute of Automation and Electrometry, Siberian Branch; Novosibirsk State University
编辑信件的主要联系方式.
Email: zyubin@iae.nsk.su
俄罗斯联邦, pr. Akademika Koptyuga 1, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
N. Garanina
Ershov Institute of Informatics Systems, 630090, Novosibirsk
Email: zyubin@iae.nsk.su
俄罗斯联邦, pr. Akademika Lavrent’eva 6, Novosibirsk, 630090
补充文件
