Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

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

补充文件

附件文件
动作
1. JATS XML

版权所有 © Allerton Press, Inc., 2019