国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文學位 >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.

機譯：時間觸發(fā)的消息觸發(fā)對象中方法的服務時間范圍的派生。

獲取原文
獲取原文并翻譯 | 示例
  • 摘要
  • 著錄項
  • 相似文獻
  • 相關主題

摘要

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）的基本要求是對系統(tǒng)所采取的關鍵操作的及時性獲得高度的保證。因此，一種理想的RTDC軟件工程方法必須使我們能夠以足夠快的速度生產RTDC系統(tǒng)，以滿足市場需求并自信地確定已開發(fā)的RTDC系統(tǒng)的服務時間范圍。時間觸發(fā)消息觸發(fā)對象（TMO）編程方案是一種實用的基于組件的高級編程模型，該模型顯著減少了RTDC編程所需的工作量。 TMO是此方案的核心元素，是基本對象結構的語法上簡單自然的，但語義上主要的RTDC擴展。 TMO的自主行為能力來自時間觸發(fā)的方法，時間觸發(fā)的方法與消息觸發(fā)的方法明顯分開，消息觸發(fā)的方法的執(zhí)行由來自客戶端的服務請求消息激活。 TMO支持中間件（TMOSM）為TMO提供執(zhí)行支持機制。 TMO方案定義的軟件構造和執(zhí)行規(guī)則，以及TMOSM中使用的構造原理和執(zhí)行機制，有助于分析影響基于TMO的應用程序的服務時間的主要因素。得出TMO中方法服務時間的高置信性嚴格上限。提議的方法代表了為基于TMO的大型應用程序中的及時服務提供保證的基本步驟。文獻檢索顯示，在（i）使用高級基于組件的編程模型開發(fā)的RTDC系統(tǒng)，尤其是（ii）基于TMO的應用程序的服務時限分析領域，以前沒有發(fā)表過任何結果。該方法利用上述TMO方案和TMOSM的功能實現了系統(tǒng)的分而治之程序。該程序包括：（i）推導緊迫的時間界限，以便為TMO中方法的服務時間貢獻各個因素，以及（ii）將這些界限逐步集成到方法的服務時間界限中。在該過程的每個步驟中，通過混合方法得出考慮的因素或因素組的合理安全且緊湊的時間范圍，該方法結合了執(zhí)行時間測量值和分析得出的寬松范圍。此外，由于在以下步驟中使用一步獲得的時間邊界來導出分析邊界，因此發(fā)生了邊界積分。;在簡單的多媒體分布式應用程序上對所提出的方法進行了評估?？紤]到結果，該方法有望在更復雜的應用程序中同樣有效。

著錄項

相似文獻

  • 外文文獻
  • 中文文獻
  • 專利
獲取原文

客服郵箱：kefu@zhangqiaokeyan.com

京公網安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯合信息科技 (北京) 有限公司?版權所有

  • 客服微信

  • 服務號