Тема заседания: Моделеориентированная разработка системной архитектуры
Повестка мероприятия
1. Краткое сообщение Владимира Борисовича Немтинова (МГТУ им. Баумана): Структурная теория оптико- и лазерно-электронных систем.
2. Доклад Дениса Буздалова, Алексея Хорошилова (ИСП РАН): Автоматизация предварительного проектирования программно-аппаратных.
комплексов на основе архитектурных моделей
3. Дискуссия по моделеориентированной разработке системной архитектуры.
1. Краткое сообщение Владимира Борисовича Немтинова (МГТУ им. Баумана): Структурная теория оптико- и лазерно-электронных систем.
2. Доклад Дениса Буздалова, Алексея Хорошилова (ИСП РАН): Автоматизация предварительного проектирования программно-аппаратных.
комплексов на основе архитектурных моделей
3. Дискуссия по моделеориентированной разработке системной архитектуры.
Доклад: Автоматизация предварительного проектирования программно-аппаратных комплексов на основе архитектурных моделей
Докладчики: Денис Буздалов, Алексей Хорошилов (ИСП РАН)
В докладе будет представлена инструментальная среда MASIW (АРМ СИ), которая разрабатывается совместно ИСП РАН и ФГУП «ГосНИИАС» в рамках
комплексных НИР, проводимых ФГУП «ГосНИИАС». Среда MASIW предназначена для автоматизации предварительного проектирования программно-аппаратных
комплексов, таких как комплексы бортового оборудования воздушных судов, разрабатываемых в соответствии с ARP-4754 и ARP-4761. Работа инструментальной среды базируется на архитектурной модели программно-аппаратного комплекса на языке AADL, использование которой позволяет автоматизировать решение следующих задач:
Слайды
Видео
Докладчики: Денис Буздалов, Алексей Хорошилов (ИСП РАН)
В докладе будет представлена инструментальная среда MASIW (АРМ СИ), которая разрабатывается совместно ИСП РАН и ФГУП «ГосНИИАС» в рамках
комплексных НИР, проводимых ФГУП «ГосНИИАС». Среда MASIW предназначена для автоматизации предварительного проектирования программно-аппаратных
комплексов, таких как комплексы бортового оборудования воздушных судов, разрабатываемых в соответствии с ARP-4754 и ARP-4761. Работа инструментальной среды базируется на архитектурной модели программно-аппаратного комплекса на языке AADL, использование которой позволяет автоматизировать решение следующих задач:
- моделирование архитектуры комплекса в целом и систем в его составе;
- моделирование поведения компонентов комплекса;
- верификация архитектуры комплекса по отношению к требованиям:
- статический анализ достаточности аппаратных ресурсов, согласованности интерфейсов, времени задержки при передаче данных;
- динамический анализ поведения компонентов комплекса с применением универсального симулятора;
- синтез архитектурных моделей, включая распределение функциональных приложений по вычислительным модулям;
- генерация циклограммы расписания запуска ARINC-653 разделов;
- генерация конфигурационных данных для ARINC-653 ОСРВ и компонентов AFDX сети;
- моделирование отказов компонентов комплекса и реакцией на них;
- анализ отказобезопасности комплекса, в том числе:
- построение дерева неисправностей и численный анализ дерева неисправностей;
- анализ видов и последствий отказов;
- совместная симуляция работы прикладных разделов под управлением ОС РВ JetOS в эмуляторе Qemu и универсального симулятора архитектурных моделей.
Слайды
Видео