Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Автометрия

2019 год, номер 2

АВТОМАТИЧЕСКАЯ ВЕРИФИКАЦИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ В КИБЕРФИЗИЧЕСКИХ СИСТЕМАХ НА ПРОГРАММНЫХ ИМИТАТОРАХ

Т.В. Лях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
Добавить в корзину
Товар добавлен в корзину