先进飞机电气系统主执行软件研究与设计
| 摘要 | 第1-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-15页 |
| 第一节 选题与研究方向 | 第7页 |
| 第二节 研究对象和背景 | 第7-12页 |
| ·飞机供电系统 | 第7-8页 |
| ·飞机配电系统 | 第8-12页 |
| 第三节 国内外发展状况 | 第12-13页 |
| 第四节 论文组织结构 | 第13-15页 |
| 第二章 系统设计 | 第15-28页 |
| 第一节 系统设计的目标 | 第15-16页 |
| 第二节 需求分析 | 第16-19页 |
| 第三节 系统方案 | 第19-23页 |
| ·功能定义 | 第19-21页 |
| ·容错设计 | 第21页 |
| ·系统重构模块设计 | 第21-23页 |
| 第四节 主执行软件的设计 | 第23-28页 |
| 第三章 硬件的选取 | 第28-35页 |
| 第一节 嵌入式处理器 | 第29-32页 |
| ·嵌入式计算机的分类 | 第29-32页 |
| ·嵌入式PC／104 486DX主机板 | 第32页 |
| 第二节 CAN总线PC／104通信接口卡 | 第32-34页 |
| ·现场总线简介 | 第32-33页 |
| ·CAN卡的选择 | 第33-34页 |
| 第三节 网卡和显卡 | 第34-35页 |
| 第四章 嵌入式实时操作系统 | 第35-59页 |
| 第一节 操作系统的分析与选择 | 第36-42页 |
| ·国内外RTOS现状 | 第36-38页 |
| ·衡量嵌入式实时操作系统的标准以及选择 | 第38-42页 |
| 第二节 板级支持包BSP的研究 | 第42-53页 |
| ·BSP技术介绍 | 第42-44页 |
| ·VxWorks下的驱动程序 | 第44-45页 |
| ·CAN通信卡驱动程序的设计 | 第45-53页 |
| 第三节 开发调试环境的建立 | 第53-59页 |
| ·Tornado集成开发环境 | 第54-55页 |
| ·目标机的配置 | 第55-59页 |
| 第五章 应用程序开发 | 第59-86页 |
| 第一节 嵌入式应用软件设计与分析 | 第59-62页 |
| ·软硬件协同设计 | 第60-62页 |
| ·本课题的设计 | 第62页 |
| 第二节 Petri网建模 | 第62-69页 |
| ·Petri网的基本概念 | 第64-67页 |
| ·主执行软件的Petri网建模 | 第67-69页 |
| 第三节 主执行软件的实现 | 第69-86页 |
| ·主执行软件数据流分析 | 第71-74页 |
| ·关键模块的详细设计 | 第74-86页 |
| 第六章 软件开发的可靠性保证 | 第86-90页 |
| 第一节 软件可靠性评估 | 第86页 |
| 第二节 可靠性保证的方法 | 第86-87页 |
| 第三节 软件测试 | 第87-90页 |
| 论文工作总结 | 第90-92页 |
| 致谢 | 第92-93页 |
| 参考文献 | 第93-97页 |
