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 journalArticlepeer-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 languageEnglish
Pages (from-to)189-197
Number of pages9
JournalOptoelectronics, Instrumentation and Data Processing
Volume55
Issue number2
DOIs
Publication statusPublished - 1 Mar 2019

Keywords

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

Fingerprint Dive into the research topics of 'Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators'. Together they form a unique fingerprint.

Cite this