摘要
基于时空隔离的微内核设计思想能够满足安全关键嵌入式系统的非功能需求,给出了基于时空隔离机制的微内核系统架构设计,并对其时空隔离机制的实现给出了详细描述,并对微内核在嵌入式领域的应用进行了展望.
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.
出处
《微电子学与计算机》
CSCD
北大核心
2014年第9期11-14,19,共5页
Microelectronics & Computer
基金
航空科学基金支持(20111953016)
关键词
安全关键
微内核
时空隔离
safety-critical
microkernel
temporal-spatial iosolation
