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

点击翻译按钮获取中文摘要

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.