日前,元心信息科技集团有限公司技术团队提交的论文《面向混合关键系统的高安全嵌入式虚拟化平台研究与实现》被全国抗恶劣环境计算机第三十一届学术年会收录,并发表于《全国抗恶劣环境计算机第三十一届学术年会论文集》。
该篇论文以“混合关键系统”“多独立级信息/功能安全”“分离内核”与“微内核”为关键词。对于写作背景,论文指出“在边缘计算场景下,出现了越来越多的混合关键系统。混合关键系统需要支持不同的应用,应用的实时性、关键等级、安全等级等要求不一样,因此迫切需要研发嵌入式虚拟机多域技术。”
在此背景下,论文首先介绍了虚拟化的发展历程以及嵌入式hypervisor的分类,重点介绍了分离内核的hypervisor实现,并引出分离内核的相关概念。随后介绍了“元心嵌入式虚拟化平台syberx”的分离机制、微内核设计特点,在armv8平台上cpu隔离、内存隔离、中断隔离、外设隔离的实现,以及eal5 的高安全保障。最后针对实际应用中的无人机机群的同步,介绍了syberx的分域方案。
全国抗恶劣环境计算机第三十一届学术年会评价指出,该论文在介绍虚拟化的发展历程以及嵌入式hypervisor分类的基础上,阐述了syberx架构的分离机制、微内核设计特点,具有一定的创新性和较高的应用价值。
据了解,元心嵌入式虚拟化平台syberx是元心科技在元心智能移动操作系统(syberos)成功的基础上,面向无人驾驶、智能座舱、航空航天、人工智能物联网(aiot)等混合关键领域打造的拥有100%代码自有率的虚拟化平台。该系统具备“时空分区隔离,支持多异构操作系统”“关键子系统调度确定性及高安全性”等产品特性,同时对内核进行了精简,所构建的形式化模型,能够进一步保证系统的安全可靠,并且对安全攸关领域的强实时应用起到支持作用。
这篇论文是集体智慧的结晶,在元心科技首席科学家邹仕洪的指导下,元心科技技术骨干王艳伟、姜哲、张广伟对论文的成文做出了巨大贡献。作为国产智能移动操作系统的开拓者和研发者,元心科技一直以“自主可控、自主替代、自主发展”为目标,致力于国产安全操作系统——元心智能移动操作系统syberos(元心系统)的研发和产业化发展,已连续为政务、公安、司法、国防、金融、电力、水利等重点领域用户提供了多个量身定制且优质高效的安全澳门最新大白菜的解决方案。
全国抗恶劣环境计算机第三十一届学术年会由中国计算机学会主办、中国计算机学会抗恶劣环境计算机专委会承办、中国电子科技集团公司第三十二研究所协办,是业界一年一度的学术盛会,旨在为本领域搭建学术研讨、技术交流、产业合作的平台,会议围绕“新时代抗恶劣环境计算机新技术、新路径、新发展”这一主题,总结、交流了我国抗恶劣环境计算机最新科研成果,研讨分析了抗恶劣环境计算机的发展重点和技术途径。