点击选择搜索分类
首页 - 艺术史- 正文
☆☆☆☆☆
||
出版社: 航空工业出版社 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
电子书下载地址:
相关电子书推荐:
- 文件名
- 霍金讲演录-推动系列 宇宙(揭示不一样的宇宙,改变人类的宇宙观)
- 2017羽毛球竞赛规则羽毛羽毛球竞赛规则书籍 体育运动专业 羽毛球运动员 裁判用书
- 嗨 元素 奇幻旅程 元素化学科普书 趣味化学实验化学元素化合物基础知识全集 元素之旅化学科普漫画故事
- Cat in the Hat Beginner Book Dictionary 英文原版 [精装] [3岁及以上]
- 正版 星际穿越 【美】基普·索恩(Kip Thorne)著 ,苟利军 978721306
- Maisy Learns to Swim 小鼠波波学游泳 [平装] [2-5岁]
- 嗨 元素 元素使者和化合物精灵 化学科普书 趣味化学 化学元素化合物基础知识全集 元素之旅 化学科普
- 薛颠武学辑注—形意拳术讲义上编
- 中国平方公里阵科学目标 科普读物 书籍
- Grasshopper on the Road (I Can Read, Level 2)蚱蜢旅行记 英文原版 [平装] [4-8岁]
- 羚牛的故事(绿野寻踪) 9787503888939 雍严格,孙晋强;蒲春举 摄影-RT
- Maisy's Fairground: A Maisy Pop-Up-And-Play Book 小鼠波波立体操作书 英文原版 [精装]
- 神奇的粒子世界/诺贝尔奖大师科普经典 (美)马丁纽斯·韦尔特曼(Martinus Velt
- 学校体育学
- 地震 科普读物 书籍