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

Autor: Lyakh, T. V., Zyubin, V. E., Garanina, N. O.
Zdroj: Optoelectronics Instrumentation & Data Processing; Mar2019, Vol. 55 Issue 2, p189-197, 9p
Abstrakt: 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. [ABSTRACT FROM AUTHOR]
Databáze: Complementary Index