基于保护分散式抽象方法的可扩展操作系统设计

为了提供高性能和柔性，操作系统内核应该只保留最小的功能，今天的操作系统大而低效，更缺乏柔性，我们提出了保护分散式操作系统抽象方法，集成了分散式操作系统抽象和保护抽象的方法，这种新的安全方式在分散式抽象系统里共享用户级的抽象，能够使非特权，不信任的任务在运行时定义并安全的共享生成的抽象，它在对相同的抽象重复调用时，通过消除上下文切换的需求和对通常情况进行优化，可获得较好的柔性，保护分散式抽象的设计强调简单并正确性证明，易于理解和使用，文章介绍了保护分散式操作系统抽象方法，并运用该方法开发了一个基于共享库的原型操作系统－ExLinux/LibOS.     

eCos设备驱动程序设计分析

普及计算的发展要求新型的嵌入式操作系统能够支持更多的设备，如何高效、快捷地构造这些网络设备的驱动程序，对嵌入式操作系统的实际应用起着决定性的作用。eCos这种嵌入式可配置操作系统层次分明、接口合理，便于设备管理和设备驱动的开发，文章在对eCos设备驱动程序体系结构分析的基础上，重点讨论了eCos设备驱动程序设计编写的要点及其工作的基本原理，并给出了具体的应用实例。     

基于嵌入式Linux的实时优化方案

在分析了国外两种主流嵌入式Linux实时化的实现方法的基础上,根据实时操作系统和Linux的特点,就实时调度策略、细粒度定时器等几个方面提出了改善系统实时性的一种优化方案。     

面向校园网格环境的多域监控系统

文章建立了一种分域多层网格监控模型,利用LDAP提供的目录层次服务,动态设置多层虚拟监控域,进行分区域监控,实现全局监控与局部监控的分离.结合移动Agent技术的定制服务,过滤弱相关数据,满足多样化监控需求.文中详细讨论了校园网格监控系统的实现,并在此基础上,针对资源调度应用,给出了一种动态时间间隔算法,可以有效减少网格监控对系统资源的占用.     

服务协同环境中的业务过程建模与验证

服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。     

基于映射机制的业务规则生成系统

针对业务规则语言繁杂而导致的信息系统难以升级或迁移等问题,在分析现有业务规则开发方法基础上,采用分层体系结构,提出了一种独立于规则引擎的基于映射机制的业务规则生成系统模型。该系统定义了类自然语言的业务规则描述模型,设计了基于XML的中间业务规则,并构建了中间业务规则与目标规则的映射关系,实现了不同规则引擎所识别规则之间的相互转换。     

RCEA:一种高效节能的传感器网络规则覆盖增强算法

解决网络在随机部署的情况下如何能有效地保证最少节点完全覆盖的优化部署问题。从覆盖优化入手,分析了具有最大覆盖效率的网络拓扑结构,提出一种基于虚拟力的规则覆盖增强算法RCEA(regular coverage-enhan-cing algorithm)以实现该拓扑结构。算法以螺旋扩散优化路径为指导,通过虚拟力影响节点部署,引入能耗均衡因子,在增强整个传感器网络覆盖的同时,降低网络平均能耗。一系列仿真试验验证了该算法的有效性。     

构件化软件系统安全性分析技术研究

复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。     

面向多自治域网格的信息服务模型及其实现

网格是实现分布异构资源共享的有效模式,而信息服务实现系统服务与资源的有效管理,是网格系统的重要组成部分.ChinaGrid是由多个自治域组成的大规模网格,现有的信息服务不能满足此类系统特性与应用需求.文中提出网格信息服务体系GISA2.0,强化了域自治管理和资源信息的安全性.GISA2.0实现了可扩展的网格信息模型和面向服务、支持多种监控信息聚集的层次化信息管理框架.提出了基于分布XPath引擎的多域资源信息检索机制,实现了安全、快速和用户相关的虚拟全局资源视图.     

软件能力可信研究综述

能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.