基于autosar的汽车电子通讯协议的研究

《基于autosar的汽车电子通讯协议的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、？？？２０１５届硕士研宄生学位论文＿＇分类号：学校代码：１０２６９Ｉ０００２１密级：学号：５１１２１５ＣＩ）＾．Ｖ．ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙｆｉｉｉ土芽位记文＇ＳＤＭＡＳＴＥＲＩＳＳＥＲＴＡＴＩＯＮ基于ＡＵＴＯＳＡＲ的汽车电子通讯协议的研究院系：软件学院专业：软件工程研究方向：程序分析与验证指导教师：郭建副教授学位申请人：冉钦文‘，，．４．．．２０１５年４

2、月■？？Ｉ－？．．．．ｊＩ■Ｖ．？？４’：．；？．２０１５届研究生硕士学位论文分类号：码：１０２６９：学校代密级学号：５１１２１５０００２１：翁華策障祝犬ｆＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ硕士学位论文＇ＭＡＳＴＥＲＳＤＩＳＳＥＲＴＡＴＩＯＮ论文题目：基于ＡＵＴＯＳＡＲ的汽车电子逋讯协议的端务：院系：软件学院专业：软件工程研究方向：程序分析与验证指导教师：

3、郭建副教授学位申请人：冉钦文２０１５年４月１０日＇ＤｉｓｓｅｒｔｉｏｎｆｏｒＭａｓｔｅｒｓｄｅｒｅｅｉｎ２０１５ＳｔｕｄｅｎｔＩＤ：５１１２１５０００２１ｇＵｎｉｖｅｒｓｉｔＣｏｄｅ：１０２６９ｙＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙＴｉｔｌｅ：ＲｅｓｅａｒｃｈｏｆａｕｔｏｍｏｔｉｖｅｅｌｅｃｔｒｏｎｉｃｃｏｍｍｕｎｉｃａｔｉｏａｐｒｏｔｏｃｏｌｂａｓｅｄｏｎＡＵＴＯＳＡＲＤｅｐａｒｔｍｅｎｔ：Ｓｏｆｔｗａｒｅ

4、ＥｎｇｉｎｅｅｒｉｎｇＩｎｓｔｉｔｕｔｅＭａｏｒ：ＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇｊＲｅｓｅａｒｃｈｄｉｒｅｃｔｉｏｎ：ＰｒｏｇｒａｍａｎａｌｙｓｉｓａｎｄｖｅｒｉｆｉｃａｔｉｏｎＳｕｐｅｒｖｉｓｏｒ：ＡｓｓｏｃｉａｔｅＰｒｏｆ．ＧｕｏＪｉａｎＣａｎｄｉｄａｔｅ：ＲａｎＱｉｎｗｅｎ＇Ａｒｉｌ１０＼２０１５ｐ华东师范大学学位论文原创性声明郑重声明：本人呈交的学位论文《基于ＡＵＴＯＳＡＲ的汽车电子通讯协议的研究》，是在华东师

5、范大学攻读＃／博士（请勾选）学位期间，在导师的指导下进行的研究工作及取得的研究成果。除文中已经注明引用的内容外，本论文不包含其他个人已经发表或撰写过的研究成果。对本文的研究做出重要贡献的个人和集体，均已在文中作了明确说明并表示谢意。＇ｌｉｌ＂：作者签名：Ｍ日期＞。１作５月华东师范大学学位论文著作权使用声明《基于ＡＵＴＯＳＡＲ的汽车电子通讯协议的研究》系本人在华东师范大学攻读学位期间在导师指导下完成的硕博士（请勾选）学位论文，本论文的著作权归本人所有。本人同意华东师范

6、大学根据相关规定保留和使用此学位论文，并向主管部门和学校指定的相关机构送交学位论文的印刷版和电子版；允许学位论文进入华东师范大学图书馆及数据库被査阅、借阅；同意学校将学位论文加入全国博士、硕士学位论文共建单位数据库进行检索，将学位论文的标题和摘要汇编出版，采用影印、缩印或者其它方式合理复制学位论文。本学位论文属于（请勾选）“”“”＊（）１．经华东师范大学相关部门审查核定的内部或涉密学位论文，于年月白解密，解密后适用上述授权。ｙ不保密，适用上述授权。本人签名导师签

7、名表＿年５：月十“”＊涉密学位论文应是Ｂ经华东师范大学学位评定委员会办公室或保密委员会审定过的学位论文（需“”附获批的《华东师范大学研究生申请学位论文涉密审批表》方为有效）．，未经上述部门审定的学。此声明栏不填写的，默认为公开学位论文，均适用上述授权）位论文均为公开学位论文。冉软文硕士学位论文答辩委员会成员名单姓名职称单位备注朱惠彪教授华东师范大学主席张敏副教授华东师范大学毛宏燕副教授华东师范大学内容摘要，‘。随着科学技术及汽车工

8、业的快ｋ发展，围绕汽车电子开展的研究越来越多为了实现汽车上各种复杂的电子设备之间信息的快速、安全传输，人们研究出诸如ＣＡＮ、ＴＴＣＡＮ、ＬＩＮ、ＦｌｅｘＲａｙ等汽车内部网络通讯协议。而汽车开放系统架构ＡＵＴＯＳＡＲ（ＡＵＴｏｍｏｔｉｖｅＯｐｅｎＳｙｓｔｅｍＡＲｃｈｉｔｅｃｔｕｒｅ）的提出则为高效管理愈来一愈复杂的汽车电子。、网络系统提供个基础ＴＣＡＮＵＴＯＳＡＲ本文对Ｔ协议及Ａ规范进行分析，并运用形式化方法对ＴＴＣＡＮ协议及