核心观点与解决方案
多核认证是现代航空电子平台成功的关键障碍，主要挑战包括工具链碎片化、供应商脱节和缺乏生命周期支持，导致风险增加、成本不可预测和认证周期延长。Wind River 与 Rapita Systems 联合推出的解决方案是业界首个完全集成的现成平台，旨在端到端指导 DO-178C 多核认证。
挑战分析
采用多核处理器的航空电子项目面临传统认证之外的挑战，包括：
- 需要测量、分析和验证时序、干扰和竞争效应
- 认证活动涉及操作系统、虚拟机、板级支持包（BSP）、软件验证（时序分析）、工具、方法和文档
- 供应链分散在多个供应商，所有权不明确
- 项目团队需要可预测的时间表和长期证据维护
多核认证引入了跨共享资源的系统级干扰复杂性，需要平台、软件和安全领域的多分析协调。
解决方案概述
Wind River 和 Rapita Systems 联合提供的解决方案是首个将平台、工具、方法和服务统一为单一产品的多核认证解决方案，关键特性包括：
- 现成可认证的多核平台
- 集成时序和干扰分析
- 与 MACH178 对齐的认证质量证据
- 引导 SOI 1 至 SOI 4 全阶段参与路径
- Wind River® Helix™ 虚拟化平台（VxWorks® 作为可认证多核基础）
- 认证就绪的 Arm® Cortex A72 (DAL A) 和 Cortex A53 (DAL B) 架构 BSP 和设备驱动
- Intel® Simics® 模型支持 NXP LX2160A 和 AMD/Xilinx Zynq UltraScale+
- RTnet 实时网络和信息保障基础
- 可选硬件资源的认证服务
双方贡献
Wind River 提供：
- Helix™ 虚拟化平台和 VxWorks® 操作系统
- 认证就绪的 BSP 和驱动
- Intel® Simics® 模型
- RTnet 实时网络和信息保障
- 认证服务（可选硬件）
Rapita Systems 提供：
- MACH178 基础（流程、文档和模板）
- Rapita Verification Suite 工具链
- 工具资格认证套件、硬件事件监控库和可认证干扰生成器（RapiDaemons）
- 干扰通道分析、特性测试和认证质量证据
- 处理器特定多核文档（如 LX2160A）
- 支持、维护和培训
客户收益
通过采用联合解决方案，航空电子项目可获：
- 降低技术和认证风险
- 加速 SOI 1 至 SOI 4 进程
- 简化供应商环境，单一责任方
- 提高时间表和成本可预测性
- 长期生命周期支持以应对 evolving 认证需求
公司背景
Wind River 和 Rapita Systems 拥有数十年的航空电子软件、多核系统、时序和干扰分析、DO-178C 和 A(M)C 20-193 认证经验。双方团队与客户紧密合作，整合可认证平台、应用成熟的多核方法，并完成从 SOI-1 到 SOI-4 的端到端认证活动。
