Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления

Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления

Язык:
Русский
Аннотация: 
На сегодняшний день текущая практика промышленной автоматизации такова, что тестирование управляющих алгоритмов в подавляющем большинстве случаев начинается только при запуске ПО на реальном объекте. В результате проверка алгоритма откладывается до этапа пуско-наладочных работ на объекте автоматизации. В статье предложен подход к тестированию алгоритмов управления на основе концепции виртуальных объектов управления. Для гарантии, что алгоритм управления удовлетворяет полностью накладываемым на него требованиями, используется метод верификации Model checking.
УДК: 
Страницы: 
11-20
Файл: 
 liakh.pdf 
Номер: