Standard

Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems. / Liakh, Tatiana; Anureev, Igor; Rozov, Andrei et al.

SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. p. 466-471 8958127 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Liakh, T, Anureev, I, Rozov, A, Garanina, N & Zyubin, V 2019, Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems. in SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings., 8958127, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 466-471, 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019, Novosibirsk, Russian Federation, 21.10.2019. https://doi.org/10.1109/SIBIRCON48586.2019.8958127

APA

Liakh, T., Anureev, I., Rozov, A., Garanina, N., & Zyubin, V. (2019). Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems. In SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings (pp. 466-471). [8958127] (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SIBIRCON48586.2019.8958127

Vancouver

Liakh T, Anureev I, Rozov A, Garanina N, Zyubin V. Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems. In SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc. 2019. p. 466-471. 8958127. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings). doi: 10.1109/SIBIRCON48586.2019.8958127

Author

Liakh, Tatiana ; Anureev, Igor ; Rozov, Andrei et al. / Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems. SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 466-471 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

BibTeX

@inproceedings{a7f840b6f1ba4817b61e6ffd50fbdbb1,
title = "Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems",
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.",
keywords = "computer modeling and simulation, control algorithms, control software, cyber-physical systems, dynamic verification, LabVIEW, process-oriented programming",
author = "Tatiana Liakh and Igor Anureev and Andrei Rozov and Natalia Garanina and Vladimir Zyubin",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 ; Conference date: 21-10-2019 Through 27-10-2019",
year = "2019",
month = oct,
doi = "10.1109/SIBIRCON48586.2019.8958127",
language = "English",
series = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "466--471",
booktitle = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
address = "United States",

}

RIS

TY - GEN

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

AU - Liakh, Tatiana

AU - Anureev, Igor

AU - Rozov, Andrei

AU - Garanina, Natalia

AU - Zyubin, Vladimir

N1 - Publisher Copyright: © 2019 IEEE. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2019/10

Y1 - 2019/10

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

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

KW - computer modeling and simulation

KW - control algorithms

KW - control software

KW - cyber-physical systems

KW - dynamic verification

KW - LabVIEW

KW - process-oriented programming

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

U2 - 10.1109/SIBIRCON48586.2019.8958127

DO - 10.1109/SIBIRCON48586.2019.8958127

M3 - Conference contribution

AN - SCOPUS:85079058745

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

SP - 466

EP - 471

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

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019

Y2 - 21 October 2019 through 27 October 2019

ER -

ID: 28551950