Verification of industrial control algorithms in virtual laboratory stands

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.