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

摘要：

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

关键词：AADL、SystemC、转换技术、仿真

所属期刊栏目：38

分类号：TP3;TN9

资助基金：国家高技术研究发展计划863计划2009AA01Z147;陕西省自然科学基础研究计划项目2009JM8003-5;西工大科技创新基金2008KJ02045;西北工业大学引进高层次人才科研启动费资助项目及西北工业大学软件与微电子学院“R”孵化基金2010R005

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：161-164,196