航天型号软件可靠性安全性设计

　　软件可靠性安全性是软件的重要质量特性，特别是对于武器型号软件，软件可靠性安全性是最受关注的质量特性，各种分析方法、设计方法、测试方法的理论研究成果很多，但在实际工程应用中遇到了许多实际问题。目前，武器型号软件大多以强化软件可靠性安全性设计准则为主线开展工作，然而设计准则只是软件可靠性安全性多面体的一个侧面，如果没有其它侧面的相辅相成，实际效果往往差强人意。由此，本文提出了以设计准则、典型案例、故障模式、缺陷模式、演示示例五个视角组成的软件可靠性安全性设计全视角知识系统，通过视角间的相互关联索引，构成了立体的全方位的知识体系。

　　宋晓秋，男，1962年7月出生，博士研究生毕业，现任航天软件评测中心技术负责人，研究员。长期从事软件工程、软件测试、软件可靠性、软件安全性的研究工作和型号软件工程化技术支持工作，承担过多个重点型号的上百项关键软件的评测工作，承担过多项国防预研及基金课题的研究工作，负责过多个军用标准、行业标准、企业标准的编制工作，获中国标准创新贡献奖三等奖一项，获国防科学技术进步二等奖一项，获航天工业总公司科技进步二等奖两项，在多个学术期刊上发表论文六十余篇。

第1章   基础术语与基本概念 第2章   配合硬件或系统设计的考虑事项 第3章   容错和容失效的设计 第4章   借口设计 第5章   通信设计 第6章   数据安全性设计 第7章   中断设计 第8章   模块设计 第9章   定时、吞吐量和规模的余量设计 第10章  防错设计 第11章  自检查设计 第12章  异常保护设计 第13章  软件实现 第14章  代码验证 第15章  软件工程中可靠性安全性的一般要求 附录A 典型案例：软件异常退出的技术分析 附录B 软件可靠性安全性设计全视角知识系统 附录C 软件可靠性量化指标评估