通过Wind River和Rapita系统实现多核认证
Wind River与Rapita Systems联合解决方案 一个平台。一个流程。通往多核认证的单一路径。 多核认证仍然是现代航空电子平台项目成功的一大障碍。碎片化的工具链、脱节的供应商以及缺乏的生命周期支持导致风险增加、成本不可预测和认证周期延长。 Wind River和Rapita Systems的联合解决方案提供了行业内首个完全集成的现成平台，旨在指导DO-178C多核认证的全流程。通过结合Wind River的可认证操作系统、虚拟机管理程序、板级支持包（BSP）和模拟，以及Rapita的行业领先多核定时和干扰分析工具和MACH。178证据，我们从SOI-1认证到SOI-4认证，提供单一流程和可信赖的合作伙伴。 挑战：多核复杂性 航空电子程序采用多核处理器将面临远超传统认证的挑战。 • 时间、干扰和竞争效应必须进行测量和分析，缓解措施必须得到验证。• 认证活动覆盖操作系统、虚拟机管理程序、BSP、软件验证（时间分析）、工具、方法和工件。• 供应链在多个供应商之间碎片化，所有权不明确。• 项目团队需要可预测的进度安排和长期证据维护。 当前的方法迫使客户将相互依赖的平台、工具和服务拼凑在一起，这往往会产生审计风险、集成复杂性和时间表不确定性。 解决方案：行业首个端到端多核认证平台 Wind River和Rapita Systems携手提供一套完整的集成多核认证解决方案，将平台、工具、方法和服务统一为一个整体。 这个联合解决方案首次提供： 导览路径贯穿参与的所有四个阶段（SOI1 至 SOI 4） 什么Rapita系统提供 • MACH178 基础设施（流程、文档和模板）和 Rapita 验证套件工具链，用于多核认证目标和时序分析• 工具认证套件、硬件事件监控库以及可认证的干扰发生器（RapiDaemons）• 干扰信道分析、特征测试和认证质量证据• 处理器特定的多核工件（例如，LX2160A）• 支持和维护以及培训，以加速客户上线和认证准备 风河®Helix™ 虚拟化平台，搭载VxWorks®作为可认证的多核基础平台 • 为Arm准备的认证就绪的板级支持包（BSP）和设备驱动程序®Cortex A72（DAL A）和Cortex A53（DAL B）架构 • 英特尔®Simics®NXP LX2160A和AMD/Xilinx Zynq UltraScale+的模型 • RTnet实时网络和信息保障基础，确保安全、确定性的运行 • 可选硬件资源上的认证服务 通过采用Wind River和Rapita Systems的联合解决方案，航空电子项目获得： • 降低技术和认证风险• 从SOI 1快速提升至SOI 4• 简化供应商格局，以一个负责的平台为主导• 更高的时间表和成本可预测性• 针对不断变化的认证需求提供长期生命周期支持 风河和瑞派塔系统 Wind River和Rapita Systems在航空电子软件、多核系统、时序和干扰分析以及DO-178C和A(M)C 20-193认证方面拥有数十年的联合专业经验。双方团队紧密合作，与客户共同整合可认证平台，应用经过验证的多核方法，并从SOI-1至SOI-4完成端到端认证活动。 从平台配置和分析设置到产品开发与审计支持，Wind River和Rapita Systems助力降低风险、压缩进度，并确保复杂多核航空电子项目的认证准备。
