安全关键软件开发与审定——DO-178C标准实践指南

　　本书作者是DO-178系列标准的直接制定者之一。书中详细介绍了如何基于*版本的DO-178C标准进行高安全软件开发，既包括对标准的全面介绍，又包括依据该标准进行开发和审定的实用指南；既包含多年从事高安全软件研制、管理、审定工作的经验，又包含相关*软件技术的深入讲解。主要内容有：在系统与安全性大视野中的软件；DO-178C标准的具体解释及如何有效使用；DO-178C相关的工具鉴定、基于模型的开发、面向对象技术、形式化方法；成功开发高安全软件及审定的实用建议；以及与高安全软件开发和验证相关的深入专题。

　　Leanna Rierson是一位面向安全关键系统的软件、复杂电子硬件以及综合模块化航空电子（IMA）开发的独立咨询师，尤其重点在民用航空领域。她在软件和航空工业有超过20年的经验。Rierson用了9年时间作为美国联邦航空局（FAA）的软件和航空电子专家——其中5年是作为航空器计算机软件的首席科技顾问。Rierson已经出版了大量关于安全关键软件、综合模块化航空电子以及航空方面的论文，领导了许多国家的和国际的工程团队和工作会议，并为FAA开发了课程、原则、手册以及指南材料。她在编写DO-178C和其他6份相关文件的美国航空无线电技术委员会（RTCA）专门委员会中担任了一个子工作组的副主席和编辑小组负责人。Rierson已经为数百名专业人员讲授DO-178B，以及现在的DO-178C。她是一位在软件和复杂硬件领域具有A级授权的FAA委任工程代表（DER）。她已经与众多的航空器和航空电子公司合作，包括波音（Boeing）、 赛斯纳（Cessna）、里尔喷气机（Learjet）、巴西航空工业公司（Embraer）、罗克韦尔柯林斯（Rockwell Collins）、通用电气航空（GE Aviation）、霍尼韦尔(Honeywell)以及其他许多。她目前兼职工作于罗克韦尔柯林斯的航空电子合格审定小组。Leanna拥有罗切斯特技术学院的软件工程硕士学位和卫奇塔州立大学的电子工程学士学位。她还曾在欧扎克基督教学院学习，以及获得约翰逊圣经学院学院的硕士学位。

部分 引言
　第1章　引言和概览
　　1.1　安全关键软件的定义
　　1.2　安全性问题的重要性
　　1.3　本书目的和重要提示
　　1.4　本书概览
第二部分 安全关键软件开发的语境
　第2章 系统语境中的软件
　　2.1　系统开发概览
　　2.2　系统需求
　　2.3　系统需求确认与验证
　　2.4　系统工程师实践
　　2.5　软件与系统的关系
　第3章 系统安全性评估语境中的软件
　　3.1　航空器与系统安全性评估过程概览
　　3.2　开发保证
　　3.3　软件如何置入安全性过程
第三部分 使用DO-178C开发安全关键软件
　第4章 DO-178C及支持文件概览
　　4.1　DO-178历史
　　4.2　DO-178C和DO-278A核心文件
　　4.3　DO-330：软件工具鉴定考虑
　　4.4　DO-178C技术补充
　　4.5　DO-248C：支持材料
　第5章 软件策划
　　5.1　引言
　　5.2　一般策划建议
　　5.3　5个软件计划
　　5.4　3个开发标准
　　5.5　工具鉴定计划
　　5.6　其他计划
　第6章 软件需求
　……
第四部分 工具鉴定和DO-178C补充
第五部分 特别专题
参考文献