Аннотация
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.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 189-197 |
Число страниц | 9 |
Журнал | Optoelectronics, Instrumentation and Data Processing |
Том | 55 |
Номер выпуска | 2 |
DOI | |
Состояние | Опубликовано - 1 мар 2019 |