Hi,我是小翼
你的专属 AI 专家

小翼 - 专属 AI 专家

  • 系统隔离

    虚拟机间内存、CPU、外设、中断等资源严格隔离,每个虚拟机独占一个或者多个物理 CPU 核;支持 SR-IOV 网卡虚拟化技术,可配置多路虚拟网卡并分配给不同虚拟机。

    系统隔离
  • 功能安全

    支撑用户产品快速通过 IEC 61508 (SIL3)、EN 50128 (SIL4)、ISO 26262 (ASIL D) 等行业安全认证;支持 GuestOS 安全监控、故障检测与异常处理;支持寄存器、内存、指令集巡检。

    功能安全
  • 强确定性

    采用静态资源配置技术,确保了内存、CPU、外设等资源分配的确定性和可预测性;多种网络通信模式,支持业务同步实时网络通信,网络时延可控。

    强确定性
  • 支持云管

    配套运行时的管理软件,实现对虚拟机集群的维护与管理,可对接远程云管平台;提供开发、配置、管理工具,支持开发阶段配置校验,以提升产品开发与管理效率。

    支持云管

专为安全关键领域打造

支持飞腾 S5000C 等高性能服务器,满足关键场景下高安全高性能的需求

  • 专为安全关键领域打造 - 轨道交通

    轨道交通

  • 专为安全关键领域打造 - 工业控制

    工业控制

  • 专为安全关键领域打造 - 汽车电子

    汽车电子

QuickVisor 系统架构图

QuickVisor - 系统架构图

一站式 VMM 全面提质增效

  • 多系统融合

    • 能够将多个不同安全等级的虚拟机整合到一个硬件平台,避免不同虚拟机之间的相互干扰。
    • 支持 Linux、Acosail 等通用操作系统以及 SylixOS 等实时操作系统。
    • 支持高性能服务器,能够在一个硬件平台上运行上百个虚拟机,支持虚拟串口、虚拟网卡、共享内存等多种虚拟机间通信方式,提供标准的虚拟外设。
    • 本身占用资源少,最大限度保证 GuestOS 实时性和性能。
    多系统融合
  • 功能安全认证

    • 符合 MISRA C 2012 编程规范,支持异构双编译器构建,可通过 IEC 61508 (SIL3)、EN 50128 (SIL4)、ISO 26262 (ASIL D) 等行业安全认证。提供完善的文档与认证支持服务,能支撑用户产品快速通过行业安全认证。
    • 支持 GuestOS 安全监控、故障检测与异常处理,支持寄存器、内存、指令集巡检等安全认证特定功能。
    功能安全认证
  • 虚拟机隔离

    • 虚拟机间内存、CPU、外设、中断等资源严格隔离。
    • 外设直通,物理设备直通 GuestOS。
    • 支持 SMMU,可实现设备对内存的安全访问。支持 PCIE 设备共享以及中断广播,可实现业务程序高精度时钟同步。
    虚拟机隔离
  • 静态资源配置

    • 采用静态资源配置技术,实现了物理资源的精确划分和高效管理,为每个虚拟机提供明确定义的资源边界,从而避免了运行时资源竞争和冲突,确保资源分配的稳定性和可预测性。
    • 处理器核心硬绑定,每个虚拟机独占一个或者多个物理 CPU 核,避免 GuestOS 核间切换带来的复杂性。
    静态资源配置
  • 网络虚拟化

    • 支持 SR-IOV 网卡虚拟化技术,可配置多路虚拟网卡并分配给不同虚拟机。支持高性能多核处理器跨 DIE 多网卡并行通信,支持网络代理方式实现网络带宽共享。
    • 多种网络通信模式,支持业务同步实时网络通信,网络时延可控。
    网络虚拟化
  • 存储共享

    • 通过 NFS,共享块设备等多种方式支持存储共享。
    • GuestOS 提供统一的文件访问接口,应用程序无差别访问文件系统。
    • 固件、配置文件和虚拟机镜像通过共享存储统一管理,提供统一的引导、升级维护方案。支持用户数据校验与权限管理。
    存储共享

便捷的开发体验

  • 强大的开发环境

    了解更多

    RealEvo-IDE 为 QuickVisor 提供了应用场景配置功能,支持以图形化的方式配置虚拟机,支持打包和部署各类 GuestOS,如 SylixOS、Linux、Matrix653 等。

    强大的开发环境

高效的云端管理

  • 部署与管理工具

    配套运行时的管理软件,实现对虚拟机集群的维护与管理。支持对接第三方运管平台,支持开发、配置、管理工具,并支持开发阶段配置校验。提供简单易用的 HVC 编程接口,支持第三方应用二次开发。

    部署与管理工具

行业应用

  • 将不同安全级别的应用部署在同一硬件平台
  • 完整适配飞腾 S5000C(128核)高性能 CPU
  • 商用现货服务器硬件平台,替代专用硬件,稳定可靠
  • 高密度集中化部署,减少设备数量,降低成本,便于管理

浪潮

CS5280F3
轨交 - 浪潮 CS5280F3

新华三

H3C UniServer R4970 G7
轨交 - 新华三 H3C UniServer R4970 G7

网卡

Intel I350、Intel X710
轨交 - 网卡 Intel I350、Intel X710

咨询流程

问问小翼,你的专属 AI 专家
AI assistant
01
需求咨询
提交相关需求,描述需求背景
02
初步沟通
需求答疑,对齐核心诉求,确定合作意向
03
方案交流
针对相关方案进行线上或线下的交流探讨
04
商务流程
方案确定后,开始执行商务流程

竖屏体验更佳

请旋转屏幕观看