高安全智能软件架构，助力中国蓝天梦想
成功案例
下一代 IMA 平台
昂际航电由 GE 公司和中航工业集团平股合资组建，是中国商飞的一级供应商，为 C919 提供核心航电系统，面向民用飞机市场，业务范围覆盖设计、测试、集成、适航取证和售后服务等领域，提供民用航电产品和系统解决方案。翼辉与昂际航电合作，在现有 C919 的 IMA 设备上完成翼辉 Matrix653 系统对国外操作系统替代验证。并合作研发针对大飞机和 eVTOL 的新一代 IMA 平台，该平台采用高性能多核 CPU，结合翼辉的 Matrix653 分时分区技术，实现了多分区 AFDX 通信、文件存储、权限管理以及调度控制等各类机载服务的集成与优化。目前已推广到国内多个 eVTOL 厂商。
综合显示控制系统（IDCS）
中航工业是我国航空业的领先企业，在航空装备领域发展多系列飞行器，为用户提供先进航空装备和通航产业系统解决方案。翼辉与中航工业下属单位开展广泛合作，在飞腾、复旦微等众多国内外平台上搭载翼辉操作系统，研发出全自主可控的综合显示控制系统（IDCS），功能覆盖各大航空总线，实现机载业务的图形化，提高了机载设备通信、存储和图形等业务的性能，为多场景下的飞行状态信息、导航信息、大气信息、气象雷达、防撞雷达、飞控系统、无线电高度表、机电管理系统等传感器和任务设备信息提供了可靠、高性能的综合显示控制平台，有力推进了国产航空的自主、可控发展，目前相关设备已交付给多家单位应用。
无人机控制系统
浙江大学嘉兴研究院数字安全创新中心翔云团队，致力于开展大型双发固定翼无人机平台和高集成度地面指控系统研制，积累了完整的大型固定翼无人机设计、制造及试验经验，掌握了无人机总体设计、飞控系统设计、测控系统设计等核心技术。翼辉信息参与翔云团队研制的高安全无人机 FlyAir2.0 项目成功试飞，相比于 1.0 版本，该无人机平台采用翼辉航空机载 ARINC653 操作系统 Matrix653，基于翼辉高安全可靠的混合关键架构，高度匹配翔云团队自主研发的、经过源码级完全形式化验证的 Hypervisor -- 翔云 FlyVisor。该无人机为新型四旋翼无人机，由翔云团队完成机载计算、飞控、通讯、视频传输等设计和实现，飞行控制采用加密通讯和身份识别机制，解决我国在相关领域的技术卡脖子问题。
综合数据管理系统
中航工业是我国航空业的领先企业，在航空装备领域发展多系列飞行器，为用户提供先进航空装备和通航产业系统解决方案。 翼辉项目团队通过在国产硬件平台上搭载翼辉操作系统，支持中航工业实现完全自主可控的综合数据管理系统的研制，实现该设备在任务数据、设备配置数据的综合加载功能，支持航电总线数据、座舱音视频数据、维护故障数据、飞行数据等数据的综合采集与记录功能，为飞行训练评估、飞机日常维护、事故分析等提供数据支撑。
合作伙伴
满足 ARINC653 适航标准的下一代航电平台（NGP）
高度集成与灵活组合的下一代飞行平台，满足未来可拓展、易配置的计算平台需求
翼辉针对下一代航电平台，推出自主开发的 QuickVisor 虚拟化平台与 Matrix653 操作系统平台的组合方案，实现高度集成与灵活组合的下一代飞行平台，满足未来可拓展、易配置的计算平台需求。
- Martix653 操作系统遵循最新 ARINC653 P1-5，P2-4 规范设计和实现，并通过 ARINC653 P3A、P3B 规范符合性测试，符合 ARINC653 多核调度规范，不仅满足系统确定性需求，还能够充分发挥多核的运算能力。
- 使用 Matrix653 操作系统可以快速搭建出符合航电系统 SWaP（Size Weight and Power）设计约束，适于行业标准的、稳定、高效、可移植的软件系统，为下一代航电平台提供基础支撑。
- QuickVisor 是翼辉自主设计的 Type1 型虚拟机管理器，能够将多个不同关键级别的虚拟机整合到一个硬件平台，并通过软硬件结合的方式避免不同虚拟机之间的干扰。
核心优势
软件定义航空器的全新挑战
软件规模迅速增大，为高安全、高确定、高可靠的装备系统带来巨大挑战
未来软件在保障高安全高可靠基础上提供灵活快速的持续迭代能力将成为核心竞争力
如何实现
敏捷迭代
传统的 “直瀑式” 开发模型通常需要 5~10 年的开发迭代周期，系统软硬件耦合度过高，无法实现并行开发，各环节强依赖，难以在需求频繁变更的情况下实现快速迭代。
如何加强
互联互通
任务关键型领域缺少分布式互联互通的软件基础设施，开发人员往往需要从最基础的层级开始设计。当不同模块集成时，往往因通信协议的不兼容产生大量的返工工作量。
如何快速
定位故障
任务关键型系统的代码规模一般比较庞大，并且当前此类系统的集成方式非常容易产生错误，加之其使用场景的重要性，快速定位故障成为此类系统应具备的核心能力。
如何保障
系统可靠性
在软件规模逐渐增大的情况下，不同模块因为彼此依赖同一共享库的不同版本而互相干扰，也可能因为一个程序的故障导致另一个程序的崩溃，使得系统的可靠性整体下降。
全栈软件定义技术体系助力航空软件敏捷迭代
咨询流程
