Конференция «Инструменты и методы анализа программ – 2013»

Динамическая верификация гибридных систем

Н. В. Пакулин

Институт системного программирования РАН

Аннотация: В последние десять лет практически повсеместно аналоговые контуры управления вытесняются цифровыми. В настоящее время ведутся работы по созданию цифровых систем управления критическими системами: "интеллектуальные подстанции" в электроэнергетике, "интегрированная модульная авионика" в авиации, "интеллектуальные фабрики" в промышленности и т.д. Внедрение крупномасштабных систем с цифровыми каналами управления, отказы в которых могут повлечь тяжелые последствия, вплоть до катастрофических, требует создания новых методов анализа и верификации, в частности моделирования таких систем и верификации корректности и надежности гибридных систем на моделях. Рассмотрены методы верификации моделей гибридных систем и предложена архитектура тестового стенда для проведения динамической верификации гибридной системы.

Ключевые слова: гибридные системы, киберфизические системы, верификация на моделях, динамическая верификация, тестирование.

УДК: 004.05