基于微内核虚拟机架构的安全保障模型研究

针对航空电子系统高度综合化、模块化的需求,采用微内核架构的虚拟机管理器,提出微内核虚拟机+基础安全套件+安全通信组件的体系架构模型。模型能够有效保护设备和数据,实现从启动到运行、数据传输直至关机的全程保护,为机载基础软件平台提供全生命周期安全防护能力。

嵌入式微核虚拟机管理器存储管理架构设计

对微内核架构、嵌入式虚拟化技术、嵌入式多核处理器支持技术进行简介,对工业界和学术界形成的嵌入式微内核虚拟机管理器产品进行相应调研,提出一种基于微内核架构多核虚拟机管理器的存储管理架构设计模式,把存储管理分为内核态MMU管理和用户态内存分配器两部分实现。MMU管理负责完成MMU初始化、TLB无效和增加/删除映射等功能;内存分配器负责实现memcache分配器、字节分配器和页分配器3种内存管理机制。