机载系统软件合格审查：可追踪性在电机选型中的关键作用

"可追踪性-电机选型手册(通用型最新版)" 本文档涉及的是机载系统和设备的软件开发标准DO178B的中文版，它为含有数字计算机的机载系统和设备的软件研制提供了指导。DO178B强调了可追踪性在软件开发过程中的重要性，确保软件的质量和安全性。 可追踪性是软件开发过程中的关键要素，它涉及到系统需求、软件需求、低层需求和源代码之间的关系。以下是对这些方面详细解释： 1. **系统需求与软件需求的可追踪性**：这要求建立清晰的链接，使得每个系统需求都能对应到相应的软件需求，以确保所有系统需求都被适当地转化为软件功能。这种追踪性使得在开发过程中可以验证，每个系统需求是否被准确无误地实施，并且有助于识别未被覆盖的需求。 2. **低层需求与高层需求的可追踪性**：这一层次的可追踪性关注的是需求的分解过程，确保较低级别的需求来源于较高层次的目标。它允许开发者直观地理解每个低层需求是如何从高层需求中派生出来的，同时也便于验证高层需求是否得到了完全实现。 3. **源代码与低层需求的可追踪性**：这是保证代码质量的关键环节，通过建立这种链接，可以验证每段源代码是否对应并实现了预期的低层需求。这有助于检测和避免未预期的代码，以及检查低层需求是否得到正确且完整的实现。 DO178B标准适用于机载系统和设备的软件开发和审查，对于开发者和合格审查机构都具有指导价值。通过遵循这些准则，可以提高软件的安全性和可靠性，这对于航空工业尤其重要，因为飞行安全直接依赖于软件的正确运行。 翻译说明指出，本译稿旨在为国内专业人士提供学习、研究和实施DO178B的标准，同时也提醒读者，译者不承担因使用此翻译稿可能产生的问题。原文版权归属EUROCAE和RTCA，使用时需确保合法权利。 文档还涵盖了系统层面与软件开发的相关内容，如系统生命周期与软件生命周期的关系、失效状态分类、软件等级定义、系统架构的考虑（如分区、多版本软件和安全监控）、用户可修改软件、可选项软件和商用成品软件的处理等方面，这些都是构建安全可靠机载系统的基石。