您的位置: 专家智库 > >

中国航空科学基金(20111953016)

作品数:2 被引量:2H指数:1
相关作者:张凡王晓鹏李鹏更多>>
相关机构:西北工业大学中航工业西安航空计算技术研究所更多>>
发文基金:中国航空科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇微内核
  • 2篇内核
  • 1篇嵌入式
  • 1篇嵌入式操作
  • 1篇嵌入式操作系...
  • 1篇进程间通信
  • 1篇L4
  • 1篇操作系
  • 1篇操作系统

机构

  • 2篇西北工业大学
  • 1篇中航工业西安...

作者

  • 2篇张凡
  • 1篇李鹏
  • 1篇王晓鹏

传媒

  • 1篇微电子学与计...
  • 1篇计算机技术与...

年份

  • 2篇2014
2 条 记 录,以下是 1-2
排序方式:
L4微内核操作系统及其应用技术研究被引量:1
2014年
嵌入式系统对其操作系统的可靠性、实时性和安全性有很高的要求,微内核操作系统技术能够很好地匹配该需求,因此研究微内核在实际系统中的应用和开发方法对嵌入式应用领域的发展有着重要意义。文中对L4微内核的结构及其实现原理进行了深入的分析。在此基础上,给出了基于L4微内核进行应用开发的一般步骤。同时依据此步骤,实现了一个检测和打印嵌入式系统硬件参数的应用实例。通过实例实现,认识到在嵌入式系统的应用开发中,熟悉内核的功能接口将有助于更好地进行应用开发。
李鹏张凡
关键词:微内核嵌入式操作系统进程间通信L4
支持时空隔离机制的微内核设计与实现被引量:1
2014年
基于时空隔离的微内核设计思想能够满足安全关键嵌入式系统的非功能需求,给出了基于时空隔离机制的微内核系统架构设计,并对其时空隔离机制的实现给出了详细描述,并对微内核在嵌入式领域的应用进行了展望.
王晓鹏张凡苏卫宁
关键词:微内核
共1页<1>
聚类工具0