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

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

基于ARINC615A的加卸载软件设计与实现

为适应现代航电网络系统维护的实际应用,在深入研究ARINC615A协议的基础上,提出了一种可靠的文件加卸载软件实现方法,能够实现指定文件在航电系统中不同设备之间的上传和下栽功能,并引入状态监控机制、CRC校验机制,冗余管理机制,加强了文件加卸栽的可靠性和正确性.大量的功能和性能测试证明,实现了ARINC615A协议规定的文件加卸载功能,具有良好的可靠性和正确性,满足实际应用的技术需求.     

基于多分区操作系统的多核确定性调度方法设计

为提高多分区操作系统环境下多核处理器的应用带来的操作系统任务调度的确定性,研究了多分环境下多核操作系统结构,从处理器核心和分区的资源分配和分区调度表的时间同步角度出发,采用了静态配置、处理器绑定和时间窗口调度方法,实现了处理器资源的确定性分配,解决了调度表之间的时间同步问题。测试结果表明,方法有效提高了分区环境下多核操作系统任务调度的确定性。