ВВЕДЕНИЕ Язык анализа и проектирования архитектуры SAE (называемый в этом документе AADL) — это текстовый и графический язык, используемый для проектирования и анализа архитектуры программного и аппаратного обеспечения критически важных для производительности систем реального времени. Это системы, работа которых сильно зависит от удовлетворения нефункциональных системных требований, таких как надежность@ доступность@ сроки@ оперативность@ пропускная способность@ безопасность@ и защищенность. AADL используется для описания структуры таких систем как сборки программных компонентов, отображаемых на платформе исполнения. Его можно использовать для описания функциональных интерфейсов с компонентами (таких как ввод и вывод данных) и критически важных аспектов компонентов (таких как синхронизация). AADL также может использоваться для описания того, как взаимодействуют компоненты, например, как соединяются входные и выходные данные или как компоненты прикладного программного обеспечения распределяются между компонентами платформы выполнения. Язык также можно использовать для описания динамического поведения архитектуры среды выполнения, обеспечивая поддержку моделирования рабочих режимов и переходов между режимами. Язык спроектирован так, чтобы его можно было расширять для анализа архитектур среды выполнения, которые основной язык не полностью поддерживает. Расширения могут принимать форму новых свойств и обозначений, специфичных для анализа, которые могут быть связаны с компонентами и сами стандартизированы. AADL был разработан для удовлетворения особых потребностей критически важных систем реального времени@, включая встроенные системы реального времени, такие как авионика@, автомобильная электроника@ или системы робототехники. Язык может описывать важные аспекты, критичные к производительности, такие как требования к времени @ поведение при сбоях и ошибках @ разделение времени и пространства @ а также свойства безопасности и сертификации. Такое описание позволяет разработчику системы выполнять анализ составных компонентов и систем, такой как анализ возможности планирования системы, анализ определения размеров и анализ безопасности. На основе этого анализа дизайнер может оценить архитектурные компромиссы и изменения. AADL поддерживает последовательный анализ сквозного воздействия изменений в архитектуре по нескольким измерениям анализа. Согласованность достигается за счет автоматического создания моделей анализа на основе аннотированной модели архитектуры. AADL предназначен для использования с инструментами генерации, которые поддерживают автоматическую генерацию исходного кода, необходимого для интеграции компонентов системы и построения исполнительной системы системы на основе проверенных моделей. Этот архитектурно-ориентированный подход к проектированию на основе моделей позволяет осуществлять поэтапную проверку и верификацию системных моделей на соответствие требованиям, а реализации — на соответствие системным моделям на протяжении всего жизненного цикла разработки. Этот документ содержит пересмотренную версию Приложения по поведению@, которая позволяет моделировать поведение компонентов и их взаимодействия в подъязыке приложения на основе конечного автомата.
SAE AS5506/3-2017 История
2017SAE AS5506/3-2017 Приложение D: Язык анализа и проектирования архитектуры (AADL) Приложение D: Приложение к модели поведения