改进关键时刻模型,加速实时系统最坏响应时间概率分析。
Accelerating Probabilistic Response-Time Analysis: Revised Critical Instant and Optimized Convolution
- 采用修正的关键时刻定义,更准确捕捉最坏情况
- 优化卷积合并顺序,计算速度提升达10倍
- 适合安全关键实时系统中的可靠性分析
准确估计最坏截止期失败概率(WCDFP)在机器人平台和自动驾驶等复杂系统中日益受到关注,用于提供安全保障。WCDFP量化在最悲观运行条件下任务延迟发生的可能性,其安全估算对可靠实时应用至关重要。然而,高精度估计常伴随巨大计算开销。近期研究发现,传统关键时刻假设在概率环境下可能导致WCDFP低估。为此,本文研究基于卷积的WCDFP估计方法,并提出一种优化卷积合并顺序的技术。大量实验表明,在多种执行时间分布下,所提优化聚合卷积相比序列卷积计算时间减少一个数量级,同时保持精确且保守的估计结果。该方法为安全关键实时系统的概率时序分析提供了高效可靠的解决方案。
原文摘要 · Abstract (English)
Accurate estimation of the Worst-Case Deadline Failure Probability (WCDFP) has attracted growing attention as a means to provide safety assurances in complex systems such as robotic platforms and autonomous vehicles. WCDFP quantifies the likelihood of deadline misses under the most pessimistic operating conditions, and safe estimation is essential for dependable real-time applications. However, achieving high accuracy in WCDFP estimation often incurs significant computational cost. Recent studies have revealed that the classical assumption of the critical instant, the activation pattern traditionally considered to trigger the worst-case behavior, can lead to underestimation of WCDFP in probabilistic settings. This observation motivates the use of a revised critical instant formulation that more faithfully captures the true worst-case scenario. This paper investigates convolution-based methods for WCDFP estimation under this revised setting and proposes an optimization technique that accelerates convolution by improving the merge order. Extensive experiments with diverse execution-time distributions demonstrate that the proposed optimized Aggregate Convolution reduces computation time by up to an order of magnitude compared to Sequential Convolution, while retaining accurate and safe-sided WCDFP estimates. These results highlight the potential of the approach to provide both efficiency and reliability in probabilistic timing analysis for safety-critical real-time applications.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。