LabVIEW-based automatic verification of process-oriented software

Tatiana Liakh; Andrei Rozov; Vladimir Zyubin

doi:10.1109/SIBCON.2019.8729596

LabVIEW-based automatic verification of process-oriented software

Tatiana Liakh, Andrei Rozov, Vladimir Zyubin

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

Аннотация

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	https://doi.org/10.1109/SIBCON.2019.8729596
Состояние	Опубликовано - 1 апр 2019
Событие	2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Tomsk, Российская Федерация Продолжительность: 18 апр 2019 → 20 апр 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.2019 → 20.04.2019

Доступ к документу

10.1109/SIBCON.2019.8729596

Link to publication in Scopus

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

Liakh, Tatiana ; Rozov, Andrei ; Zyubin, Vladimir. / LabVIEW-based automatic verification of process-oriented software. 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

@inproceedings{702fe5ff56ab48a58f836f73b6165679,

title = "LabVIEW-based automatic verification of process-oriented software",

abstract = "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.",

keywords = "Computer simulation, Control algorithms, Control software, Cyber-physical systems, LabVIEW, Verification",

author = "Tatiana Liakh and Andrei Rozov and Vladimir Zyubin",

year = "2019",

month = apr,

day = "1",

doi = "10.1109/SIBCON.2019.8729596",

language = "English",

series = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings",

address = "United States",

note = "2019 International Siberian Conference on Control and Communications, SIBCON 2019 ; Conference date: 18-04-2019 Through 20-04-2019",

}

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., 2019 International Siberian Conference on Control and Communications, SIBCON 2019, Tomsk, Российская Федерация, 18.04.2019. https://doi.org/10.1109/SIBCON.2019.8729596

LabVIEW-based automatic verification of process-oriented software. / Liakh, Tatiana ; Rozov, Andrei ; Zyubin, Vladimir.

2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. 8729596 (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

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

TY - GEN

T1 - LabVIEW-based automatic verification of process-oriented software

AU - Liakh, Tatiana

AU - Rozov, Andrei

AU - Zyubin, Vladimir

PY - 2019/4/1

Y1 - 2019/4/1

N2 - 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.

AB - 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.

KW - Computer simulation

KW - Control algorithms

KW - Control software

KW - Cyber-physical systems

KW - LabVIEW

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=85068334276&partnerID=8YFLogxK

U2 - 10.1109/SIBCON.2019.8729596

DO - 10.1109/SIBCON.2019.8729596

M3 - Conference contribution

T3 - 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

BT - 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2019 International Siberian Conference on Control and Communications, SIBCON 2019

Y2 - 18 April 2019 through 20 April 2019

ER -

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