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