在当今,汽车中的嵌入式电子控制单元日益增多,它们会带来很多对统一车载诊断服务的需求。在汽车界,无论是开发人员,维修人员或是售后服务人员都需要使用车载诊断系统来帮助他们完成领域内的工作。现阶段,通过应用KWP2000,SAEJ1939和UDS等一系列通讯协议,使得诊断设备和车载网络可以基于特定的标准进行相互间的通信。UDS(统一诊断服务)是一种独立的服务规范。所以,要想实现基于CAN总线的车载诊断,必须有其他的规范支持。目前国际上主流的规范是ISO15765(CAN网络上的诊断),它采用OSI的7层通信模型,定义了一系列独立于服务的通信协议,从而使得车载诊断服务能够顺利进行。与此同时,传统的嵌入式软件开发设计很多文档工作和手工代码,这使得很多的验证工作缺少专业工具的支持,从而引入手工误差,也使得很多复杂的软件算法及逻辑问题通常在开发的后期才能被发现,从而给整个开发过程带来很高的修复代价。为了克服这些问题,目前汽车行业内广泛使用一种基于模型设计的开发方法,模型设计可以在早期就得到清晰且可执行的需求规范,并通过自动验证和自动生成来保证开发流程的便利性和有效性。本论文的目标是分析和实现ISO15765中的网络层通信协议,同时采用基于模型设计的方法进行系统开发。首先在simulink/stateflow平台上遵照协议标准进行协议栈系统建模,并对通讯逻辑,定时控制和错误管理进行详细设计,最终利用RTW工具包进行产品级代码生成并完成相关验证工作。