节点文献

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

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

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 陈文宇向涛王晓斌桑楠孙世新

【Author】 CHEN Wen-yu,XIANG Tao,WANG Xiao-bin,SANG Nan,and SUN Shi-xin(School of Computer Science and Engineering,University of Electronic Science & Technology of China Chengdu 610054)

【机构】 电子科技大学计算机科学与工程学院

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

【Abstract】 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.

【基金】 国家863计划(2006AA01Z173,2007AA01Z131)
  • 【文献出处】 电子科技大学学报 ,Journal of University of Electronic Science and Technology of China , 编辑部邮箱 ,2011年01期
  • 【分类号】TP311.52
  • 【被引频次】1
  • 【下载频次】164
节点文献中: 

本文链接的文献网络图示:

本文的引文网络