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

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