　　《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》从广泛的角度介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。第1部分为概论，介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况，并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述；重点阐述了软件自身的特点、导致软件不可信的因素和软件开发遇到的困扰：描述了软件工程基础知识，包括软件工程基本概念、基本原则和研究内容。第2部分为通用的软件工程的阐述，分别对软件全生命周期模型、开发计划与策划、需求开发及管理、软件架构设计技术、机载软件的设计、软件验证技术、软件质量保证、软件可信性评估、软件可靠性评估和软件安全性评估等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法，重点介绍了机载共性软件适航标准DO-178、《军用软件研制能力成熟度模型》，以及机载软件知识库。第4部分为天脉操作系统的开发实践，对自行研制的天脉操作系统的开发实践进行了详细的描述，其中包括天脉操作系统的研制策划、项目立项论证和研制总要求论证、软件计划过程和软件开发过程实践等。
　　软件研制有很多工程化规定和指南，但是缺乏工程化的方法学指导，以及对软件工程全面的融会贯通的理解，《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》能够为航空工业和其他领域从事高安全性系统设计的软件工作人员提供有用的参考资料。

作者简介

　　韩炜，研究员，博士，博士生导师。中航工业计算所副所长，享受国务院特殊津贴，省级有突出贡献专家，中航工业软件工程技术首席技术专家。主要从事机载计算机系统技术、基础软件技术等相关领域研究。主持与参与了诸多国家重点装备的研究工作，获得国家科学技术进步奖、省部级技术进步奖、集团公司级成果奖近百项，在国内外多家刊物发表学术著作多篇。曾被授予“中央企业劳动模范”“部级有突出贡献中青年专家”和“航空报国优秀贡献奖”等荣誉称号。

第1部分概论
第1章嵌入式软件概述
1．1 引言
1．1．1 嵌入式系统
1．1．2 嵌入式软件
1．2 可信软件
1．2．1 处理模型及其假设
1．2．2 可信性软件的研究内容
1．3 软件属性及软件可信性属性
1．3．1 软件可用性
1．3．2 软件可靠性
1．3．3 软件安全性
1．3．4 软件信息安全性
1．3．5 软件维修性
第2章软件困惑
2．1 软件的特点
2．1．1 可塑性
2．1．2 变态性
2．1．3 开发过程
2．2 软件不可信因素
2．2．1 定义
2．2．2 错误
2．2．3 故障
2．2．4 失效
2．3 错误、故障、失效的关系
2．4 软件的困扰
第3章软件工程概念
3．1 软件工程概念的提出
3．2 软件工程基本概念
3．2．1 狭义的软件工程化
3．2．2 广义的软件工程化
3．3 软件工程的基本原则
3．4 软件工程的研究内容
3．4．1 软件工程过程
3．4．2 软件工程方法研究
3．4．3 计算机辅助软件工程工具研究

第2部分软件工程概念
第4章软件全生命周期模型
4．1 瀑布模型
4．2 增量迭代模型
4．3 快速原型模型
4．4 螺旋模型
4．5 敏捷模型
4．5．1 极限编程
4．5．2 Scrum模式
第5章开发计划与策划
5．1 软件策划与软件计划概述
5．1．1 软件策划过程是高质量软件的保证
5．1．2 软件策划的依据与参考
5．2 软件策划过程的目标
5．3 软件计划
5．3．1 软件开发计划
5．3．2 软件验证计划
5．3．3 软件配置管理计划
5．3．4 软件质量保证计划
5．4 软件开发标准
5．4．1 软件需求标准
5．4．2 软件设计标准
5．4．3 软件编码标准
5．5 软件计划和软件开发标准的配置管理
5．6 软件策划过程的评审和质量保证
第6章需求开发及管理
6．1 需求标准
6．1．1 需求的正确性
6．1．2 需求完整性
6．1．3 需求的可验证性
6．1．4 非功能需求
6．1．5 需求的鲁棒性
……

第3部分机载软件及软件工程
第4部分一个可信性软件（天脉操作系统）的实践
缩略语
参考文献
可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书下载 mobi epub pdf txt 电子书格式