教育论文网

汽车电子操作系统内核建模及形式语义研究与实现
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文
汽车电子操作系统内核建模及形式语义研究与实现
论文目录
 
摘要第1-6页
ABSTRACT第6-10页
缩略词表第10-11页
第一章 绪论第11-18页
　　1.1 研究背景和意义第12-13页
　　1.2 研究现状和存在的问题第13-14页
　　1.3 本文的内容和整体框架第14-16页
　　1.4 本文组织结构第16-18页
第二章 基于模型驱动的软件开发方法第18-26页
　　2.1 模型驱动架构基本概念第18-20页
　　　　2.1.1 模型驱动架构简介第18-19页
　　　　2.1.2 模型驱动架构基本思想第19-20页
　　2.2 模型驱动架构开发过程第20-21页
　　2.3 模型层次结构与相关标准第21-25页
　　　　2.3.1 元模型体系结构第21-23页
　　　　2.3.2 统一建模语言第23-25页
　　　　　　2.3.2.1 UML的发展和特点第23-24页
　　　　　　2.3.2.2 可执行UML第24-25页
　　2.4 本章小结第25-26页
第三章 汽车电子操作系统建模技术第26-56页
　　3.1 汽车电子工业标准第26-28页
　　　　3.1.1 OSEK/VDX标准第26-27页
　　　　3.1.2 AUTOSAR标准第27-28页
　　3.2 eAuto OS内核模型的建立方法第28-38页
　　　　3.2.1 元模型的提取和扩展第28-32页
　　　　　　3.2.1.1 UML标准模型库和扩展包的选取第28-30页
　　　　　　3.2.1.2 对UML扩展C语言元模型第30-32页
　　　　3.2.2 操作系统内核静态模型的建立第32-38页
　　　　　　3.2.2.1 操作系统内核顶层包图的建立第32-34页
　　　　　　3.2.2.2 调度表模块分析第34-36页
　　　　　　3.2.2.3 调度表模块模型的建立第36-38页
　　3.3 动作描述语言ASL的设计和实现第38-51页
　　　　3.3.1 ASL语法元素设计第38-42页
　　　　　　3.3.1.1 整体结构第38页
　　　　　　3.3.1.2 功能定义语句第38-39页
　　　　　　3.3.1.3 顺序逻辑控制语句第39-41页
　　　　　　3.3.1.4 类和对象操作语句第41-42页
　　　　3.3.2 词法和语法分析器的实现第42-51页
　　　　　　3.3.2.1 BNF和EBNF范式第43-44页
　　　　　　3.3.2.2 ASL文法的构建第44-50页
　　　　　　3.3.2.3 词法和语法分析器的生成第50-51页
　　3.4 模型的动作行为描述第51-54页
　　3.5 模型的持久化存储第54-55页
　　3.6 本章小结第55-56页
第四章 模型的形式语义研究第56-64页
　　4.1 形式化方法与形式语义第56-58页
　　　　4.1.1 形式化方法及其缺陷第56-57页
　　　　4.1.2 形式语义第57-58页
　　4.2 模型的形式化语义描述第58-63页
　　　　4.2.1 UML的形式化语义描述第58-62页
　　　　　　4.2.1.1 类图的语义第59-61页
　　　　　　4.2.1.2 状态图的语义第61-62页
　　　　4.2.2 验证思想与技术第62-63页
　　4.3 本章小结第63-64页
第五章 代码生成器的设计与实现第64-75页
　　5.1 代码生成技术及M2T标准第64-66页
　　　　5.1.1 代码生成技术的分类第64-65页
　　　　5.1.2 OMG M2T标准第65-66页
　　5.2 UML模型元素到C代码的生成第66-69页
　　　　5.2.1 包图的转换规则第66-67页
　　　　5.2.2 类图的转换规则第67-69页
　　　　5.2.3 Acceleo代码生成原理第69页
　　5.3 ASL语法元素到C代码的生成第69-74页
　　　　5.3.1 Xtend工作原理第69-71页
　　　　5.3.2 ASL语法元素的映射第71-73页
　　　　5.3.3 代码的集成方法第73-74页
　　5.4 本章小结第74-75页
第六章 测试坏境的搭建和实例验证第75-83页
　　6.1 测试环境搭建第75-76页
　　6.2 目标平台MCU驱动程序编写第76-79页
　　　　6.2.1 MCU驱动的作用第76-77页
　　　　6.2.2 MCU驱动的设计与实现第77-79页
　　　　　　6.2.2.1 文件结构第77-78页
　　　　　　6.2.2.2 功能结构第78-79页
　　6.3 自动化测试和测试结果第79-82页
　　　　6.3.1 测试方法第79-81页
　　　　6.3.2 自动测试和结果第81-82页
　　6.4 本章小结第82-83页
第七章 总结与展望第83-85页
　　7.1 工作的总结第83页
　　7.2 未来工作展望第83-85页
致谢第85-86页
参考文献第86-89页

本篇论文共89页，点击这进入下载页面。
 
更多论文
汽车电子操作系统内核建模及形式语
甲·灭·敌草隆悬浮剂开发及其高效
机场飞机入坞管理系统设计
酯类难溶农药固体分散体的制备及应
GSM手机中SIM卡驱动程序的设计与实
太赫兹时域光谱技术在农药残留检测
基于OCR技术的涉密文档监控系统设计
Au纳米粒子或MnO2纳米片
基于Java EE的浙江电信语音业务结算
文化石快速粘贴用胶粘剂研究
案事件视频图像信息管理系统的设计
水溶性SMF树脂的结构表征及合成机理
远程教育培训管理系统平台设计与实
聚醚二元醇的端基官能化及应用研究
电力班组信息管理系统的设计与实现
丙烯酸酯改性聚醋酸乙烯酯核壳型乳
基层政府网络问政平台的设计与实现
pH和温度响应的纳米复合水凝胶的制
聚苯胺基水凝胶以及氮掺杂炭/石墨烯
山东省济南中学资产设备管理系统的
胜利油田车管中心一体化综合办公平
密胺修饰的酰胺类凝胶因子的合成及
酶催化交联的透明质酸水凝胶的合成
人社部机关服务中心人力资源管理系
基于B/S的邮政培训事务管理系统的设
二硫键交联的还原响应性水凝胶和微
江西乐平矿务局OA系统的设计与实现
三维生物质/石墨烯水凝胶的制备及其
基于HTML5移动应用框架的研究及应用
生物可降解的双氢键增强水凝胶在不
设备驱动可靠性设计与测试方法研究
壳聚糖—二氧化硅复合气凝胶的制备
科技会堂康乐管理系统的设计与实现
锡/聚吡咯三维纳米结构锂离子电池负
高精度液体流量标准装置软件设计和
SiC掺杂硅气凝胶及复合板的制备和保
高校实验室信息管理系统的设计与实
偶氮类超分子凝胶的制备及其光响应
工商银行郫县支行排队信息公告系统
石墨烯/炭气凝胶的制备及电化学性能
基于XMPP协议的移动环境下推送系统
溴氧化铋的制备及光催化降解苯的性
LiCoO2催化剂的制备及其
基于MVC小区物业管理系统的设计与实
低浓度甲烷催化剂颗粒气固流化态的
提高HRY分子筛硅和稀土利用率优化研
基于B/S的桂林市公交查询系统
金属酞菁/MCM-41的制备及其催化氧化
长城雪茄烟厂固定资产综合管理系统
火电厂SCR脱硝催化剂中毒规律及再生
广东浩华服饰有限公司进销存系统的
新型阴离子交换膜的制备及性能研究
作战指挥训练模拟Web服务管理系统的
平行回火方法的开发与应用
房地产中介公司租房管理信息系统设
氧化石墨烯复合海绵制备及吸附性能
基于ASP.NET的网络装饰建材购物系统
PSRY分子筛生产工艺研究
阳光集团设备管理信息系统的设计与
偕胺肟基聚合物/纳米复合材料的合成
超站仪测量一体化软件设计与实现
新型双网络凝胶重金属吸附剂的制备
基于ASP.NET的高校工作量统计系统的
沸石ZSM-39导向原位合成氮掺杂多孔
基于RFID的猪肉溯源系统设计与实现
低硅铝比X型分子筛的制备及其二次晶
绵阳烟草公司业务管理信息系统的设
溶剂再生法再生粉末活性炭
基于WEB的蜀南气矿项目管理系统的设
CoCrAPO-5分子筛及分子筛膜的合成与
中山市公安局南区分局人事档案管理
生物质废弃物制备炭吸附剂及脱臭性
重庆天然气公司人力资源管理系统的
双网络凝胶型吸附剂的制备及其重金
基于SOA技术的项目成本管理系统的设
硅藻土复合吸附剂制备及对重金属离
输血研究所实验室信息管理系统设计
生物表面活性剂的复配性能评价及渗
利安公司客户关系管理系统的设计与
环境响应性表面活性剂的自组装行为
基于B/S的人事档案及薪资管理系统的
氢化腰果酚聚氧乙烯醚-6的合成及其
某高校多媒体教室故障申报与处理系
表面活性剂混合物体系界面行为的模
义乌梦娜袜业客户信息管理平台的设
 
MDA论文 UML论文 ASL论文 代码生成器论文 语义描述论文
版权申明：目录由用户余**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved