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

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

doi:10.3103/S8756699019020110

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	https://doi.org/10.3103/S8756699019020110
Состояние	Опубликовано - 1 мар 2019

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

10.3103/S8756699019020110

Link to publication in Scopus

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

Цитировать

@article{93ed0a7fa0d44a94b8b5af0f66dbdf4b,

title = "Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators",

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

keywords = "control software, cyber-physical systems, plant simulators, process-oriented programming, verification",

author = "Lyakh, {T. V.} and Zyubin, {V. E.} and Garanina, {N. O.}",

year = "2019",

month = mar,

day = "1",

doi = "10.3103/S8756699019020110",

language = "English",

volume = "55",

pages = "189--197",

journal = "Optoelectronics, Instrumentation and Data Processing",

issn = "8756-6990",

publisher = "Allerton Press Inc.",

number = "2",

}

Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators. / Lyakh, T. V.; Zyubin, V. E.; Garanina, N. O.

В: Optoelectronics, Instrumentation and Data Processing, Том 55, № 2, 01.03.2019, стр. 189-197.

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

TY - JOUR

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

AU - Lyakh, T. V.

AU - Zyubin, V. E.

AU - Garanina, N. O.

PY - 2019/3/1

Y1 - 2019/3/1

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

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

KW - control software

KW - cyber-physical systems

KW - plant simulators

KW - process-oriented programming

KW - verification

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

U2 - 10.3103/S8756699019020110

DO - 10.3103/S8756699019020110

M3 - Article

AN - SCOPUS:85067334519

VL - 55

SP - 189

EP - 197

JO - Optoelectronics, Instrumentation and Data Processing

JF - Optoelectronics, Instrumentation and Data Processing

SN - 8756-6990

IS - 2

ER -