支持时空隔离机制的微内核设计与实现  

Design and Implementation of Temporal-Spatial Isolation Based Microkernel

作　　者：王晓鹏[1] 张凡[1] 苏卫宁 

机构地区：[1]西北工业大学计算机学院,陕西西安710072

出　　处：《微电子学与计算机》2014年第9期11-14,19,共5页Microelectronics & Computer

基　　金：航空科学基金支持(20111953016)

摘　　要：基于时空隔离的微内核设计思想能够满足安全关键嵌入式系统的非功能需求,给出了基于时空隔离机制的微内核系统架构设计,并对其时空隔离机制的实现给出了详细描述,并对微内核在嵌入式领域的应用进行了展望.The principle of Temporal-Spatial isolation based microkernel well satisfy the requirements,and has the important meaning to the development of the embedded application.This paper gives the design of Temporal-Spatial Isolation based microkernel,and the realization of temporal-spatial isolation mechanism is given in detail,Finally,the potential application of microkernel in embedded system are prospected.

关 键 词：安全关键 微内核 时空隔离 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]