体系结构分析与设计语言AADL基础.pdfVIP

AADL 入门基础（姜泮昌） 1 概述 2001.11,SAE 提出航空标准AS5506, 即AADL 。支持对性能关键系统属性用可扩展的标 记符、工具框架和精确定义的语义进行早期重复性的分析。 AADL 可以用于建模和分析正在使用中的系统，可以设计和集成系统。AADL 可以用 于部分定义模块的分析，也可以用于从源码中提取出来的完整系统的分析。 AADL 支持对性能关键系统质量（例如性能、可调度性和稳定性）的早期预测和分析。 例如线程构件的