中文摘要 | 第3-4页 |
ABSTRACT | 第4页 |
第一章 绪论 | 第8-12页 |
1.1 状态图和构件在嵌入式软件开发中的应用 | 第8-9页 |
1.2 基于构件的嵌入式软件的可靠性 | 第9-10页 |
1.3 课题研究的意义和内容 | 第10-12页 |
第二章 状态图和构件在嵌入式中的应用概述 | 第12-21页 |
2.1 嵌入式系统的定义及特征 | 第12-13页 |
2.2 状态图在嵌入式软件开发中的引入 | 第13-14页 |
2.2.1 嵌入式软件开发的挑战 | 第13页 |
2.2.2 状态机和状态图在嵌入式软件开发中的引入 | 第13-14页 |
2.3 状态机和状态图的介绍 | 第14-18页 |
2.3.1 状态机的介绍 | 第14-16页 |
2.3.2 状态图的介绍 | 第16-18页 |
2.4 VisualSTATE 介绍 | 第18-19页 |
2.5 构件技术概述 | 第19-20页 |
2.6 小结 | 第20-21页 |
第三章 MC9S12X 微控制器和XGATE Lib 构件库介绍 | 第21-29页 |
3.1 微控制器MC9S12XEQ512 概述 | 第21页 |
3.2 MSCAN 模块 | 第21-25页 |
3.2.1 CAN 总线简介 | 第22页 |
3.2.2 MSCAN 模块简介 | 第22-23页 |
3.2.3 MSCAN 模块的数据传送结构 | 第23-25页 |
3.2.4 MSCAN 模块的数据接收结构 | 第25页 |
3.3 XGATE 模块 | 第25-27页 |
3.4 XGATE Lib 构件库 | 第27-28页 |
3.5 小结 | 第28-29页 |
第四章 CAN 节点的设计和实现 | 第29-47页 |
4.1 CAN 发送和接收模块的设计和实现 | 第29-33页 |
4.1.1 CAN 发送和接收模块的硬件设计 | 第29-30页 |
4.1.2 CAN 发送和接收模块的软件实现 | 第30-33页 |
4.1.2.1 CAN Driver 构件的接口函数和中断函数 | 第30-31页 |
4.1.2.2 CAN 消息发送程序的实现 | 第31-32页 |
4.1.2.3 CAN 消息接收程序的实现 | 第32-33页 |
4.2 CAN 节点中GPS 模块的设计和实现 | 第33-43页 |
4.2.1 GPS 和GPS 接收板介绍 | 第34-35页 |
4.2.2 UTC 时间引入CAN 节点 | 第35页 |
4.2.3 CAN 节点中GPS 模块的硬件设计 | 第35-36页 |
4.2.4 CAN 节点中GPS 模块的软件实现 | 第36-43页 |
4.2.4.1 UTC 时间基准 | 第36-37页 |
4.2.4.2 SCI Emulation 软件构件的接口函数 | 第37-38页 |
4.2.4.3 UTC 时间获取程序的实现 | 第38-41页 |
4.2.4.4 带时间戳的CAN 消息发送程序的实现 | 第41页 |
4.2.4.5 带时间戳的CAN 消息接收中断程序的实现 | 第41-42页 |
4.2.4.6 GPS 模块主程序的实现 | 第42-43页 |
4.3 CAN 节点中LCD 模块的设计和实现 | 第43-46页 |
4.3.1 CAN 节点中LCD 模块的硬件设计 | 第43-44页 |
4.3.2 CAN 节点中LCD 模块的软件实现 | 第44-46页 |
4.4 小结 | 第46-47页 |
第五章 基于构件技术的嵌入式软件可靠性分析 | 第47-67页 |
5.1 基于构件技术的嵌入式软件可靠性分析 | 第47-55页 |
5.1.1 场景 | 第48页 |
5.1.2 构件依赖图 | 第48-50页 |
5.1.3 参数估算 | 第50-51页 |
5.1.4 构造构件依赖图 | 第51-52页 |
5.1.5 软件的可靠性 | 第52-55页 |
5.2 CAN 节点的软件可靠性分析 | 第55-66页 |
5.2.1 CAN 节点的软件系统结构 | 第55-56页 |
5.2.2 系统的场景 | 第56-60页 |
5.2.3 构造构件依赖图 | 第60-61页 |
5.2.4 可靠性分析 | 第61-66页 |
5.2.4.1 根据构件的可靠性分析软件的可靠性 | 第62-63页 |
5.2.4.2 根据传送可靠性分析软件的可靠性 | 第63-64页 |
5.2.4.3 根据操作剖面分析软件的可靠性 | 第64-66页 |
5.3 小结 | 第66-67页 |
第六章 总结和展望 | 第67-68页 |
参考文献 | 第68-71页 |
发表论文和科研情况说明 | 第71-72页 |
致谢 | 第72页 |