非精确任务集的容错EDF调度

该文将容错EDF调度算法和非精确计算技术结合起来，提高了算法的调度性能，使单处理器系统正常运行时具有高吞吐量，同时，在出现一个或多个偶发性软件错误时，仍能满足系统中关键任务的时限要求。     

安全关键系统高可信保障技术的研究

1 引言安全关键系统SCS(Safety Critical Systems)是指系统功能一旦失效将引起生命、财产的重大损失以及环境可能遭到严重破坏的系统。这类系统广泛存在于航空航天、国防、交通运输、核电能源和医疗卫生等诸多安全关键领域中。而高可信(Ultradependability)则是指系统在任务开始时可用性给定的情况下,在规定的时间和环境内能够使用且能完成规定功能的能力,即系统“动则成功”的能力。随着现代社会的高速发展及不稳定因素的存在,安全关键系统日益庞大和复杂,带来了系统可靠性和安全性的下降、投资增加、研发周期加长、风险增加。安全关键系统的应用环境也更加复杂和恶劣,从陆地、海洋到天空、太空,安全关键系统的使用环境不断地扩展和更加严酷。严酷的环境对系统高可靠、高安全性等综合特性的实现提出了严峻的挑战。除此,系统要求的持续无故障任务     

无线传感器网络基于μC/OS-Ⅱ的低功耗改进

低功耗研究是无线传感器网络研究的一个热点,可分成硬件和软件两个层面进行研究.本文从软件层面,特别是操作系统的角度介绍了低功耗研究的技术背景,并分析了现有的典型传感器网络操作系统在低功耗管理方面采取的策略,提出了μC/OS-Ⅱ在无线传感器网络中应用的低功耗改进方法.经过移植、测试,改进后的μC/OS-Ⅱ在低功耗方面有了显著的提高.     

基于XML的嵌入式Linux系统用户界面定制

针对嵌入式Linux系统GUI的可定制性需求,在分析了现有多种嵌入式GUI产品的基础上,提出了一种基于XML的用户界面动态定制方案。它通过一个定制模块为最终用户提供界面维护修改功能,并按照保存在XML文档中的定制结果来显示更新后的界面,实现界面设计数据与应用逻辑模块的分离。该方案在建立于MiniGUI上的嵌入式Linux系统用户界面中得以实现。     

分布式实时系统的自适应资源管理中间件

提出了一种基于实时CORBA的自适应资源管理中间件服务及基于最优收益的QoS自适应机制,向开发人员提供了一套面向实时任务的QoS编程接口,并通过资源自感知和QoS自适应使应用级资源分配独立于底层平台。自适应资源管理中间件降低了分布式实时系统中应用程序开发成本和复杂度,并使系统在不确定环境下能动态优化资源分配以适应外界变化。     

实时可信服务的构件设计与形式化描述

针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质童(QoS保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程.QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBAComponent Model)构件技术实现.Client与应用或功能构...     

支持需求追踪的版本控制机制

版本控制是增强软件可维护性的重要方法,但目前常用的版本控制机制缺乏对需求的可追踪性支持。该文提出一种支持需求追踪的版本控制机制,能够有效追踪功能需求、功能设计、代码间的版本关联关系,确保开发人员可以正确获取所需程度的需求追踪信息,有利于软件产品的一致性维护。基于该机制,设计并实现了一个支持需求追踪的版本控制工具VCFQ,并对该工具实现中的一些关键技术进行了论述。     

MPSoC软硬件划分的自动波竞争神经网络算法

针对基于可重用组件的MPSoC软硬件划分问题,提出了一种采用自动波竞争神经网络的优化算法。先将软硬件划分问题转化为图论中的多约束最短路径问题,然后重新设计神经网络中的自动波机制,从组件库中为系统中的每个任务模块选择合适的软件构件或IP核,在系统成本和实时性约束下,使得MPSoC功耗最优。该算法具有并行化、无参数、易于硬件实现的特点,可获得MPSoC软硬件划分问题的最优解。     

基于相似度的语义Web服务发现技术研究

针对传统Web服务在服务发现中存在效率低的问题,应用语义Web技术和本体理论,提出了一种基于相似度的语义Web服务发现模型。采用Web本体语言(OWL-S)描述Web服务,发布服务时包含充分的语义信息,在服务搜索中加入本体推理过程,综合度量服务的功能匹配程度和信誉值。实验结果表明,语义Web服务发现方法的查准率和查全率高于UDDI基于关键字的查找方法。     

连续执行软件可靠性验证测试方法

针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。