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

Component-Based Software Design and Formal Description in Real-Time Creditable Service

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

For distributed real time embedded system（DRES）,the paper proposes a development model QuOCCM which can provide adaptive quality assurance.QuOCCM is composed of Client,Qoskets,and Server,all of them are implemented by component.The Client interacts with applications,gets QoS requirements,and trigs adaptive mechanism.The Qoskets extends QoS guarantee framework QuO and realizes the system QoS adaptive adjuster using component technology.The Server provides implements of quality assurance.Research shows that the method not only guarantees the adaptive QoS requirement,but also reduces the system complexity by separation of functional path and QoS path.