王晓鹏

作品数:1被引量:1H指数:1
导出分析报告
供职机构:西北工业大学计算机学院更多>>
发文主题:微内核更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《微电子学与计算机》更多>>
所获基金:中国航空科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
支持时空隔离机制的微内核设计与实现被引量:1
《微电子学与计算机》2014年第9期11-14,19,共5页王晓鹏 张凡 苏卫宁 
航空科学基金支持(20111953016)
基于时空隔离的微内核设计思想能够满足安全关键嵌入式系统的非功能需求,给出了基于时空隔离机制的微内核系统架构设计,并对其时空隔离机制的实现给出了详细描述,并对微内核在嵌入式领域的应用进行了展望.
关键词:安全关键 微内核 时空隔离 
检索报告 对象比较 聚类工具 使用帮助 返回顶部