支持时空隔离机制的微内核设计与实现
Design and Implementation of Temporal-Spatial Isolation Based Microkernel
-
摘要: 基于时空隔离的微内核设计思想能够满足安全关键嵌入式系统的非功能需求,给出了基于时空隔离机制的微内核系统架构设计,并对其时空隔离机制的实现给出了详细描述,并对微内核在嵌入式领域的应用进行了展望.Abstract: 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.