在设计阶段估算实时系统的概率安全 WCET 范围
软件工程
2023-08-14 v5
摘要
估算最坏情况执行时间(WCET)是实时系统早期设计阶段的一项重要活动。基于 WCET 估算,工程师做出设计与实现决策,以确保任务执行总在其规定截止时间前完成。然而在实践中,工程师常无法提供精确的点 WCET 估计,而倾向于给出合理的 WCET 范围。给定一组具有此类范围的实时任务,我们提供一种自动化技术,以确定系统在哪些 WCET 值下有可能满足其截止时间,从而以概率保证安全运作。我们的方法结合了用于生成最坏情况调度场景的搜索算法与用于推断概率安全 WCET 范围的多项式逻辑回归。我们通过将该方法应用于来自不同领域的三个工业系统及若干合成系统来评估它。我们的方法高效且准确地估算概率安全 WCET 范围,在该范围内截止时间极有可能以高置信度被满足。
引用
@article{arxiv.2007.10490,
title = {Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages},
author = {Jaekwon Lee and Seung Yeob Shin and Shiva Nejati and Lionel C. Briand and Yago Isasi Parache},
journal= {arXiv preprint arXiv:2007.10490},
year = {2023}
}