基于AADL的建模和验证技术应用研究
随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础.
体系结构分析和设计语言、建模、验证、应用
20
TP391(计算技术、计算机技术)
国家自然科学基金项目90818024
2012-12-24(万方平台首次上网日期,不代表论文的发表时间)
共4页
2739-2741,2750