一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

MILS机载安全操作系统设计

针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。     

星载实时微内核操作系统的CPU调度

现代小卫星的重要特点之一是要实现卫星的自主运行。作为其控制核心的星载自主计算机操作系统的性能至关重要。当今 操作系统的发展趋势是采用微内核体系结构。它具有微型化，模块化，可移植性可扩充性等优点。ＣＰＵ调度是影响操作系统性能的关键因素。当前的微内核操作系统基本上只提供几种简单的调度策略，如ＦＩＦＯ，循环反馈等。这些都难以满足卫星系统在特定的时间内对外界作出响应的实时要求。为此，本文设计了一个新的ＣＰ     

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

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

基于微内核的星载实时操作系统设计与实现

当前星载嵌入式实时操作系统将各个功能模块都集成在内核之中,这导致内核庞大,增加了内核出现bug的风险,从而使整个操作系统的可靠性降低.设计并实现了一个基于微内核的星载嵌入式实时操作系统,通过将功能模块以任务方式运行在用户态,任务间通过消息传递机制通讯,以减少内核代码量.最后测试表明设计达到故障隔离的效果.     

航空电子核心处理机实现技术研究

航空电子核心处理机已经成为新一代航电的核心，采用了综合化的设计思想，其设计的复杂性远远超过了联合式核心处理机。提出了一种综合化航空电子核心处理机的硬件实现技术，提出了一种微内核体系结构来实现强分区实时系统，并且支持微内核上操作系统的灵活移植。