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

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

3 Citations (Scopus)

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.

Original language	English
Pages (from-to)	189-197
Number of pages	9
Journal	Optoelectronics, Instrumentation and Data Processing
Volume	55
Issue number	2
DOIs	https://doi.org/10.3103/S8756699019020110
Publication status	Published - 1 Mar 2019

Keywords

control software
cyber-physical systems
plant simulators
process-oriented programming
verification

Access to Document

10.3103/S8756699019020110

Cite this

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

}

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 -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this