
单芯片并行运行多套操作系统,多系统安全隔离。基于微内核架构完成形式化验证,通过ISO 26262 ASIL D功能安全产品认证,满足ISO/SAE 21434车载网络安全规范,全流程遵循 Automotive SPICE CL2 开发流程体系。

Microkernel-Based Design

Hardware-Level Real-Time Assurance

ASIL D Certification

Loosely Coupled and Modular Design

Formal Verification of Core Functions

Fine-Grained Access Control

Hardware-Level Secure Isolation and Protection(SMMU, MPU, and MPAM)

Extensive Hardware Virtualization Capabilities, Including CPU, GPU, NPU, Multimedia, and Other Hardware Resources

Nebula Hypervisor 微内核虚拟化平台,集成核心调度与安全能力,支持单芯片多系统安全运行,为智能座舱、舱驾融合等场景提供高性能、高安全虚拟化基座。

Nebula Hypervisor 集成虚拟化调度器、资源管理模块、安全隔离引擎及跨虚拟机通信框架,各组件协同构成完整虚拟化解决方案。
Nebula Hypervisor 通过硬件实时调度、中断直通等技术,在特定测试平台上可实现低延迟切换,并支持 WCET 分析,满足了安全关键系统对低延迟和确定性的双重需求。


Nebula Hypervisor 提供了先进的功能与特性,包括支持 CPU、GPU、NPU 和多媒体等资源的多系统共享,形式化验证、ASIL D 认证、细粒度权限管控等。这些功能共同构成了面向汽车行业的高安全虚拟化平台。
Nebula Hypervisor 的面向未来的适配架构将更加灵活和可扩展。它将支持更多车规芯片平台(已与联发科天玑座舱平台达成战略合作),并持续适配新型硬件加速器(如NPU、ISP)。同时,谦川科技将提供更完善的开发工具与文档,帮助客户快速迁移至新一代芯片平台。


Nebula Hypervisor 通过硬件实时调度、中断直通等技术,在特定测试平台上可实现低延迟切换,并支持 WCET 分析,满足了安全关键系统对低延迟和确定性的双重需求。

Nebula Hypervisor 提供了先进的功能与特性,包括支持 CPU、GPU、NPU 和多媒体等资源的多系统共享,形式化验证、ASIL D 认证、细粒度权限管控等。这些功能共同构成了面向汽车行业的高安全虚拟化平台。

Nebula Hypervisor 的面向未来的适配架构将更加灵活和可扩展。它将支持更多车规芯片平台(已与联发科天玑座舱平台达成战略合作),并持续适配新型硬件加速器(如NPU、ISP)。同时,谦川科技将提供更完善的开发工具与文档,帮助客户快速迁移至新一代芯片平台。