Standard

Verification of industrial control algorithms in virtual laboratory stands. / Liakh, Tatyana; Zyubin, Vladimir.

29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l., 2017. p. 380-384.

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

Harvard

Liakh, T & Zyubin, V 2017, Verification of industrial control algorithms in virtual laboratory stands. in 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l., pp. 380-384, 29th European Modeling and Simulation Symposium, EMSS 2017, Barcelona, Spain, 18.09.2017.

APA

Liakh, T., & Zyubin, V. (2017). Verification of industrial control algorithms in virtual laboratory stands. In 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017 (pp. 380-384). CAL-TEK S.r.l..

Vancouver

Liakh T, Zyubin V. Verification of industrial control algorithms in virtual laboratory stands. In 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l. 2017. p. 380-384

Author

Liakh, Tatyana ; Zyubin, Vladimir. / Verification of industrial control algorithms in virtual laboratory stands. 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l., 2017. pp. 380-384

BibTeX

@inproceedings{fd315938b4b14181bd525f33b780b358,
title = "Verification of industrial control algorithms in virtual laboratory stands",
abstract = "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.",
keywords = "Control algorithms, Industrial automation, Language Reflex, Process-oriented programming, Verification, Virtual plants",
author = "Tatyana Liakh and Vladimir Zyubin",
year = "2017",
language = "English",
pages = "380--384",
booktitle = "29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017",
publisher = "CAL-TEK S.r.l.",
note = "29th European Modeling and Simulation Symposium, EMSS 2017 ; Conference date: 18-09-2017 Through 20-09-2017",

}

RIS

TY - GEN

T1 - Verification of industrial control algorithms in virtual laboratory stands

AU - Liakh, Tatyana

AU - Zyubin, Vladimir

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

KW - Control algorithms

KW - Industrial automation

KW - Language Reflex

KW - Process-oriented programming

KW - Verification

KW - Virtual plants

UR - http://www.scopus.com/inward/record.url?scp=85035092914&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85035092914

SP - 380

EP - 384

BT - 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017

PB - CAL-TEK S.r.l.

T2 - 29th European Modeling and Simulation Symposium, EMSS 2017

Y2 - 18 September 2017 through 20 September 2017

ER -

ID: 9673219