AADL模型测试技术研究
西北工业大学 董云卫
架构分析设计语言AADL是一种广泛应用于安全攸关（Safety-critical）复杂嵌入式系统的模型设计与系统属性分析工具，模型测试技术是验证AADL系统模型非功能属性的一种新方法。 本次报告首先介绍模型测试技术的基本原理和方法，并结合AADL构件模型及其模型实例特征，着重介绍基于SystemC 刻画AADL行为属性的仿真机制和测试方法，在此基础上，介绍支持AADL模型仿真测试方法的嵌入式系统软硬件协同设计仿真平台。最后，结合应用案例分析，介绍模型测试的研究进展和应用发展。
