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

摘要：

针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质童(QoS保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程.QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBAComponent Model)构件技术实现.Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制.研究结果表明,该方法不仅保证了DRES中当前应用环境的QoS自适应需求,而且QoS保证与具体功能应用分离也降低了系统开发的复杂性.形式化方法研究为构件实体间的交互提供了保证.

关键词：自适应系统、构件、形式化方法、服务质量

所属期刊栏目：40

分类号：TP302;TP301.2(计算技术、计算机技术)

资助基金：国家863计划2006AA01Z173,2007AA01Z131

在线出版日期：2011-04-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：122-127