Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

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

1 Citation (Scopus)

Abstract

This paper concerns a formal four-component dynamic verification model of process-oriented control algorithms, developed for cyber-physical systems (CPS)-support system of dynamic verification of CPS. It is a system of four interacting extended hyperprocesses. The extended hyperprocess model includes the Message queue data type. The introduced verification approach bases on plant simulator, work scripts management and automatic check of the algorithm reactions. We used the extended model for specification of the algorithm and plant simulator behavior, as well as for a specification of test cases management. Test cases includes plant simulator tuning and simulation of commands from an operator of a cyber-physical system. We use hyperprocess approach to specify checking algorithm requirements based on algorithm output control signals as well as for generating diagnostic reports about verification results. The dynamic verification software for CPS control algorithms was created in LabVIEW. Also we present a testing of the approach on the hand dryer control algorithm, written in process-oriented Reflex language, and check a set of temporal requirements.

Original languageEnglish
Title of host publicationSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages466-471
Number of pages6
ISBN (Electronic)9781728144016
DOIs
Publication statusPublished - Oct 2019
Event2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Russian Federation
Duration: 21 Oct 201927 Oct 2019

Publication series

NameSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Conference

Conference2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
CountryRussian Federation
CityNovosibirsk
Period21.10.201927.10.2019

Keywords

  • computer modeling and simulation
  • control algorithms
  • control software
  • cyber-physical systems
  • dynamic verification
  • LabVIEW
  • process-oriented programming

OECD FOS+WOS

  • 1.02 COMPUTER AND INFORMATION SCIENCES
  • 1.01 MATHEMATICS

Fingerprint

Dive into the research topics of 'Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this