点击选择搜索分类
首页 - 公共关系- 正文
☆☆☆☆☆
||
出版社: 航空工业出版社 ISBN:9787516513231 版次:1 商品编码:12272129 包装:精装 丛书名: 中航工业首席专家技术丛书 开本:16开 出版时间:2017-09-01 用纸:胶版纸 页数:529 正文语种:中文
软件研制有很多工程化规定和指南,但是缺乏工程化的方法学指导,以及对软件工程全面的融会贯通的理解,《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》能够为航空工业和其他领域从事高安全性系统设计的软件工作人员提供有用的参考资料。
第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
可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书-so88
可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
出版社: 航空工业出版社 ISBN:9787516513231 版次:1 商品编码:12272129 包装:精装 丛书名: 中航工业首席专家技术丛书 开本:16开 出版时间:2017-09-01 用纸:胶版纸 页数:529 正文语种:中文
内容简介
《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》从广泛的角度介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为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
电子书下载地址:
相关电子书推荐:
- 文件名
- 思维游戏越玩越聪明(挑战版) (英)普兹勒著,夏萍
- 中航工业首席专家技术丛书:水上飞机水动力设计 [Seaplane Hydrodynamic Design]
- 书法入门-小牛顿百科馆
- 电池热管理 [Battery Thermal Management]
- 50件简单易行的环保小事
- 二手车鉴定评估与交易一本通(宁德发)
- {RT}无处不在的氟-(日)山边正显,闻建勋,闻宇清 中国科学技术大学出版社 978731
- 园林园艺专业:蔬菜生产技术
- 世界奇异档案记录
- 配电网供电模型构建研究及应用
- 世界科普巨匠经典译丛:十个为什么
- 图解汽车底盘构造与原理
- 昆虫记-“慢读”系列
- 机械制图与CAD基础习题集/普通高等教育“十二五”规划教材
- 满58包邮 科学的感动:爱因斯坦和相对论 9787218126074 茂木健一郎 广东人