汽车电子系统软件构件的交易级建模与验证



汽车电子系统软件构件的交易级建模与验证

分类1：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文
分类2：教育论文网→交通运输论文→公路运输论文→汽车工程论文→汽车结构部件论文→电气设备及附件论文

汽车电子系统软件构件的交易级建模与验证

论文目录
摘要	第1-6页
Abstract	第6-11页
插图索引	第11-13页
附表索引	第13-14页
第1章绪论	第14-19页
· 课题来源	第14页
· 选题背景、目的和意义	第14-16页
· 研究内容	第16页
· 本文主要工作	第16-17页
· 本文组织结构	第17-19页
第2章基础理论和相关研究	第19-30页
2.1 AUTOSAR 基础理论及研究现状	第19-24页
2.1.1 AUTOSAR 概述	第19-20页
2.1.2 AUTOSAR 架构	第20-21页
2.1.3 AUTOSAR 方法论	第21-23页
2.1.4 AUTOSAR 的国内外研究现状	第23-24页
· 交易级建模研究现状	第24-28页
· 交易级建模基本概念	第24-25页
· 交易级建模理论的发展历程	第25页
· 交易级建模及仿真研究	第25-27页
· 交易级验证方法研究	第27-28页
· 小结	第28-30页
第3章汽车电子系统软件构件交易级建模需求	第30-44页
· 汽车电子系统软件构件建模需求	第30-35页
· 软件构件	第30-33页
· 软件构件类型分析	第33-34页
· 软件构件通信建模需求	第34-35页
· 模型描述语言的确立	第35-40页
3.2.1 SystemC 语言	第37页
3.2.2 SystemC 体系结构	第37-40页
· 汽车电子系统设计方法分析	第40-42页
3.3.1 VFB 视图	第41页
3.3.2 ECU 视图	第41-42页
· 交易级建模方案	第42页
· 小结	第42-44页
第4章汽车电子系统软件构件交易级模型	第44-57页
4.1 基于 SystemC 语言的汽车电子系统模型	第44-49页
· 软件模型	第44-45页
· 硬件抽象模型	第45-47页
· 软硬件交互模型	第47-49页
· 建模过程	第49-52页
4.2.1 PV 层 VFB 视图模型设计	第49-51页
4.2.2 PVT 层 ECU 视图模型设计	第51-52页
· 模型验证	第52-54页
4.3.1 PV 层模型验证	第52-53页
4.3.2 PVT 层模型验证	第53页
· 验证平台的设计与实现	第53-54页
· 验证具体流程	第54页
4.4 基于 CCSS 平台的建模及验证设计	第54-55页
· 小结	第55-57页
第5章汽车电子系统软件构件交易级建模与验证实例	第57-72页
5.1 ACC 系统简介	第57-58页
· 仿真平台简介	第58页
5.3 PV 层建模及验证	第58-68页
5.3.1 ACC 系统的 VFB 视图设计	第58-60页
5.3.2 ACC 系统软件构件设计与实现	第60-65页
5.3.3 ACC 系统 PV 层模型	第65-66页
· 验证与分析	第66-68页
5.4 PVT 层建模及验证	第68-71页
5.4.1 ACC 系统的 ECU 视图设计	第68-69页
5.4.2 ACC 系统 PVT 层模型	第69-70页
· 验证与分析	第70-71页
· 小结	第71-72页
工作总结与展望	第72-74页
参考文献	第74-79页
致谢	第79-80页
附录 A (攻读硕士学位期间发表的学术论文及参与的科研项目)	第80 页

本篇论文共80页，点击这进入下载页面。

更多论文
汽车电子系统软件构件的交易级建模
中气轿车侧围焊接工位设计与仿真分
汽车电子软件的实时性验证方法研究
某清扫车车架结构分析及相关问题研
基于轮胎磨损的前悬架和转向系统联
基于AUTOSAR的车灯和雨刷系统一致性
组合薄壁圆形吸能管的碰撞波形复现
组合式多功能儿童安全座椅关键技术
下肢冲击器与行人下肢有限元仿真碰
北京拓尔思公司网络舆情监测管理系
泵车臂架自动焊接生产线控制系统设
基于CAN总线的LamC系统的应用研究
超高速卷接机多轴同步伺服系统的研
基于PLC的餐厨垃圾车投排料控制系统
基于混沌的嗅觉感受器模型及其特性
供电企业客户满意度的实证研究
免疫克隆选择算法改进及其应用研究
成品油管道SCADA系统的设计与实现
基于S3C44BOX的协议转换器的设计与
面向SAT问题的免疫算法的改进研究
基于神经网络和对数效用的访问控制
免疫阴性选择算法检测器研究及其在
基于超节点与B+树的动态分层P2P系统
Web聚合应用的安全跨域通信研究
单播丢包层析技术研究及其在非平稳
基于高效的SSH协议的运维审计系统研
基于IPv6的高校校园网升级技术的研
基于语义分析的网络过滤设计与实现
IP追踪中的包标记算法研究
指纹编码与合谋攻击技术研究
SOA中基于QoS的Web服务选择研究
基于蜜网的网络安全防御技术研究
基于自适应聚类算法的DDoS攻击检测
多摄像机标定技术研究及其应用
基于层次聚类的进化树构建算法研究
异构多核系统中面向细粒度任务集的
基于粗糙自适应遗传算法的图像恢复
基于视频的肢体定位与手势动作识别
面向复杂背景的视频文本定位研究
基于语义的安全文本隐写技术研究
工业视觉成像与流处理技术应用研究
安瓿溶液中可见异物的视觉检测方法
水面镜面反射高光效果绘制方法研究
UHF RFID读写器数字基带系统的设计
基于局部二进制模式与变换域的人脸
基于多摄像机人体运动跟踪方法研究
智能车辆中基于视频的车辆检测算法
运动捕获数据的处理与编辑技术研究
面向一种云计算平台的任务调度技术
基于需求分析的两阶段测试用例集优
基于DCT的鲁棒性视频水印技术研究
中文常识本体的半自动构建与应用
产品信息模型为中心的PDM技术研究
基于图割理论的立体匹配算法研究
车载数据库若干关键技术研究
基于数据仓库的高职院校教学质量评
融合经典搜索策略的微粒群算法及其
电信BSN容灾备份系统的设计与实现
基于智能客户端的考试管理信息系统
基于SOA的智能表单设计及应用研究
烟草商业企业卷烟数字仓储系统的研
基于内容的图像检索方法的研究与实
数字图像水印关键技术研究
贝叶斯分类算法在税收政策公文识别
液体瓶装生产线视觉检测机器人的控
指纹识别中匹配算法的研究
遮挡情况下人脸跟踪算法的研究
基于TOPPERS的车载操作系统设计及其
数据挖掘在入侵检测中的应用

软件构件论文 AUTOSAR论文交易级建模论文汽车电子系统论文嵌入式软件论文
版权申明：目录由用户zhangxiao20**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved