LabVIEW-based automatic verification of process-oriented software

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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.

Original languageEnglish
Title of host publication2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781538651414
DOIs
Publication statusPublished - 1 Apr 2019
Event2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Tomsk, Russian Federation
Duration: 18 Apr 201920 Apr 2019

Publication series

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

Conference

Conference2019 International Siberian Conference on Control and Communications, SIBCON 2019
CountryRussian Federation
CityTomsk
Period18.04.201920.04.2019

Keywords

  • Computer simulation
  • Control algorithms
  • Control software
  • Cyber-physical systems
  • LabVIEW
  • Verification

Fingerprint Dive into the research topics of 'LabVIEW-based automatic verification of process-oriented software'. Together they form a unique fingerprint.

Cite this