Статья посвящена применению исполняемых моделей (ИМ) для комплексной отладки ПО системы авиационного бортового оборудования с целью сокращения длительности цикла проектирования. Применение методологии инженерии предметной области позволило преодолеть ограниченность известных реализаций этого подхода, обеспечивающих лишь расширение возможностей автономной отладки ПО. Описывается архитектура ИМ целевой системы и средств инструментальной поддержки ее развертывания для линейки продуктов.
Вадим Шишкин

Профессор кафедры «Измерительно-вычислительные комплексы» , Ульяновский Государственный Технический Университет
кандидат технических наук, окончил радиотехнический факультет Ульяновского политехнического института. Профессор кафедры «Измерительно-вычислительные комплексы» УлГТУ. Имеет статьи в области разработки САПР, интеллектуальных систем, операционных систем реального времени и встраиваемых систем.
Сергей Елькин
ведущий программист, Ульяновское КБ приборостроения
окончил радиотехнический факультет Ульяновского Политехнического института. Ведущий программист ОАО «УКБП», аспирант УлГТУ. Имеет публикации в области автоматизации проектирования бортовых информационных систем.
Кирилл Ларин
главный конструктор, Ульяновское КБ приборостроения
кандидат технических наук, окончил инженерно-физический факультет Ленинградского института точной механики и оптики, главный конструктор ОАО «УКБП». Имеет публикации в области автоматизации проектирования бортовых информационных систем.