Этот стандарт определяет язык для описания как архитектуры программного обеспечения, так и архитектуры платформы исполнения критически важных по производительности встроенных систем реального времени; этот язык известен как язык проектирования анализа архитектуры SAE (AADL). Модель архитектуры, определенная в AADL, описывает свойства и интерфейсы компонентов. Компоненты делятся на две основные категории: те, которые представляют платформу выполнения, и те, которые представляют приложение. Первый типизирован процессорами @ шинами @ и памятью @ последним модулями прикладного программного обеспечения. Модель описывает, как эти компоненты взаимодействуют и интегрируются, образуя целостные системы. В нем описаны как функциональные интерфейсы, так и аспекты, критичные для работоспособности отдельных компонентов и сборок компонентов. Изменения в архитектуре среды выполнения моделируются как рабочие режимы и смены режимов. Этот язык применим к системам, которые: ? в реальном времени@ ? ограниченные ресурсы@ ? критически важные для безопасности системы@ ? и те, которые могут включать в себя специализированное оборудование устройства. Этот стандарт определяет ядро AADL, которое предназначено для расширения. Хотя базовый язык предоставляет ряд концепций моделирования с точной семантикой, включая сопоставление с платформами выполнения и спецификацию поведения во время выполнения, невозможно предусмотреть все возможные варианты анализа архитектуры. Расширения для реализации новых видов анализа и уникальных атрибутов оборудования принимают форму новых свойств и обозначений, специфичных для анализа, которые можно связать с компонентами. Пользователи или поставщики инструментов могут определять наборы расширений. Наборы расширений могут быть предложены для включения в настоящий стандарт. Такие расширения будут определены как часть нового Приложения, добавленного к стандарту. Этот стандарт не определяет, как должны определяться детали детального проектирования или реализации программных и аппаратных компонентов. Эти детали могут быть заданы с помощью различных языков программирования и описания аппаратного обеспечения. Стандарт определяет соответствующие характеристики подробного описания проекта и реализации@, такие как исходный текст, написанный на языке программирования или языке описания аппаратного обеспечения@, с внешней точки зрения (черный ящик). Эти соответствующие характеристики определяются как свойства компонента AADL и как правила соответствия между свойствами и описанными компонентами. Этот стандарт не предписывает каких-либо конкретных технологий системной интеграции, таких как интерфейсы прикладных программ операционной системы или промежуточного программного обеспечения, а также шинные технологии или топологии. Однако@ конкретные топологии системной архитектуры@, такие как ARINC 653 RTOS@, могут быть смоделированы с помощью программного обеспечения и компонентов платформы выполнения. AADL можно использовать для описания различных аппаратных архитектур и программных инфраструктур. Технологии интеграции могут использоваться для реализации заданной системы. Стандарт определяет правила соответствия между спецификациями архитектуры системы AADL и физическими системами, реализованными на основе этих спецификаций. Стандарт не был разработан вокруг определенного набора инструментов. Ожидается, что будут предоставлены системы и программные средства для поддержки использования AADL.
SAE AS5506-2004 История
2022SAE AS5506D-2022 Язык архитектурного анализа и проектирования (AADL)
2017SAE AS5506C-2017 Язык архитектурного анализа и проектирования (AADL)
2012SAE AS5506B-2012 Язык архитектурного анализа и проектирования (AADL)
2009SAE AS5506A-2009 Язык архитектурного анализа и проектирования (AADL)
2004SAE AS5506-2004 ЯЗЫК АРХИТЕКТУРНОГО АНАЛИЗА И ПРОЕКТИРОВАНИЯ (AADL)