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

ITR：协作研究：SPARTA：支持嵌入式系统动态决策的静态参数时序分析

• 批准号: 0312493
• 负责人: David Whalley
• 金额: $ 13万
• 依托单位: Florida State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-09-01 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0312493&HistoricalAwards=false
• 关键词: ITR; Collaborative; Research; SPARTA; Static

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.

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