Standard

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

In: Optoelectronics, Instrumentation and Data Processing, Vol. 55, No. 2, 01.03.2019, p. 189-197.

Research output: Contribution to journal › Article › peer-review

Harvard

Lyakh, TV, Zyubin, VE & Garanina, NO 2019, 'Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators', Optoelectronics, Instrumentation and Data Processing, vol. 55, no. 2, pp. 189-197. https://doi.org/10.3103/S8756699019020110

APA

Lyakh, T. V., Zyubin, V. E., & Garanina, N. O. (2019). Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators. Optoelectronics, Instrumentation and Data Processing, 55(2), 189-197. https://doi.org/10.3103/S8756699019020110

Vancouver

Lyakh TV, Zyubin VE, Garanina NO. Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators. Optoelectronics, Instrumentation and Data Processing. 2019 Mar 1;55(2):189-197. doi: 10.3103/S8756699019020110

Author

Lyakh, T. V. ; Zyubin, V. E. ; Garanina, N. O. / Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators. In: Optoelectronics, Instrumentation and Data Processing. 2019 ; Vol. 55, No. 2. pp. 189-197.

BibTeX

@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.}",
note = "Publisher Copyright: {\textcopyright} 2019, Allerton Press, Inc.",
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",

}

RIS

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.

N1 - Publisher Copyright: © 2019, Allerton Press, Inc.

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 -

ID: 20591454