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

SystemC-based Simulation Code Generation for AADL Software Component

作　　者：马春燕[1] 董云卫[2] 陆伟[1] 朱晓燕[3] 

机构地区：[1]西北工业大学软件与微电子学院,西安710072 [2]西北工业大学计算机学院,西安710072 [3]北京航空航天大学计算机学院,北京100191

出　　处：《计算机科学》2011年第8期161-164,196,共5页Computer Science

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

摘　　要：目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量,进而减少系统开发的代价,是目前急需解决的技术挑战。SystemC是一种软硬件协同仿真的系统描述语言,由此提出了AADL软构件到SystemC仿真代码的转换技术上,设计和实现了转换工具,并以航行控制系统为例,阐释了转换技术和基于SystemC的线程调度仿真。通过本研究成果,用户可以实现基于SystemC的AADL软构件的仿真,包括软构件之间交互、执行时间和线程调度的仿真等,用户也可以将研究成果与基于SystemC的AADL执行平台构件仿真相结合,对软硬件进行协同仿真。Currently,AADL in mission-critical and safety critical embedded field has a good application.In the design phase,how to simulate AADL model is urgent.Model simulation can iteratively construct and refine design model for early detection of problems,assuring the quality of the design model,thereby reducing the cost of system development.SystemC is a system description language of hardware and software co-simulation.The paper proposed conversion technology and implemented conversion tool for AADL software component to SystemC simulation code.At last,the paper used cruise control system as an example to explain the conversion technology and SystemC-based thread scheduling simulation.Through the research results,users can obtain SystemC-based simulation of AADL software components including the interaction,execution time and sequence between software components,and the thread scheduling simulation,and can implement software and hardware co-simulation through combining AADL hardware component simulation platform.

关 键 词：AADL SYSTEMC 转换技术 仿真 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]