多核平台上针对seL4的分区机制研究

摘要：

在航空电子等嵌入式领域中,多核时代已经来临,如何充分利用多核成为了现在系统领域的研究热点.同时由于系统集成度越来越高,一个硬件平台可能需要同时运行不同安全级别的任务,这就需要操作系统为应用提供隔离与保护.为了解决这两个问题,文中在目前只支持单核的seL4的基础上分别加入多核和分区隔离的支持,之后又提出多核和分区机制相结合的方案,实现了带分区机制的多核seL4.最终将其运行在qemu模拟器上,分区机制的实现符合ARINC653标准的语义.

关键词：seL4、多核、分区、嵌入式

所属期刊栏目：45

分类号：TP316(计算技术、计算机技术)

资助基金：国家自然科学基金61672073 ,61272167

在线出版日期：2018-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：70-74