AADL指南：属性类型与结构分析

"属性类型声明-gjbz 768a-1998 故障树分析指南" 在航空标准AS5506中定义的AADL（结构分析与设计语言）是一种建模语言，专注于描述和分析具有关键性能属性的系统结构。它特别适用于实时嵌入式和高可靠性的系统，以及具有特定性能需求的复杂系统。AADL通过其可扩展的符号、工具框架和严谨的语义，使得系统设计能在早期阶段进行验证和迭代。 在AADL中，属性类型声明是定义属性类型的关键组成部分，它关联一个标识符，并为该类型的属性指定合法的值集。属性类型声明由以下几部分组成： 1. 属性类型的预期标识符，用于区分不同的属性类型。 2. 冒号(:)作为分隔符。 3. 关键字 "type"，表明接下来要定义的是属性类型。 4. 显示的类型定义，可以是基本类型如aadlboolean（对应布尔值true或false），或者是自定义的类型，如实数范围或整型。 5. 以分号(;)结束声明。 例如，属性类型声明可以定义一个名为Speed_Range的类型，它是一个实数，取值范围限定在0.0mph到150.0 mph。另一个例子是定义整型常量Maximum_Faults，值为3。 属性名声明则用于创建属性实例，比如comm_error_status，这是一个类型为aadlboolean的属性，可以应用于系统和外设构件。属性常量声明则为属性定义固定的不可变值，如上述的Maximum_Faults。 AADL的结构包括多种抽象构件，如软件构件（进程、线程、线程组、数据和子程序）、执行平台构件（处理器、存储器、总线和外设），以及系统抽象和构件交互规范。这些构件和它们的交互关系可以用文本规范（遵循AADL标准SAE 06a）或图形化表示来描述，两者可以相互补充以增强理解和验证。 此外，AADL还支持对系统操作状态的规范，如模式和模式转换，以及流概念的使用，这些用于描述数据在系统中的流动。通过这些机制，AADL提供了一套全面的方法来建模和分析复杂的系统结构，确保了设计的准确性和可靠性。