![VTOS中断系统的设计、实现以及验证]()
论文摘要在很多场合下,人们要求计算机系统具有高度的安全性以及可靠性。一个计算机系统的安全性很大程度上取决于其所搭载的操作系统,而操作系统的安全性很大程度上取决于它的内核。因此保...
![VTOS形式化验证框架与VTOS消息模块的验证]()
论文摘要作为计算机软件的核心,操作系统的安全对于所有的计算机软件来说都至关重要。但是由于操作系统的规模非常庞大,而且结构极其复杂,这使得操作系统的安全问题存在非常多的不确定性。...
![微内核操作系统多核支持的设计与实现]()
论文摘要随着微处理器技术的不断发展,多核处理器已经渐渐普及,现在的个人PC机基本上都已采用多核处理器,硬件的发展需要配套软件的跟进,因此作为最为重要的配套软件的操作系统对多核架...
![基于微内核虚拟化技术的高可靠性嵌入式软件平台研究]()
论文摘要随着嵌入式系统硬件性能的不断提高和软件功能的日益丰富,系统固有复杂度已经成为提高嵌入式系统可靠性的主要瓶颈。传统的嵌入式软件平台都是单操作系统方案,电子装设备可靠性依赖...
![基于Xen的domain0内核的研究]()
论文摘要随着计算机性能的提升,虚拟化技术受到越来越广泛的关注。Xen作为开源的虚拟化软件,是半虚拟化技术的杰出代表。在这种技术中,上层操作系统意识到运行虚拟平台上,因此需要进行...
![基于高速混合处理器的无线通信设备移动测试平台]()
论文摘要以各类多媒体服务为代表的电信服务需求快速增长,使得厂商之间的竞争愈发激烈。为了在竞争中脱颖而出,各厂商纷纷开始寻求更高效、经济、快速的整体解决方案。对于他们而言面临的主...
![基于ARM的嵌入式强实时内核设计]()
论文摘要随着国内工业化、数字化的迅速发展,嵌入式开发在IT行业中的重要性越来越显著。嵌入式开发领域对产品的功能性、稳定性、实时性等方面的要求也越来越高。采用嵌入式实时操作系统作...
![面向嵌入式操作系统微内核的硬件抽象层开发方法研究]()
论文摘要随着嵌入式技术的不断发展,各种嵌入式系统已被广泛应用到多个行业中,其规模与发展潜力使得嵌入式计算在信息产业中占据了极其重要的位置。随着嵌入式系统硬件技术的不断提高,尤其...
![基于微内核的中间件自适应机制研究与实现]()
论文摘要中间件是普适计算环境下的重要基础软件。普适计算泛在、动态和开放的特点要求中间件有能力对自身进行调整,从而适应应用环境的变化。然而,现有普适计算中间件的自适应机制存在如下...
![嵌入式实时操作系统的进程间通信]()
论文摘要随着嵌入式系统应用范围的不断扩大,功能和性能的不断升级,各个应用领域对嵌入式系统的要求越来越高,嵌入式实时操作系统逐渐被引入到嵌入式系统中。同时微内核技术开始应用在嵌入...
![基于Web服务的轻量级工作流引擎研究]()
论文摘要工作流引擎是工作流管理系统的核心部件，它的结构是否合理对整个系统有着至关重要的影响。目前，工作流产品都有着不同的侧重点，通用性，可移植性差，对企业造成重复开发，究其原因...
![橡胶分析仪器分散信息集成方法的研究]()
论文摘要利用嵌入式系统和以太网技术对传统的检验设备进行了信息化改造,实现了对分散信息的收集和实时监控与管理。本文是通过嵌入式系统的开发和应用,以BL2000嵌入式系统为基础通过...
![组件式智能空间信息平台研究与应用]()
论文摘要组件式智能空间信息平台是一个综合的信息系统,涉及到地理信息系统、智能系统和组件化等相关内容,它的建设也是一个复杂的过程。本文主要探讨组件式智能空间信息平台研发与应用,在...
![一种面向应用的微内核系统设计技术研究]()
论文摘要今后的计算机系统会向“能力更强、无所不在”的趋势发展,逻辑上统一而物理上分散的分布式系统、嵌入式系统则是对这两个概念的最好诠释。这些不断涌现的要求各异的环境对操作系统的...
