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

T. V. Lyakh, V. E. Zyubin, N. O. Garanina

Результат исследования: Научные публикации в периодических изданияхстатья

2 Цитирования (Scopus)

Аннотация

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

Fingerprint Подробные сведения о темах исследования «Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать