嵌入式系统软件工程：基础知识、方法和应用

第1章 绪论
1.1 软件对于嵌入式系统的意义
1.2 软件工程的环境分析
1.2.1 软件开发过程
1.2.2 软件结构
1.2.3 软件质量保证
1.3 用于嵌入式系统的软件工程
1.4 本书的主要内容
第2章 嵌入式软件的开发过程
2.1 动因
2.2 定义与概念
2.2.1 基小概念
2.2.2 过程种类
2.3 嵌入式软件开发过程的特点
2.3.1 多学科丌发
2.3.2 跨企业的肝发与同步工程
2.3.3 非功能性特征
2.3.4 经济性
2.3.5 长的产品生命周期
2.4 特定领域过程模型的建立
2.4.1 现有的用于嵌入式软件开发的过程模型
2.4.2 描述性过程建模
2.4.3 连续的过程改善
2.5 总结与展望
第3章 开发和测试的标准
3.1 引言
3.2 从标准到软件标准
3.2.1 为什么需要标准
3.2.2 为什么需要软件标准
3.3 软件开发的标准
3.4 一般性流程标准
3.5 IEC61508标准
3.5.1 对开发过程的一般性要求
3.5.2 安全监测
3.5.3 软件开发
3.6 CenelecEN50126、EN50128和EN50129标准
3.7 总结
3.8 定义
第4章 与安全有关的软件系统的许可
4.1 引言
4.2 什么是许可
4.3 参与者
4.3.1 行政机关
4.3.2 鉴定人和检测机构
4.3.3 制造商
4.3.4 供应商
4.3.5 运营商和用户
4.4 获得许可
4.4.1 系统的复杂度
4.4.2 规划与约定（对规划的检验单）
4.4.3 人为因素
4.4.4 申请许可证过程中的风险处理
4.4.5 企业秘密的公开
第5章 嵌入式系统的法律问题
5.1 版权和专利权
5.1.1 版权
5.1.2 专利法
5.1.3 半导体保护
5.2 合同法
5.2.1 系统集成商与整体系统买主的合同关系
5.2.2 系统集成商与软件供应商的合同关系
5.2.3 整体系统的买主与软件供应商的合同关系
5.3 法律责任
5.3.1 机器制造商也是软件制造商
5.3.2 供应的软件
5.4 结论
第6章 嵌入式软件的需求工程
6.1 引言
6.2 RE基础知识
6.3 RE的框架体系
6.3.1 系统环境
6.3.2 RE过程的三个维度
6.3.3 五个主要设计行为
6.3.4 早期和后期阶段的对比
6.4 对嵌入式系统复杂度的控制
6.5 三种需求模型
6.5.1 面向解决方案的需求建模
6.5.2 目标建模
6.5.3 场景与用例
6.5.4 建模种类的实例
6.6 基于场景和目标的系统开发的需求工程（SEGOS.RE）
6.7 应用实例：数码相机
6.8 总结与展望
第7章 软件结构和系统结构
7.1 定义和限制
7.1.1 嵌入式系统和软件结构
7.1.2 软件结构、系统结构的定义和视图
7.1.3 结构模型化的维度
7.2 嵌入式系统的结构模型
7.2.1 面向对象的元元结构
7.2.2 嵌入式系统的元结构
7.2.3 模型结构化的作用
7.3 模型结构和嵌入式系统的结构风格
7.3.1 操作方法
7.3.2 CIP结构
7.3.3 面向角色结构
7.3.4 双服务器结构
7.3.5 X-By-Wire结构
7.4 结构模板和框架
7.4.1 模板和框架作为软件再利用的工具
7.4.2 模板和框架的候选项
7.4.3 嵌入式系统中的一个模板实例
7.5 基于结构的嵌入式系统结构设计
7.5.1 软件结构对于嵌入式系统的作用
7.5.2 基于结构的软件开发
第8章 嵌入式软件编程
8.1 引言
8.2 C语言嵌入式软件编程
8.2.1 POSIX1003.1 b标准
8.2.2 线程管理与定时器
8.3 Ada语言嵌入式软件编程
8.3.1 Ada任务
8.3.2 Ada时间特性
8.3.3 Ada同步和调度
8.4 Java与嵌入式系统
8.4.1 JaVa实时规范
8.4.2 调度
8.4.3 内存管理
8.4.4 例程
8.4.5 Java2MicroEdition
8.5 MicrOSOft.NetCompactFramework
8.6 应用程序和操作系统
8.7 总结
第9章 嵌入式软件测试
9.1 引言
9.2 传统软件测试中的技术水平
9.2.1 动态测试
9.2.2 静态分析
9.2.3 形式化技术：符号测试和形式化验证方法
9.3 嵌入式软件测试：情形分析
9.4 嵌入式软件系统动态测试
9.4.1 嵌入式软件特殊性能测试
9.4.2 动态测试适用于嵌入式软件特性——一个例子
9.4.3 通过测试结果的静态评价得到量化的可靠性说明
……
第10章 嵌入式UML/实时UML
第11章 形式化开发方法与分析技术
第12章 安全性和可靠性分析技术
第13章 分布嵌入式系统
第14章 实时操作系统
第15章 反应式系统的建模：同步语音和状态图
第16章 汽车中的软件技术
第17章 安全软件在交通技术的嵌入式系统中的应用
第18章 航天应用领域嵌入式软件的开发
第19章 嵌入式软件在医疗技术中的应用
第20章 嵌入式软件在工业自动化领域的应用
第21章 嵌入式通信软件的开发