SAE AS5506/1-2006
Приложение SAE для анализа архитектуры и языка проектирования (AADL), том 1: Приложение A: Графическая нотация AADL, Приложение C: Метамодель AADL и форматы обмена, Приложение D: Соответствие языка и интерфейс прикладной программы Приложение E: Приложение модели ошибок

Стандартный №

SAE AS5506/1-2006

Дата публикации

2006

Разместил

Society of Automotive Engineers (SAE)

состояние

быть заменен

быть заменен

SAE AS5506/1-2011

Последняя версия

SAE AS5506/1A-2015

сфера применения

Этот документ содержит три приложения к стандарту SAE AS5506 — языку анализа и описания архитектуры SAE. Первое приложение, Приложение A «Графическая нотация AADL», определяет набор графических символов для графической нотации AADL. Эти графические символы можно использовать для выражения связей между компонентами, функциями и соединениями в модели AADL. Графические диаграммы AADL являются законными в соответствии с основным стандартом AADL, если модель AADL, представленная графически, является законной и если используются правильные графические символы. Например, графическому редактору не разрешено создавать соединение, источник и место назначения которого не связаны. В графических представлениях моделей AADL разрешено показывать подмножества легальных моделей AADL. Например, значения свойств можно ввести через лист свойств или диалоговое окно. На рисунках в этом приложении представлены различные взгляды на модель AADL. Эти виды не являются предписывающими, а предназначены для иллюстрации возможных представлений и макетов. Второе приложение, Приложение C Метамодель AADL и форматы обмена, определяет метамодель AADL и форматы обмена на основе XML для моделей AADL. Метамодель AADL определяет структуру моделей AADL, т. е. объектное представление спецификаций AADL, соответствующее семантически оформленному абстрактному синтаксическому дереву. Объектным представлением моделей AADL можно управлять программно через API. Объектное представление моделей AADL также может постоянно храниться в виде XML-документов в стандартном формате обмена. Это позволяет различным инструментам, поддерживающим XML-схему AADL (XML 2001) или спецификацию метамодели XMI (XMI 2003), взаимодействовать с моделями AADL. И схема XML, и спецификация метамодели XMI для AADL получены из метамодели AADL, поэтому оба представления согласуются с метамоделью. Третье приложение, Приложение D «Соответствие языка и интерфейс прикладных программ», определяет правила для конкретного языка, чтобы исходный текст соответствовал спецификации архитектуры, написанной на AADL. Хотя AADL не зависит от языка исходного текста, в этом приложении приведены рекомендации для пользователей по переходу между моделями AADL и исходным текстом, написанным на Ada (ISO 1995, IEEE 2001), и исходным текстом, написанным на C (ISO 1999). В этом приложении рекомендуется использовать прикладной программный интерфейс (API) между прикладным программным обеспечением и средой выполнения, чтобы облегчить использование модулей исходного кода приложений на разных языках в общей среде выполнения. Четвертое приложение, Приложение E «Модель ошибок», определяет функции, позволяющие определить методы управления резервированием и снижения рисков в архитектуре, а также обеспечить качественную и количественную оценку свойств системы, таких как безопасность, надежность, целостность, доступность и ремонтопригодность. В этом приложении определяется подъязык, который можно использовать для объявления моделей ошибок в библиотеке приложений ошибок и связывания их с компонентами в спецификации архитектуры. В этом приложении также определяется подъязык, который может использоваться в разделе приложения об ошибках в основной декларации реализации стандарта AADL.

SAE AS5506/1-2006 Ссылочный документ

• IEEE 1003.13-2003 Стандарт информационных технологий. Стандартизированный профиль среды приложений (AEP). POSIX. Поддержка встраиваемых приложений и приложений реального времени. Документ IEEE Computer Society.*， 2023-11-10 Обновление
• IEEE 1003.5b-1999 Информационные технологии - Интерфейсы языка POSIX Ada - Привязка для системного прикладного программного интерфейса (API) - Расширения реального времени
• ISO/IEC 8652:1995 Информационные технологии - Языки программирования - Ада
• ISO/IEC 9899:1999 Языки программирования — C
• ISO/IEC TR 15942:2000 Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности.
• RTCA DO-254-2000 Руководство по обеспечению проектирования бортового электронного оборудования*， 2023-11-10 Обновление
• SAE ARP4761-1996 Руководящие принципы и методы проведения процесса оценки безопасности гражданских бортовых систем и оборудования
• SAE AS5506-2004 ЯЗЫК АРХИТЕКТУРНОГО АНАЛИЗА И ПРОЕКТИРОВАНИЯ (AADL)

SAE AS5506/1-2006 История

• 2015 SAE AS5506/1A-2015 Приложение SAE Architecture Analysis and Design Language (AADL), Приложение, Том 1: Приложение A: Приложение ARINC653, Приложение C: Приложение генерации кода, Приложение E: Приложение модели ошибок
• 2011 SAE AS5506/1-2011 Приложение SAE для анализа архитектуры и языка проектирования (AADL), том 1: Приложение A: Графическая нотация AADL, Приложение C: Метамодель AADL и форматы обмена, Приложение D: Соответствие языка и интерфейс прикладной программы Приложение E: Приложение модели ошибок
• 2006 SAE AS5506/1-2006 Приложение SAE для анализа архитектуры и языка проектирования (AADL), том 1: Приложение A: Графическая нотация AADL, Приложение C: Метамодель AADL и форматы обмена, Приложение D: Соответствие языка и интерфейс прикладной программы Приложение E: Приложение модели ошибок

SAE AS5506/1-2006 - Все части