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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have