第1章 机载计算机软件结构 1
1.1系统设计思想 1
1.1.1系统描述 1
1.1.2传统设计方法 1
1.1.3顶层设计思想 2
1.2软件设计原理 5
1.2.1任务管理 5
1.2.2时间管理 5
1.2.3错误管理 9
1.3软件结构及设计方法 11
1.3.1作战飞行程序 13
1.3.2执行程序 15
1.3.3应用程序 19
习题 30
第2章 机载计算机软件工程 31
2.1软件生命周期及软件开发支持技术 31
2.1.1软件过程开发模型 31
2.1.2系统建模方法 37
2.1.3开发方法及设计方法 43
2.1.4编码及测试 48
2.1.5系统的验证及维护 56
2.2软件的可靠性分析 62
2.2.1可靠性参数 62
2.2.2提高软件可靠性的方法 65
2.2.3软件的可靠性验证 71
2.3利用可靠性增长模型提高软件的质量水平 74
2.3.1可靠性增长模型的含义 74
2.3.2数学模型（公式） 75
2.3.3数据分析 76
2.4机载软件的测试方法 77
2.4.1传统的测试方法 77
2.4.2改进的测试方法 78
2.4.3净室测试方法 78
2.4.4应用实例分析 79
习题 82
第3章 机载计算机操作系统 83
3.1概述 83
3.1.1嵌入式系统的特点 83
3.1.2实时系统的特点 84
3.1.3机载计算机操作系统的特点 84
3.1.4机载计算机操作系统的比较 85
3.2嵌入式实时系统软件开发设计 86
3.2.1开发模型 86
3.2.2开发过程 87
3.2.3开发工具 97
3.3 VxWorks操作系统的特点、组成及配置 100
3.3.1 VxWorks操作系统的特点 100
3.3.2 VxWorks操作系统的组成 102
3.3.3 VxWorks操作系统的基本配置 103
3.4 VxWorks的任务、任务编程接口及任务间通信 112
3.4.1任务的含义及特征 112
3.4.2 Wind系统调度机制 114
3.4.3控制函数及通信方法 114
3.5 VxWorks的信号、中断处理及定时机制 122
3.5.1信号的含义及配置 122
3.5.2中断服务程序的设置及特殊限制 125
3.5.3 POSIX计时器的特点及实例分析 129
习题 136
第4章 机载计算机软件开发环境 137
4.1 Tornado集成开发环境简介 137
4.1.1 Toado的核心部件 137
4.1.2 Wind Power工具集的作用 140
4.1.3 Toado的使用步骤 142
4.2网络编程 154
4.2.1 VxWorks的网络工具 154
4.2.2客户*服务器编程 168
4.3建立调试环境及实例分析 173
4.3.1主机*目标机开发环境 174
4.3.2 x86系列目标机调试环境的建立 178
4.3.3编程实例分析 186
习题 197
第5章 机载计算机软件开发语言 200
5.1 Ada语言概述 200
5.1.1 Ada语言简介 200
5.1.2 Ada语言与C语言和Java语言的比较 203
5.1.3 Ada语言的开发环境 204
5.2语法成分及数据类型 206
5.2.1基本语法成分 206
5.2.2标量类型及复合类型 208
5.2.3自定义类型及访问类型 214
5.2.4字符及字符串类型 220
5.3程序控制结构及子程序 222
5.3.1 3种程序结构 222
5.3.2过程和函数 226
5.3.3方法重载 228
5.3.4程序包及私有类型 230
5.4面向对象程序设计 233
5.4.1标志类型及抽象类型的定义 234
5.4.2继承及派生的实现 237
5.4.3多态性及类属单元 240
5.5并发程序设计 246
5.5.1任务的含义及特征 246
5.5.2任务的控制语句 255
5.5.3任务的通信方式 259
5.5.4保护类型 261
习题 269
第6章 机载计算机软件系统发展趋势 270
6.1软件结构的发展趋势 270
6.2设计方法的发展趋势 274
6.3操作系统的发展趋势 276
6.4开发环境的发展趋势 27
习题 280
附录 282
附录A Ada95语言的程序包 282
附录B Ada95语言的预定义属性 289
附录C Ada95语言的预定义编用 291
附录D Ada95语言的常用词汇 293
参考文献 294