АВТОМАТИЧЕСКАЯ ВЕРИФИКАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ В КИБЕРФИЗИЧЕСКИХ СИСТЕМАХ НА ПРОГРАММНЫХ ИМИТАТОРАХ
"Т.В. Лях1,2, В.Е. Зюбин1,2, Н.О. Гаранина3"
"1Институт автоматики и электрометрии СО РАН, 630090, г. Новосибирск, просп. Академика Коптюга, 1 zyubin@iae.nsk.su 2Новосибирский государственный университет, 630090, г. Новосибирск, ул. Пирогова, 2 3Институт систем информатики СО РАН, 630090, г. Новосибирск, просп. Академика Лаврентьева, 6"
Ключевые слова: верификация, алгоритмы управления, киберфизические системы, имитационное моделирование, процесс-ориентированное программирование, verification, control algorithms, cyberphysical systems, software simulation, process-oriented programming
Страницы: 103-113 Подраздел: СИСТЕМЫ АВТОМАТИЗАЦИИ В НАУЧНЫХ ИССЛЕДОВАНИЯХ И ПРОМЫШЛЕННОСТИ
Аннотация
Решается задача автоматической верификации алгоритмов управления, созданных средствами процесс-ориентированного программирования для киберфизических систем. Предлагается метод на основе программных имитаторов объекта управления и описывается его реализация на базе пакета LabVIEW и транслятора языка Reflex.
DOI: 10.15372/AUT20190211 |