新闻资讯
翔云团队高安全航空机载平台FlyCube正式亮相

近日，浙江大学嘉兴研究院数字安全创新中心翔云团队自主研发的高安全航空机载平台FlyCube v1.0正式亮相，该机载平台采用翔云团队自主研发的、经过形式化验证的Hypervisor——翔...

(2023-9-1)

翔云团队的机载ARINC653 OS形式化验证取得新进展

浙江大学嘉兴研究院数字安全创新中心“翔云团队”与新加坡南洋理工大学、新加坡管理大学合作，在机载ARINC653操作系统的形式化验证方面取得新进展。团队完成了“基于Event-B的...

(2023-8-21)

数字安全创新中心翔云团队高安全无人机FlyAir2.0试飞成功

近日，浙江大学嘉兴研究院数字安全创新中心翔云团队研制的高安全无人机FlyAir2.0试飞成功，相比于1.0版本，该无人机平台基于高安全可靠的混合关键架构，采用翔云团队自主研发...

(2023-8-1)

产品服务

•
面向国产大飞机、无人机、飞行汽车/eVTOL、智能电网和智能制造等关键行业
•
提供经过完整形式化分析与验证、符合高安全等级认证要求的软硬件产品及服务：
(1) 嵌入式虚拟化监控器FlyVisor
(2) 机载ARINC653操作系统Matrix653
(3) 高安全航空机载平台FlyCube
(4) 提供嵌入式操作系统与相关行业解决方案
翔云FlyVisor：嵌入式虚拟化监控器
•
适配ARM/RISC-V等多种架构
•
支持多种RTOS、ARINC653和Linux
•
提供最高级别的隔离保障和安全通讯
•
基于微内核的强隔离、高安全、嵌入式HyperVisor
•
经过源码级形式化验证，符合信息安全CC EAL7要求
翔云Matrix653：机载ARINC653操作系统
•
经过完整的形式化分析与验证
•
遵循机载通用多核操作系统标准ARINC 653
•
提供DO-178C Level A认证包，满足适航审定要求
•
满足安全攸关场景：多核分时分区架构、μs级中断响应、调度确定性、分区切换时间确定性
翔云FlyCube：高安全航空机载平台
•
基础软件经过形式化分析与验证
•
符合 CC EAL 5+高等级信息安全要求
•
符合DO-178C A级标准要求，支持航空适航审定
•
基于开放硬件和国产处理器,提供通用的机载任务软件
•
基于FlyVisor运行Matrix653和Linux等混合关键系统架构
•
标准化的模块封装，适配无人机、飞行汽车等多种航空机载应用场景

翔云无人机平台

•
支持混合关键系统架构
•
采用翔云FlyCube任务模块，内置工业级/开源级任务计算机
•
实现不同安全等级任务的隔离、高安全加密通讯和实时视频传输，可有效抵御网络攻击
•
自研通用的无人机任务软件
•
多功能定制开发，可应用于国防、电网、物流等关键行业
•
采用翔云FlyVisor资源管理器和Matrix653通用机载多核操作系统
典型应用

翔云系列产品已应用于无人机、智能制造、国家电网等行业，并探索在国产大飞机、飞行汽车行业的实际应用

无人机
智能制造
国家电网
国产大飞机
飞行汽车
技术优势

我们提供最专业的服务

如有任何疑问，可直接联系我们，我们将为您进行解答

科研项目

团队成员承担了操作系统领域的工信部重大专项项目、国家自然科学基金重点项目、浙江省尖兵计划项目等10余项，研发了多个自主操作系统。

学术水平

翔云团队是操作系统形式化验证与高安全级认证领域的国际顶尖团队，在操作系统、形式化验证领域的国际顶级会议/期刊，发表论文20多篇，相关成果被美国波音、法国空客认可，并纳入ARINC653标准中。承担了近10个国产操作系统的形式化验证工作。

行业地位

团队成员是ARINC653航空机载操作系统国际标准委员会成员、全国信标委操作系统标准工作组成员单位

新闻资讯
翔云团队高安全航空机载平台FlyCube正式亮相

(2023-9-1)

翔云团队的机载ARINC653 OS形式化验证取得新进展

(2023-8-21)

数字安全创新中心翔云团队高安全无人机FlyAir2.0试飞成功

(2023-8-1)

产品服务
•
面向国产大飞机、无人机、飞行汽车/eVTOL、智能电网和智能制造等关键行业
•
提供经过完整形式化分析与验证、符合高安全等级认证要求的软硬件产品及服务：
(1) 嵌入式虚拟化监控器FlyVisor
(2) 机载ARINC653操作系统Matrix653
(3) 高安全航空机载平台FlyCube
(4) 提供嵌入式操作系统与相关行业解决方案
翔云FlyVisor：嵌入式虚拟化监控器
•
适配ARM/RISC-V等多种架构
•
支持多种RTOS、ARINC653和Linux
•
提供最高级别的隔离保障和安全通讯
•
基于微内核的强隔离、高安全、嵌入式HyperVisor
•
经过源码级形式化验证，符合信息安全CC EAL7要求
翔云Matrix653：机载ARINC653操作系统
•
经过完整的形式化分析与验证
•
遵循机载通用多核操作系统标准ARINC 653
•
提供DO-178C Level A认证包，满足适航审定要求
•
满足安全攸关场景：多核分时分区架构、μs级中断响应、调度确定性、分区切换时间确定性
翔云FlyCube：高安全航空机载平台
•
基础软件经过形式化分析与验证
•
符合 CC EAL 5+高等级信息安全要求
•
符合DO-178C A级标准要求，支持航空适航审定
•
基于开放硬件和国产处理器,提供通用的机载任务软件
•
基于FlyVisor运行Matrix653和Linux等混合关键系统架构
•
标准化的模块封装，适配无人机、飞行汽车等多种航空机载应用场景
翔云无人机平台
•
支持混合关键系统架构
•
自研通用的无人机任务软件
•
多功能定制开发，可应用于国防、电网、物流等关键行业
•
采用翔云FlyCube任务模块，内置工业级/开源级任务计算机
•
采用翔云FlyVisor资源管理器和Matrix653通用机载多核操作系统
•
实现不同安全等级任务的隔离、高安全加密通讯和实时视频传输，可有效抵御网络攻击
典型应用

翔云系列产品已应用于无人机、智能制造、国家电网等行业

并探索在国产大飞机、飞行汽车行业的实际应用

无人机
智能制造
国家电网
国产大飞机
飞行汽车
技术优势

我们提供最专业的服务

如有任何疑问，可直接联系我们，我们将为您进行解答

科研项目

团队成员承担了操作系统领域的工信部重大专项项目、国家自然科学基金重点项目、浙江省尖兵计划项目等10余项，研发了多个自主操作系统

学术水平

翔云团队是操作系统形式化验证与高安全级认证领域的国际顶尖团队，在操作系统、形式化验证领域的国际顶级会议/期刊，发表论文20多篇，相关成果被美国波音、法国空客认可，并纳入ARINC653标准中。承担了近10个国产操作系统的形式化验证工作。

行业地位

团队成员是ARINC653航空机载操作系统国际标准委员会成员、全国信标委 操作系统标准工作组成员单位