期刊文献+

基于微内核的星载实时操作系统设计与实现 被引量:2

Design and Implementation of Microkernel-Based Satellite Real Time Operating System
下载PDF
导出
摘要 当前星载嵌入式实时操作系统将各个功能模块都集成在内核之中,这导致内核庞大,增加了内核出现bug的风险,从而使整个操作系统的可靠性降低.设计并实现了一个基于微内核的星载嵌入式实时操作系统,通过将功能模块以任务方式运行在用户态,任务间通过消息传递机制通讯,以减少内核代码量.最后测试表明设计达到故障隔离的效果. All functional modules of Satellite Real Time Operating System are integrated into the kernel at present,leading to the enormous kernel and augmenting the bugs in the kernel,and the reliability of the whole operating system is decreased.A Microkernel-Based Satellite Real Time Operating System is designed and implemented in this paper,All functional modules run as tasks in user-level,all tasks are communicated by the Message Passing Mechanism to decrease the size of the kernel.Higher reliability is gained without obvious efficiency lost.Tests demonstrate that the design can achieve fault isolation.
作者 徐建 杨桦
出处 《空间控制技术与应用》 2011年第2期38-43,共6页 Aerospace Control and Application
关键词 微内核 可靠性 嵌入式操作系统 故障隔离 microkernel dependability embedded operating system fault isolation
  • 相关文献

参考文献6

  • 1陈斐.L4微内核技术浅析[C].第二届江苏计算机大会,南京,2006年11月.
  • 2Liedtke J. On ix-Kernel construction [ C ]. The 15th ACM Symposium on Operating Systems, Coper Mountain, Colorado, Dec 1995.
  • 3Liedtke J. Toward real microkernels [ J]. Communications of the ACM, 1996, 39(9) :70-77.
  • 4Klein G, Elphinstone K, Heiser G,et al. SeL4 : formal verification of an OS kernel[ C]. The 22nd ACM Symposium on Operating Systems Principles, MT, USA, Oct 2009.
  • 5Klein G, Derrin P, Elphinstone K. Experience report seL4 -- formally verifying a nel[C]. The 14th ICFP, 2009 high-performance microker- Edinburgh, Scotland, Aug.
  • 6Swift M, Annamalai M, Bershad B, et al. Recovering device drivers [ C]. The Sixth Syrup. on Oper. Syst. Design and Impl. , San Francisca, USA, 2004.

同被引文献7

引证文献2

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部