基于SystemC的AADL软构件仿真代码转换技术

被引：0

作者：

马春燕 ^{[1
]}

董云卫 ^{[2
]}

陆伟 ^{[1
]}

朱晓燕 ^{[3
]}

机构：

[1] 西北工业大学软件与微电子学院

[2] 西北工业大学计算机学院

[3] 北京航空航天大学计算机学院

来源：

计算机科学 | 2011年 / 38卷 / 08期

基金：

国家高技术研究发展计划(863计划);

关键词：

AADL; SystemC; 转换技术; 仿真;

D O I：

暂无

中图分类号：

TP368.1 [微处理机];

学科分类号：

摘要：

目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量,进而减少系统开发的代价,是目前急需解决的技术挑战。SystemC是一种软硬件协同仿真的系统描述语言,由此提出了AADL软构件到SystemC仿真代码的转换技术上,设计和实现了转换工具,并以航行控制系统为例,阐释了转换技术和基于SystemC的线程调度仿真。通过本研究成果,用户可以实现基于SystemC的AADL软构件的仿真,包括软构件之间交互、执行时间和线程调度的仿真等,用户也可以将研究成果与基于SystemC的AADL执行平台构件仿真相结合,对软硬件进行协同仿真。

引用

页码：161 / 164+196 +196

页数：5