Schedulability analysis is about determining whether a given set of real-time software tasks are schedulable, i.e., whether task executions always complete before their specified deadlines. It is an important activity at both early design and late development stages of real-time systems. Schedulability analysis requires as input the estimated worst-case execution times (WCET) for software tasks. However, in practice, engineers often cannot provide precise point WCET estimates and prefer to provide plausible WCET ranges. Given a set of real-time tasks with such ranges, we provide an automated technique to determine for what WCET values the system is likely to meet its deadlines, and hence operate safely. Our approach combines a search algorithm for generating worst-case scheduling scenarios with polynomial logistic regression for inferring safe WCET ranges. We evaluated our approach by applying it to a satellite on-board system. Our approach efficiently and accurately estimates safe WCET ranges within which deadlines are likely to be satisfied with high confidence.

翻译：模块分析涉及确定某一套实时软件任务是否可排期,即任务处决是否总是在规定的最后期限前完成,这是实时系统早期设计和后期开发阶段的一项重要活动; 模块分析要求软件任务的估计最坏执行时间(WCET)作为投入,但在实践中,工程师往往无法提供准确的点,WCET估计数字,更愿意提供可信的WCET范围。鉴于有一套具有这种范围的实时任务,我们提供了一种自动技术,以确定WCET值该系统可能达到的最后期限,从而安全运作。我们的方法是将生成最坏的时间安排情景的搜索算法与推断WCET安全距离的多元后勤回归结合起来。我们评估了我们的方法,将它应用到上载卫星系统。我们的方法是有效和准确地估计了WCET的安全距离,在最后期限内很可能非常有信心地满足。