26287

Автор(ов): 

2

Параметры публикации
Тип публикации: 
Пленарный доклад
Название: 
Концептуальные и математические основы технологии интеграции авиационных систем, базирующейся на гетерогенных моделях
Наименование конференции: 
2-я Всероссийская научно-техническая конференция «Моделирование авиационных систем» (Москва, 2013)
Наименование источника: 
Сборник тезисов докладов 2-й Всероссийской научно-технической конференции «Моделирование авиационных систем» (Москва, 2013)
Город: 
Москва
Издательство: 
ФГУП "ГосНИИАС"
Год издания: 
2013
Страницы: 
11-12
Аннотация
Рассматриваются вопросы создания новой технологии интеграции систем авионики на базе подходов к разработке ПО, управляемой моделями и логическим выводом. Для моделирования общесистемных задач, проникающих во все компоненты (crosscutting concerns), привлекается аспектно-ориентированный подход (aspect-oriented modeling). Предложена формальная база, позволяющая кратко описать и верифицировать механизмы интеграции гетерогенных моделей авиационных систем, на основе аппарата теории категорий.
Библиографическая ссылка: 
Васильев С.Н., Ковалёв С.П. Концептуальные и математические основы технологии интеграции авиационных систем, базирующейся на гетерогенных моделях / Сборник тезисов докладов 2-й Всероссийской научно-технической конференции «Моделирование авиационных систем» (Москва, 2013). М.: ФГУП "ГосНИИАС", 2013. С. 11-12.