结合操作系统最新发展方向，在项目团队现有技术基础上，研究面向汽车等方向的操作系统关键技术， 突破关键技术壁垒，解决安全问题主要采用安全虚拟化技术，而目前在国内还处于空白阶段，在国内唯有本团队能够和这些国际顶级公司技术上对标，解决国内卡脖子问题，形成操作系统研发生态链。在安全微 内核技术、安全虚拟化技术、硬实时技术、芯片安全隔离技术及形式化验证技术等方面，取得标志性成果。在此基础上，基于安全可靠内核和安全虚拟化技术来构建面向智能应用的操作系统原型，申报国家发明专利，发表高水平学术论文，培养博士、硕士等操作系统高级人才。我们也是全球领先的安全虚拟化产品与服务提供商，本团队由全球顶尖的安全虚拟化专家组成，面向端侧、边缘侧、云侧，向万物互联与人工智能场景提供统一的TEE（可信执行环境）、Hypervisor（虚拟化环境）、Container （容器）安全虚拟化产品与服务。自主研发Nebula安全微内核与t-Hype Hypervisor产品，可比肩QNX、Vxworks，vmware，多项技术国际领先，国内首创。vTrust TEE支持高并发与安全AI加速，TUI，数据风控等重要基础服务，是市场上唯一同时满足国标、央行行标、银联/支付宝/上汽通用企标产品。 【展开】 【收起】