Язык архитектурного анализа и проектирования

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

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

Экосистема AADL

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

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

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

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

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

MASIW — это интегрированная среда разработки на базе Eclipse с открытым исходным кодом для разработки и анализа моделей AADL. Разработан ИСП РАН.
OSATE включает платформу моделирования, графическое средство просмотра и языки запросов ограничений.
Ocarina, набор инструментов AADL для генерации кода на основе моделей.
Инструментальная цепочка TASTE , поддерживаемая Европейским космическим агентством.

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

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

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

AVSI/SAVI : инициатива, которая использует AADL (среди других языков) для виртуальной интеграции аэрокосмических и оборонных систем.
META : проект DARPA по совершенствованию методов разработки программного обеспечения.
PARSEC: французская инициатива по проверке и внедрению систем авионики на основе архитектурных моделей.
TASTE: платформа для проектирования критически важных систем на основе моделей

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

Ссылки

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

Внешние ссылки

[1] Архитектурный анализ и язык проектирования , Институт разработки программного обеспечения , Университет Карнеги-Меллона , Питтсбург, Пенсильвания, США. Архивировано 1 ноября 2013 г. в Wayback Machine.

[2] Подробная презентация AADL. Архивировано 4 февраля 2012 г., на Wayback Machine.

[3] Бордин М., Комар К., Фалис Э., Гасперони Ф., Мой Ю., Рича Э. и Хьюз Дж. (2014). Целостность системы и программного обеспечения: практический пример.

[4] Деланж, Жюльен. «Генерация кода с помощью AADL: современный отчет» .

[1]

[2]

[3]

[4]