安全关键系统(Safety Critical System)的模型驱动开发过程中，怎样提高模型对实时嵌入式系统非功能需求的表达能力，怎样在早期设计过程中对系统进行分析与验证，怎样正确的生成代码一直是研究热点。

体系结构分析与设计语言AADL是在这种背景下产生的，能够描述ERTS的非功能属性，支持静态、动态结构的协同建模，支持软件、硬件的协同建模，并且可以针对特定领域进行扩展。

目前，基于AADL的模型驱动过程得到了学术界和工业界的广泛研究和应用。

在以后的过程中，我将对基于AADL的嵌入式开发框架：建模、分析与验证和代码生成的过程进行一一介绍，在展示我们的成果的同时，也希望志同道合同方向的朋友参与交流。