首页> 外文会议>Euromicro Conference on Real-Time Systems >Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA
【24h】

Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA

机译:金子般的心:使不可能发生的事情增加对MBPTA的信心

获取原文

摘要

Measurement-Based Probabilistic Timing Analysis (MBPTA) has been recently proposed as a viable method to compute probabilistic worst-case execution time (pWCET) bounds for programs with hard real-time constraints. As a key trait, MBPTA needs a comparatively small number of observation runs, made on execution platforms to which MBPTA can be applied, to project the tail of the probability of occurrence of worst-case execution time durations of individual programs. In order for the use of MBPTA to fit the bill of industrial-quality development, it is imperative to understand what factors might threaten the trustworthiness of the pWCET computation. This paper addresses that important question by: (i) identifying the combined characteristics of applications and hardware resources that might lead to optimistic pWCET bounds, (ii) describing why this may occur, and (iii) providing the user with means to detect those cases so that trustworthiness is restored. In particular, we present a method for detecting risk scenarios for time-randomised caches, based on principles that apply to any other time-randomised resource which may challenge the application of MBPTA.
机译:最近提出了基于测量的概率时序分析(MBPTA)作为计算具有严格实时约束的程序的概率最坏情况执行时间(pWCET)界限的可行方法。作为一个关键特征,MBPTA需要在可以应用MBPTA的执行平台上进行的观察操作的数量相对较少,以预测各个程序在最坏情况下执行时间持续时间发生概率的尾巴。为了使MBPTA适应工业质量发展的要求,必须了解哪些因素可能威胁pWCET计算的可信赖性。本文通过以下方式解决了这个重要问题:(i)识别可能导致乐观的pWCET限制的应用程序和硬件资源的组合特征,(ii)描述为什么会发生这种情况,以及(iii)为用户提供检测这些情况的手段从而恢复了信任度。特别是,我们基于适用于可能挑战MBPTA应用程序的任何其他时间随机资源的原理,提出了一种用于检测时间随机高速缓存风险场景的方法。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号