《机载软件研究流程最佳实践》PDF下载

  • 购买积分:12 如何计算积分?
  • 作  者:沈小明,王云明,陆荣国等编著
  • 出 版 社:上海:上海交通大学出版社
  • 出版年份:2013
  • ISBN:9787313104380
  • 页数:350 页
图书介绍:本书深入解读了民用飞机机载软件最具代表性的符合性方法RTCA DO—178B标准,结合国际机载软件项目经验详细分析了DO—178B标准各过程阶段的目标、活动和符合性数据,分析上述标准要求的软件工程背景和依据,并通过与之相关的民用飞机系统研制标准的介绍系统性地解读整套民机机载软件研制标准体系。最后通过与其它行业安全相关软件常用研制标准的对比,为研制单位在现有基础上快速建立满足DO—178B要求的软件研制体系提供参考。

1机载软件研制概述 1

1.1软件研制的发展史 1

1.2机载软件的发展趋势 3

1.3机载软件研制要求 5

2软件研制流程的内涵分析 12

2.1软件研制流程的数学模型 12

2.2软件研制流程的关系详解 19

2.3软件研制流程的质量评价 55

2.4软件生命周期环境 66

2.5小结 69

3软件研制流程的最佳实践 74

3.1概述 74

3.2活动 79

3.3角色 107

3.4数据 115

3.5活动的输入输出关系 117

3.6其他项目管理、监控及支持活动 138

3.7流程质量评价 141

4机载软件集成研制环境ASIDE 143

4.1 ASIDE概述 143

4.2 ASIDE系统层功能 144

4.3 ASIDE组织资产层功能 145

4.4 ASIDE项目层功能 152

4.5 ASIDE与单点功能工具的集成 166

4.6 ASIDE与审定辅助工具的集成 168

4.7 ASIDE的特色与价值 172

4.8 ASIDE光盘 177

5软件生命周期数据样本 178

5.1概述 178

5.2软件开发计划 179

5.3软件验证计划 180

5.4软件配置管理计划 182

5.5软件质量保证计划 183

5.6软件合格审定计划 183

6总结 185

6.1软件研制流程的数学模型 185

6.2软件研制流程的最佳实践 186

6.3机载软件集成研制环境ASIDE 186

6.4软件生命周期数据的参考样本 188

6.5流程最佳实践与多个行业标准的符合性 188

6.6软件研制和软件审定无缝对接的机制 188

附录A与DO-178B/C的符合性矩阵 189

附录B与GJB-5000A的符合性矩阵 200

附录C与EN 50128的符合性矩阵 211

附录D与IEC 60880的符合性矩阵 219

附录E软件开发计划(样本) 235

附录F软件验证计划(样本) 249

附录G软件配置管理计划(样本) 264

附录H软件质量保证计划(样本) 284

附录I软件合格审定计划(样本) 292

术语表 340

参考文献 345

索引 348