Архитектурный анализ и язык дизайна - Architecture Analysis & Design Language

В Архитектурный анализ и язык дизайна (AADL) является язык описания архитектуры стандартизировано SAE.[1] AADL был впервые разработан в области авионика, и ранее был известен как Язык описания архитектуры авионики.[2]

Язык анализа и проектирования архитектуры является производным от MetaH, языка описания архитектуры, созданного Центром передовых технологий Honeywell. AADL используется для моделирования программного обеспечения и аппаратное обеспечение архитектура встроенный, в реальном времени система. Из-за того, что AADL делает упор на встраиваемую область, он содержит конструкции для моделирования как программных, так и аппаратных компонентов (с аппаратными компонентами, называемыми в рамках стандарта компонентами «платформы исполнения»). Затем эту модель архитектуры можно использовать либо в качестве проектной документации для анализа (например, возможность планирования и управления потоком), либо для генерации кода (программной части), например UML.[3][4]

Экосистема AADL

AADL определяется базовым языком, который определяет единую нотацию как для системных, так и для программных аспектов. Наличие единой модели упрощает инструменты анализа за счет единственного представления системы. Язык определяет системные характеристики с помощью свойств.

Язык можно расширить следующими способами:

  • определяемые пользователем свойства: пользователь может расширить набор применимых свойств и добавить свои собственные, чтобы указать свои собственные требования
  • языковые приложения: основной язык дополнен языками приложений, которые расширяют описание архитектуры. На данный момент определены следующие приложения.
    • Приложение по поведению: добавление поведения компонентов с конечными автоматами
    • Приложение к модели ошибок: определяет проблемы сбоя и распространения
    • Приложение ARINC653: определяет шаблоны моделирования для моделирования системы авионики.
    • Приложение к модели данных: описывает моделирование конкретных ограничений данных с помощью AADL.

Инструменты AADL

AADL поддерживается широким набором инструментов:

Полный список инструментов можно найти на Общедоступная вики AADL

Связанные проекты

AADL использовался в следующих исследовательских проектах:

  • AVSI / SAVI: инициатива, которая использует AADL (среди других языков) для виртуальной интеграции аэрокосмических и оборонных систем.
  • МЕТА: проект DARPA по совершенствованию методов разработки программного обеспечения
  • PARSEC: французская инициатива по проверке и реализации систем авионики на основе архитектурных моделей.
  • ВКУС: платформа для проектирования критически важных систем по моделям

Полный список прошлых и текущих проектов / инициатив невозможно найти на Публичная вики AADL потому что он был выведен на пенсию. По состоянию на декабрь 2020 года замены не было.

Рекомендации

  1. ^ Архитектурный анализ и язык дизайна, Институт программной инженерии, Университет Карнеги Меллон, Питтсбург, Пенсильвания, США. В архиве 2013-11-01 в Wayback Machine
  2. ^ Подробная презентация AADL В архиве 4 февраля 2012 г. Wayback Machine
  3. ^ Бордин, М., Комар, К., Фалис, Э., Гасперони, Ф., Мой, Ю., Рича, Э., и Хьюз, Дж. (2014). От системы к целостности программного обеспечения: тематическое исследование.
  4. ^ Деланж, Жюльен. «Создание кода с помощью AADL: современный отчет».

внешняя ссылка