AADL：航空结构分析与设计语言——关键属性与构建系统详解

AADL（Architecture Analysis & Design Language，结构分析与设计语言）是由美国汽车工程师协会（SAE）于2004年发布的航空标准AS5506，旨在支持高性能和关键系统的早期和反复结构分析与设计。它是一种建模语言，通过可扩展的符号、明确的语义和工具框架，用于描述和分析应用系统的结构，包括软件、可计算性硬件以及系统组件。 在AADL中，属性声明是核心概念之一，它有助于定义和管理系统的各种特性。11.1节详细阐述了五个与属性相关的声明： 1. 属性关联：这一部分涉及将一个特定的值或值集合分配给一个命名的属性，这对于记录和跟踪系统元素的特性至关重要。 2. 属性集：定义了一个属性类型，包括名称和一组预定义的常量，用于组织和管理属性的集合，便于理解和复用。 3. 属性类型：定义了属性的数据类型，规定了属性可以接受的值范围，确保属性值的准确性和一致性。 4. 属性名：这是属性声明中的重要环节，通过命名来标识属性类型，并将其应用到系统中的特定元素（如模式、端口等），使它们在整个系统架构中具有明确的角色。 5. 属性常量：为属性值提供一个命名的标识，使得在属性表达式中可以直接引用这些常量，方便在模型中使用。 AADL的应用广泛，特别适合于实时嵌入式系统和高可靠性系统的设计与分析。它通过文本规范（遵循SAE 06a标准）和图形化表示，清晰地展示了软件和硬件组件、系统交互、操作状态以及模式转换等概念。章节4至10分别深入探讨了AADL的不同组成部分，如软件构件（如进程、线程等）、执行平台（处理器、存储器等）、系统层次结构、交互规范、操作状态和流的使用等。 AADL是一个强大的工具，通过属性声明和其他建模元素，它为系统设计师提供了结构化的语言，以有效地描述和验证复杂系统的性能和行为。理解并掌握AADL属性声明，对于从事这类系统设计和分析的工程师来说至关重要。