航天日特辑 | 低空飞行与DO178适航认证的技术突破-CSDN博客

本文链接：https://blog.csdn.net/parasoftchina/article/details/147480056

海上生明月，九天揽星河。今天是第十个中国航天日，也是航天领域的一个重要时刻。Parasoft作为一家从NASA JPL实验室走出的企业，在航空航天软件测试解决方案领域积累了丰富经验，一直专注于确保软件的高质量与高可靠性。

为了更好地了解低空飞行领域的发展以及适航认证的挑战，我们特别邀请到了玖镕信息科技副总经理解群女士，与我们一起探讨低空飞行领域的技术突破和适航认证的挑战。

01 低空经济快速发展，软件技术面临新要求

近年来，低空经济蓬勃发展，无人机物流、eVTOL等应用已经逐渐融入我们的生活。这些低空飞行器的软件技术需要满足哪些新要求呢？

解群女士指出，低空飞行器的核心在于“安全”与“效率”。像eVTOL这样的低空飞行器软件，需要实现路径规划、避障、通信等高并发任务的执行，同时在复杂的城市环境中实时处理海量数据。这要求软件具有高安全性和高可靠性，并通过适航性认证，确保产品研制过程的规范性和工具链的完备性。

02 在低空飞行软件开发中，如何满足DO-178B/C的严苛要求呢？

解群女士分享了多年积累的适航认证项目经验，总结了以下三点关键要素：

需求可追溯性：从高层需求到代码实现，再到测试用例，建立双向追踪矩阵。在eVTOL飞行控制软件的开发中，需求覆盖率直接关系到认证材料的完备性。像Parasoft的“需求可追溯性报告”功能，能够确保每条需求的设计、实现和验证均被覆盖。
自动化测试与覆盖率分析：在极端场景模拟中，工具需要支持传感器故障注入和电磁干扰测试，验证软件的容错性。静态分析（如MISRA C/C++规范检查）和动态测试（如MC/DC覆盖率分析），可以帮助快速定位代码缺陷。
工具鉴定支持：DO-178C补充了软件工具鉴定指南DO-330，对机载软件项目中使用的各类工具提出了鉴定要求。面对数据耦合分析这一难点，玖镕科技采用双向逼近方法，结合自动化工具减少人工干预，避免因模块间数据流异常导致系统性风险。同时，Parasoft提供了相应的工具鉴定认证包，提升了效率，例如在飞行管理系统的开发中，使工具鉴定时间缩短了30%。

03 在低空飞行软件的适航认证中，核心解决方案

解群女士介绍，玖镕信息科技的核心解决方案围绕产品全生命周期质量保障工作展开，涵盖以下三个维度：

软件验证：提供满足DO-178C标准要求的软件验证服务，包括高层需求和低层需求验证，需求覆盖率分析、代码审查和包括MC/DC在内的结构覆盖率分析。
工具鉴定：提供开发工具、验证工具和支持工具的鉴定服务。针对低空飞行器的复杂需求，自主开发了源码测试工具、航电系统综合测试平台、以及实时仿真引擎，这些工具与平台均支持国产操作系统和嵌入式系统环境，确保硬件适配与系统集成的可靠性。
认证咨询：专注帮助企业解决适航取证过程中的技术难题，协助其通过中国民航局CAAC、美国FAA、欧洲EASA等适航性认证，促进企业合规性建设，助力产品落地。

04 应对低空飞行器硬件适配和系统集成挑战

低空飞行器常面临硬件适配和系统集成的挑战。以eVTOL为例，其操作系统需适配多种硬件平台，同时满足实时性要求。玖镕信息科技借鉴航空领域的经验，采用操作系统适航化和硬件在环测试的方法来解决这些问题。推荐选择已经经过DO-178C认证成熟的嵌入式系统（如Wind River VxWorks），并通过“适航鉴定包”固化验证证据，降低重复审查成本。在仿真环境中进行故障注入（如电磁干扰、信号延迟），验证软件的容错能力。Parasoft的工具在这方面支持多种故障注入，大幅提升测试效率。

05 低空飞行领域的未来技术融合趋势

对于低空飞行领域的未来技术融合趋势，解群女士认为将聚焦于三个方向：