Сборники трудов ИСП РАН


Инструментальные средства проектирования систем интегрированной модульной авионики.

Д.В. Буздалов, С.В. Зеленов, Е.В. Корныхин, А.К. Петренко, А.В. Страх, А.А. Угненко, А.В. Хорошилов.

Аннотация

Масштабы современных комплексов бортового авиационного оборудования таковы, что их проектирование становится невозможным без привлечения средств автоматизации. В настоящее время в мире в этой области имеются с одной стороны закрытые разработки крупных авиакомпаний, таких как Boeing и Airbus, а с другой стороны ряд открытых международных проектов с разной степенью зрелости, доступности исходного кода и документации. В настоящей статье представлена отечественная разработка открытой системы поддержки проектирования и верификации комплексов бортового авиационного оборудования осуществляемая в ИСП РАН совместно с ГосНИИАС в рамках государственной программы по развитию Интегрированной Модульной Авионики.

Ключевые слова

интегрированная модульная авионика; ИМА; моделирование систем; AADL

Издание

Труды Института системного программирования РАН, том 26, вып. 1, 2014, стр. 201-230.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: DOI: 10.15514/ISPRAS-2014-26(1)-6

Полный текст статьи в формате pdf Вернуться к содержанию тома