基于systemc的aadl软构件仿真代码转换技术

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