基于AADL的嵌入式软件的开发方法

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

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

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