体系结构分析与设计语言AADL入门基础

2001.11，SAE 提出航空标准 AS5506，即 AADL。 支持对性能关键系统属性用可扩展的标记符、工具框架和精确定义的语义进行早期重复性的分析。

AADL 可以用于建模和分析正在使用中的系统， 可以设计和集成系统。 AADL 可以用于部分定义模块的分析，也可以用于从源码中提取出来的完整系统的分析。

AADL 支持对性能关键系统质量（例如性能、 可调度性和稳定性）的早期预测和分析。例如线程构件的属性中有周期性、非周期性、背景和分散事件的选项进行预声明， 以此能够进行分析。