汽车日益增加的功能需求导致汽车上的ECU（Electrical Control Unit）数量逐步增多，汽车电子系统变得日益复杂，汽车电子软件设计和开发也变得更加困难。如何解决复杂汽车电子系统软件的设计难题，同时保证软件的质量和开发时间，成为了汽车电子系统领域的研究热点。本文结合汽车电子软件系统的特点，依据汽车领域的AUTOSAR（AutomotiveOpen System Architecture）规范，对基于软件构件的汽车电子系统的设计方法进行探索和研究，采用交易级建模方法，在高抽象层次实现软件构件的建模和验证，从而在系统早期设计阶段发现设计中存在的问题，保证软件质量，提高软件开发效率。本文的主要工作包括：分析了AUTOSAR相关技术，涵盖AUTOSAR架构、软件设计方法论及应用研究现状；针对AUTOSAR架构的特点，引入了交易级建模理论，并详细介绍了交易级建模的概念、发展历程、仿真方法及软件验证技术等研究现状。针对汽车电子软件构件的特点，对软件构件的结构、类型及通信行为等建模需求进行了分析。在此基础上，确定了模型描述语言，并重点分析了该语言的特点和结构。在详细分析基于AUTOSAR的汽车电子系统设计方法的基础上，确立了交易级建模基础方案。依据AUTOSAR规范，提出了一种面向软件构件的汽车电子系统的交易级建模和验证方法。该方法首先采用SystemC语言描述了汽车电子系统软件模型、硬件抽象模型及软硬件交互模型；然后针对AUTOSAR规范中的汽车电子系统设计流程，提出了PV（Programmer’s View）层和PVT（Programmer’s View plus Timing）层的交易级建模方法和验证流程；最后，在CCSS（CoCentric System Studio）上实现了面向汽车电子软件系统设计和验证的交易级建模、仿真、验证综合平台。以汽车自适应巡航控制系统为例，依据所提出的建模方法设计了自适应巡航控制系统的各个软件构件及互连模型，并在PV和PVT层分别实现了软件构件的交易级模型，利用CCSS建模-仿真-验证平台对汽车自适应巡航控制系统的设计进行了仿真验证。实验结果表明，这种交易级建模方式能有效地实现符合AUTOSAR规范的汽车电子系统软件构件的仿真，而且仿真速度快，有利于在系统设计早期阶段对软件构件进行验证及性能分析，从而保证汽车电子系统软件开发质量并能缩短软件开发周期。