这是在研究AADL标准过程中，写的笔记，拿出来与大家共享，也请大家多提意见，多多交流。
2001.11,SAE提出航空标准AS5506,即AADL。支持对性能关键系统属性用可扩展的标记符、工具框架和精确定义的语义进行早期重复性的分析。
AADL可以用于建模和分析正在使用中的系统，可以设计和集成系统。AADL可以用于部分定义模块的分析，也可以用于从源码中提取出来的完整系统的分析。
AADL支持对性能关键系统质量（例如性能、可调度性和稳定性）的早期预测和分析。例如线程构件的属性中有周期性、非周期性、背景和分散事件的选项进行预声明，以此能够进行分析。
Verification & validation检验和确认：软件测试过程中的两个步骤，检验软件是否正确，确认是在检验正确的基础上，确认是否是我们想要的。
从用户角度来看，AADL可以有文本、图形、XML三种表示形式……
因为图片太多，不好插入，上传到doc88了，下面是地址链接：