@inproceedings{17a9f1df75de4a70bfe00c3d6c0b9d35,
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",
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",
note = "2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 ; Conference date: 21-10-2019 Through 27-10-2019",
}