基于AADL的建模和验证技术应用研究

作者：张辉; 经小川; 谢伟华; 高金梁

来源：计算机测量与控制, 2012, (10): 2739-2741+2750.

• 体系结构分析和设计语言
• 建模
• 验证
• 应用

随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础。