УДК 681.518.3 ББК 39.56

DOI 10.51955/2312-1327_2021_1_30

Сергей Александрович Дяченко

Артём Сергеевич Савельев

Аннотация. В работе проведён анализ существующих автоматизированных средств верификации систем авионики, применяемых при разработке современных гражданских самолётов. Рассмотрены основные представленные на рынке продукты, а также определены их достоинства и недостатки. По результатам проведённого анализа установлено, что перспективным направлением развития данного типа средств является обеспечение автоматизации тестирования визуальной и графической информации в рамках стендовых испытаний. Задача актуальна не только для авиационной промышленности, но также для любых технических объектов, использующих человеко-машинный интерфейс (космическая отрасль, автомобилестроение, судостроение и пр.).

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

* Исследование выполнено при финансовой поддержке Российского фонда фундаментальных исследований (РФФИ) в рамках научного проекта №20-31-90028 «Применение модельно-ориентированного подхода к оценке безопасности гражданских воздушных судов на примере комплекса бортового оборудования», выполняемого в Федеральном государственном бюджетном образовательном учреждении высшего образования «Московский авиационный институт (национальный исследовательский университет)». Руководитель проекта – кандидат технических наук, доцент Е. С. Неретин.

Скачать 250,6 kB