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

Tatiana Liakh, Igor Anureev, Andrei Rozov, Natalia Garanina, Vladimir Zyubin

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Аннотация

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.

Язык оригиналаанглийский
Название основной публикацииSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
ИздательInstitute of Electrical and Electronics Engineers Inc.
Страницы466-471
Число страниц6
ISBN (электронное издание)9781728144016
DOI
СостояниеОпубликовано - окт 2019
Событие2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Российская Федерация
Продолжительность: 21 окт 201927 окт 2019

Серия публикаций

НазваниеSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Конференция

Конференция2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
СтранаРоссийская Федерация
ГородNovosibirsk
Период21.10.201927.10.2019

Fingerprint Подробные сведения о темах исследования «Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать