中文摘要：

AUTOSAR是汽车工业中普遍采用的一个开放化和标准化的汽车软件体系。将AUTOSAR设计软件模型部署到目标硬件平台前，需对该模型进行仿真验证。基于此，设计一个用于软件设计模型验证的仿真工具，采用虚拟功能总线追踪机制来收集仿真过程中的各种信息。仿真器在模型源码基础上进行仿真验证，结果表明，与传统的仿真工具相比，该仿真器能够最大化保证与模型在目标机上运行时的一致性，提高系统开发效率。

英文摘要：

AUTomotive Open System ARchitecture（AUTOSAR） is an open and standardized automotive software architecture which is widely adopted by the automotive industry. This paper presents a simulation tool for AUTOSAR design models verification before deployment on the target hardware platform. The tool aims to ensure maximum faithfulness of the software by simulating software on the target electronic control unit at the source-code level. The results show that the simulator can give the developer more confidence on the correctness of the overall software stack than traditional simulation techniques, and improves the efficiency of system development.