DO-178B软件审定指南：中译文修订与关键要素解析

《DO-178B中译文商榷》是一份详细的指南，针对航空电子和通信系统中的软件开发和审定进行规范。该文档由EUROCAEED-12B和RTCADO-178B共同制定，于2009年12月发布，主要关注的是机载系统和设备的软件开发过程中所需考虑的关键因素。 标题中提到的DO-178B是美国航空电子协会（RTCA）制定的一系列软件可靠性和安全性标准之一，主要用于确保航空航天系统的软件质量。这份中译文商榷是对原版标准中文翻译的审查，旨在确保译文准确无误地传达了标准的精神和要求。 文档内容分为多个章节： 1. **简介**：简述了DO-178B的目的，即为了保证飞机系统中软件的质量和可靠性，以及它在系统开发流程中的位置，与其他相关文件的关系以及如何有效利用这份文件。 2. **系统与软件考虑**： - **系统生存周期与软件**：强调了系统和软件开发过程中的双向信息流动，包括从系统需求驱动软件设计，以及软件设计反馈影响系统架构。 - **失效状态与软件等级**：对软件失效状态进行了分类，并详细解释了软件等级的定义和如何根据系统需求确定软件等级。 - **系统体系结构**：探讨了分区、多版本非相似软件和安全监控等在系统设计中的重要性。 - **用户可修改软件与可选项软件**：针对不同类型软件的系统级考虑。 - **外场可加载软件**：涉及这类软件在系统设计中的特殊考虑。 - **软件验证**：阐述了系统需求如何指导软件验证过程，以及软件验证在整个系统验证中的作用。 3. **软件生存周期**：定义了软件开发的不同阶段及其目标，如软件需求、设计、编码、集成和验证。 4. **软件计划过程**：明确了软件计划的目标、活动，如建立适合的开发环境、选择合适的编程语言和测试环境，以及质量保证措施。 5. **软件开发过程**：详细描述了每个开发阶段的活动，如需求分析、设计、编码、集成和确保可追溯性。 6. **软件验证过程**：重点关注软件验证的目标，包括高层需求、低层需求、体系结构、源代码及测试结果的评审和分析，以及实际的测试执行。 《DO-178B中译文商榷》提供了航空系统软件开发的全面指导，确保软件满足高度的安全性和可靠性要求，这对于参与航空电子系统设计和开发的专业人员来说是不可或缺的参考资料。