• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Derivation of service-time bounds of methods in time-triggered message-triggered objects.
【24h】

Derivation of service-time bounds of methods in time-triggered message-triggered objects.

机译：时间触发的消息触发对象中方法的服务时间范围的派生。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

An essential requirement in real-time distributed computing (RTDC) is to obtain a high degree of assurance on the timeliness of critical actions taken by the systems. Hence, a desirable RTDC software engineering method must allow us to produce RTDC systems fast enough to meet market demands and to confidently determine service-time bounds of the developed RTDC systems.;The Time-triggered Message-triggered Object (TMO) programming scheme is a practical high-level component-based programming model that significantly reduces the amount of labor required in RTDC programming. The TMO, the central element of this scheme, is a syntactically simple and natural but semantically major RTDC extension of the basic object structure. The autonomous-action capability of TMO stems from the time-triggered methods, which are clearly separated from the message-triggered methods whose executions are activated by service request messages from clients. The TMO Support Middleware (TMOSM) provides the execution support mechanisms for TMOs. The software constructs and execution rules defined by the TMO scheme as well as the structuring principles and execution mechanisms used in TMOSM facilitate the analysis of the major factors that contribute to the service times of TMO-based applications.;This dissertation presents a practical approach for deriving high-confidence tight upper bounds for service times of methods in TMOs. The proposed approach represents a fundamental step towards providing guarantees for timely services in large-scale TMO-based applications. A literature search revealed no previously published results in the area of service-time bound analysis of (i) RTDC systems developed using high-level component-based programming models, in general, and (ii) TMO-based applications, in particular.;The approach implements a systematic divide-and-conquer procedure that takes advantage of the features of the TMO scheme and TMOSM mentioned above. The procedure involves: (i) the derivation of tight time bounds for the contributions of individual factors to the service times of methods in TMOs, and (ii) the stepwise integration of those bounds into service-time bounds for the methods. At each step of the procedure a reasonably safe and tight time bound for the considered factor or group of factors is derived through a hybrid method, which combines execution-time measurements and analytically derived loose bounds. Moreover, the bound integration occurs as the time bounds obtained at one step are used to derive the analytical bounds in the following steps.;The proposed approach was evaluated on a simple multimedia distributed application. Considering the results, the approach holds promise to be equally effective with more complex applications.
机译：实时分布式计算（RTDC）的基本要求是对系统所采取的关键操作的及时性获得高度的保证。因此，一种理想的RTDC软件工程方法必须使我们能够以足够快的速度生产RTDC系统，以满足市场需求并自信地确定已开发的RTDC系统的服务时间范围。时间触发消息触发对象（TMO）编程方案是一种实用的基于组件的高级编程模型，该模型显着减少了RTDC编程所需的工作量。 TMO是此方案的核心元素，是基本对象结构的语法上简单自然的，但语义上主要的RTDC扩展。 TMO的自主行为能力来自时间触发的方法，时间触发的方法与消息触发的方法明显分开，消息触发的方法的执行由来自客户端的服务请求消息激活。 TMO支持中间件（TMOSM）为TMO提供执行支持机制。 TMO方案定义的软件构造和执行规则，以及TMOSM中使用的构造原理和执行机制，有助于分析影响基于TMO的应用程序的服务时间的主要因素。得出TMO中方法服务时间的高置信性严格上限。提议的方法代表了为基于TMO的大型应用程序中的及时服务提供保证的基本步骤。文献检索显示，在（i）使用高级基于组件的编程模型开发的RTDC系统，尤其是（ii）基于TMO的应用程序的服务时限分析领域，以前没有发表过任何结果。该方法利用上述TMO方案和TMOSM的功能实现了系统的分而治之程序。该程序包括：（i）推导紧迫的时间界限，以便为TMO中方法的服务时间贡献各个因素，以及（ii）将这些界限逐步集成到方法的服务时间界限中。在该过程的每个步骤中，通过混合方法得出考虑的因素或因素组的合理安全且紧凑的时间范围，该方法结合了执行时间测量值和分析得出的宽松范围。此外，由于在以下步骤中使用一步获得的时间边界来导出分析边界，因此发生了边界积分。;在简单的多媒体分布式应用程序上对所提出的方法进行了评估。考虑到结果，该方法有望在更复杂的应用程序中同样有效。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号