LabVIEW-based automatic verification of process-oriented software

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Аннотация

This paper concerns automatic verification of process-oriented control algorithms in cyber-physical systems. We introduce a verification approach based on plant simulator and present an implementation of the approach using on the LabVIEW package and Reflex language translator.

Язык оригиналаанглийский
Название основной публикации2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings
ИздательInstitute of Electrical and Electronics Engineers Inc.
ISBN (электронное издание)9781538651414
DOI
СостояниеОпубликовано - 1 апр 2019
Событие2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Tomsk, Российская Федерация
Продолжительность: 18 апр 201920 апр 2019

Серия публикаций

Название2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

Конференция

Конференция2019 International Siberian Conference on Control and Communications, SIBCON 2019
СтранаРоссийская Федерация
ГородTomsk
Период18.04.201920.04.2019

Fingerprint Подробные сведения о темах исследования «LabVIEW-based automatic verification of process-oriented software». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Liakh, T., Rozov, A., & Zyubin, V. (2019). LabVIEW-based automatic verification of process-oriented software. В 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings [8729596] (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SIBCON.2019.8729596