编辑推荐
null
内容简介
本书作者是DO-178系列标准的直接制定者之一。书中详细介绍了如何基于最新版本的DO-178C标准进行高安全软件开发，既包括对标准的全面介绍，又包括依据该标准进行开发和审定的实用指南；既包含多年从事高安全软件研制、管理、审定工作的经验，又包含相关最新软件技术的深入讲解。主要内容有：在系统与安全性大视野中的软件；DO-178C标准的具体解释及如何有效使用；DO-178C相关的工具鉴定、基于模型的开发、面向对象技术、形式化方法；成功开发高安全软件及审定的实用建议；以及与高安全软件开发和验证相关的深入专题。
目 录
第一部分 引言 第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补充第五部分 特别专题参考文献
媒体评论
null
