Рассматриваются вопросы создания новой технологии интеграции систем авионики на базе подходов к разработке ПО, управляемой моделями и логическим выводом. Для моделирования общесистемных задач, проникающих во все компоненты (crosscutting concerns), привлекается аспектно-ориентированный подход (aspect-oriented modeling). Предложена формальная база, позволяющая кратко описать и верифицировать механизмы интеграции гетерогенных моделей авиационных систем, на основе аппарата теории категорий.