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.
|Number of pages||9|
|Journal||Optoelectronics, Instrumentation and Data Processing|
|Publication status||Published - 1 Mar 2019|
- control software
- cyber-physical systems
- plant simulators
- process-oriented programming