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

• 作者: 张辉 经小川 谢伟华 高金梁
• 来源期刊: 计算机测量与控制
• 关键词: 体系结构分析和设计语言 建模 验证 应用
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 试验与评价技术
• 页码范围: 2739-2741,2750
• 分类号: TP391
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	经小川		19	41	4.0	4.0
2	张辉		22	32	4.0	4.0
3	谢伟华		4	5	1.0	2.0
4	高金梁		2	5	1.0	2.0