ITR: Collaborative Research: SPARTA: Static Parametric Timing Analysis to Support Dynamic Decisions in Embedded Systems

具有时间约束的MuellerWhalley Healy嵌入式系统依赖于及时的调度和对最坏情况执行时间的先验知识。静态时序分析得到了WCET的安全界，但其适用范围仅限于硬实时系统和小代码片段。它通过静态时序分析的参数技术为程序分析提供了一种新的途径，并为开发它们提供了创新的方法。所提出的技术将最坏情况下的执行时间表示为公式，具有以下优点。首先，静态时序分析变得适用于具有可变循环边界的一类嵌入式系统。其次，参数定时分析的好处为动态和灵活的调度决策提供了新的机会。第三，通过参数方法的时序抽象使得能够分析比过去大得多的程序。最后，目前仅限于硬实时系统的静态时序分析技术将适用于更广泛的具有软时序约束的嵌入式系统。更广泛的影响是让学生越来越多地接触嵌入式系统，并提供必要的时间保证，这是将硬实时调度和软实时调度的结果应用于具有国家和经济重要性的可靠嵌入式系统的先决条件。

MuellerWhalleyHealy Embedded systems with temporal constraints rely on timely schedulingand a priori knowledge of worst-case execution times. Static timinganalysis derives safe bounds of WCETs but its applicability has beenlimited to hard real-time systems and small code snippets.This research addresses these limitations of timing analysis forembedded systems. It contributes a novel approach to program analysisthrough parametric techniques of static timing analysis and providesinnovative methods for exploiting them. The proposed techniquesexpress worst-case execution time as a formula with the followingbenefits. First, static timing analysis becomes applicable to a wideclass of embedded systems with variable loop bounds. Second, thebenefits of parametric timing analysis provide new opportunities fordynamic and flexible scheduling decisions. Third, timing abstractionsthrough the parametric approach enable the analysis of much largerprograms than in the past. Finally, the techniques of static timinganalysis, currently constrained to hard real-time system, becomeapplicable to a much wider range of embedded systems with soft timingconstraints. The broader impact is to increasingly expose students toembedded systems and to provide essential temporal assurances, whichare a prerequisite for applying the results of hard and soft real-timescheduling for reliable embedded systems of national and economic importance.