Институт системного программирования им. В.П. Иванникова РАН


Скачать сборник технологий

Masiw: набор инструментов для проектирования ответственных систем

MASIW – набор инструментов для разработки программно-аппаратных комплексов ответственных систем в сфере авиации, медицины и др. Создан для инженеров-конструкторов комплексов бортового оборудования для авиационных судов, разрабатываемого с применением интегрированной модульной авионики (ИМА). Оперативно адаптируется под другие предметные области.

Особенности и преимущества

MASIW – технология для оптимизации разработки сложных программно-аппаратных комплексов, а также их верификации. Позволяет провести предварительную оценку качества изделия до появления опытного образца, а также анализ на отказоустойчивость. Снижает риск появления ошибок и дефектов. Разрабатывается совместно с ФГУП «ГосНИИАС». Несмотря на наличие инструмента OSATE на момент начала разработки, на сегодняшний день MASIW превосходит его по функциональности в плане верификации, а также статического и динамического анализа.

MASIW – это:

  • Создание, редактирование и управление моделями на языке AADL:
    • создание/редактирование моделей посредством текстового или графического редактора;
    • поддержка командной разработки с возможностью отслеживания и внесения изменений для отдельных элементов модели;
    • поддержка переиспользования AADL-моделей сторонних разработчиков.
  • Анализ моделей:
    • анализ структуры программно-аппаратного комплекса (достаточности аппаратных ресурсов, согласованности интерфейсов и т. п.);
    • проверка разрабатываемого программно-аппаратного комплекса на соответствие требованиям;
    • анализ характеристик передачи данных в сети AFDX (времени доставки сообщений от отправителя к получателю, глубины очередей передающих портов и т. п.);
    • построение дерева неисправностей и его численный анализ для определения вероятности отказного события верхнего уровня;
    • анализ видов и последствий отказов на основе архитектурной модели комплекса бортового оборудования, включая построение таблицы видов и последствий отказов;
    • симуляция модели программно-аппаратного комплекса с генерацией пользовательских отчётов по результатам работы симулятора, в том числе совместная симуляция работы прикладных разделов под управлением ОС РВ в эмуляторе QEMU и универсального симулятора AADL моделей.
  • Синтез моделей:
    • распределение функциональных приложений по вычислительным модулям с учётом ограничений ресурсов аппаратной платформы и с учётом дополнительных ограничений, касающихся вопросов надёжности и безопасности программно-аппаратного комплекса;
    • генерация распределения вычислительного времени процессора между функциональными приложениями (циклограмма расписания запуска приложений для ARINC-653 совместимых ОС РВ).
  • Генерация конфигурационных данных:
    • разработка специализированных инструментов конфигурационных данныхна основе предоставляемого программного интерфейса (API);
    • генерация конфигурационных файлов для компонентов КБО.
  • Возможность расширения набора инструментов путём создания собственных модулей (благодаря модульной архитектуре в основе технологии).

Схема работы

MASIW: поддержка проектирования ответственных систем

Разработчик/участник

Технологии программирования

Перейти к списку всех технологий