Verification of industrial control algorithms in virtual laboratory stands

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


The complexity of industrial control systems increases every year. The imposed requirements should provide the reliability of the developed algorithm. But today the common practice of industrial automation is characterized by the following: generally testing of control algorithms starts only when you run the software on a new facility. In the article the control algorithms development method was put forward. The method uses virtual laboratory stands for control algorithm creation and its verification. Virtual laboratory stand consists of the five components: graphical representation of the automated object (GRAO), control algorithm module (CA), virtual plant module (VP), scripts control module (SCM) and verification module (VM). All modules are described as a hyper-process with the Reflex language. SCM imitates different situations on the object: environmental changes and breakdowns. VM watches over the CA during the simulation and automatically checks whether the algorithm meets the given specification under the certain script.

Original languageEnglish
Title of host publication29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017
PublisherCAL-TEK S.r.l.
Number of pages5
ISBN (Electronic)9781510847651
Publication statusPublished - 2017
Event29th European Modeling and Simulation Symposium, EMSS 2017 - Barcelona, Spain
Duration: 18 Sep 201720 Sep 2017


Conference29th European Modeling and Simulation Symposium, EMSS 2017


  • Control algorithms
  • Industrial automation
  • Language Reflex
  • Process-oriented programming
  • Verification
  • Virtual plants


Dive into the research topics of 'Verification of industrial control algorithms in virtual laboratory stands'. Together they form a unique fingerprint.

Cite this