客户介绍

某集团，承担多项国家重点型号机载设备的研制。本项目以民机高升力控制计算机可编程逻辑研制与适航取证为核心应用场景。在民机项目中，可编程逻辑需严格按照 RTCA DO-254 标准中硬件设计、确认和验证过程的目标和要求，提供相对应的符合性证据，最终保证通过最高设计保证等级（A级）项目的适航审查取证工作。

挑战与痛点

随着高升力系统复杂电子硬件项目复杂度与规模持续提升，研制周期不断压缩，需求量和代码量急剧攀升。单纯依靠传统人工手段或单一团队开展工作，已无法满足高质量、高效率的研制要求，软件与硬件开发效能和质量提升势在必行。

• 适航审定合规难度极高，合规证据链极难构建

  DO-254 A级要求极为苛刻，人工维护双向追溯矩阵（需求-设计-代码-用例-结果）极易出错和发生断链。同时，DO-254 明确要求可能影响设计结果的软件工具均需开展工具鉴定（Tool Qualification）。由于自研模块无适航鉴定先例，如何从零构建鉴定计划、测试用例并形成完整的审定证据包是行业级技术难题。

• 开发与验证流程重度依赖手工，研发效率遇到瓶颈

  现有需求追踪、覆盖完整性确认、需求变更管理等工作从开发到验证环节均依赖 WORD 文档进行人工管理，极易引发传递遗漏和表述偏差。传统的测试激励编写、仿真用例迭代、测试结果判定同样依赖手工，缺乏高置信度的自动化判定手段，严重影响研发效能。

• 专业资源库匮乏，自主研制存在能力短板

  在复杂电子硬件研制中，存在工具缺失、环境不足、验证不充分、流程不配套等现实短板。缺乏标准化的代码架构库、专用需求库和验证模型库等资源支撑，导致过往经验无法有效复用，无法形成自主可控的研发核心能力。

• 软硬件协同测试实时性与同步性要求苛刻

  物理测试（HIL）需要在 200MHz 时钟速率及大容量数据吞吐下进行。由于面临 ARINC 429、CAN、SPI、CPU总线等多种协议接口并行测试的同步与隔离难题，且回路延迟要求极高，传统的简易、单一验证手段难以有效识别可编程逻辑中潜藏的深层次缺陷。

解决方案

泛联新安为该集团建设了一套国产化、全流程、自动化、可追溯的高升力控制计算机可编程逻辑开发与验证平台。平台以“开发-验证-反馈-优化”为协同主线，形成紧密联动的闭环协同体系，全面覆盖复杂电子硬件从需求、设计、实现、仿真、测试到覆盖率分析的全生命周期研制活动。

该可编程逻辑设计与验证系统是一个面向高升力系统复杂电子硬件研制、严格遵循RTCA DO-254标准（不同设计保证等级）的全生命周期集成平台，技术架构如下图所示。

总体而言，该平台以DO-254为纲，以可编程逻辑设计与验证库为核，以自动化工具链为翼，以可视化管理和AI增强为脑，构建了一个支持高升力系统复杂电子硬件快速迭代、高质量交付的集成化研制环境，能够显著降低重复劳动、提升数据复用度、保证过程符合性与结果正确性，满足不同设计保证等级（DAL）下的适航审定要求。

项目价值

• 100% 需求与结构覆盖率验证

  系统采用评审、分析、仿真、测试四类验证手段，对硬件需求实现 100% 覆盖验证，并对结构覆盖率（语句、分支、条件、状态机等）不满足的情况进行自动代码分析，确保验证充分性满足审定预期。

• 成功支撑最高等级（A级）适航取证

  攻克了混合工具链统一鉴定合规难题，实现了环境固化与数据加密防篡改，为顺利通过适航审查取证提供了完整、可信、不可篡改的符合性证据链。

• 形成自主可控的民机复杂电子硬件知识产权底座

  通过全方位沉淀专业资源子库，系统性补齐了编码检查、时序分析、形式化验证等关键能力缺口，实现了软硬件全栈自主可控与多团队高效协同研制。