A Formalization and Evaluation of Timing Repeatability Using GameTime
Zach Wasson, Jonathan Kotker, Sanjit Seshia

Citation
Zach Wasson, Jonathan Kotker, Sanjit Seshia. "A Formalization and Evaluation of Timing Repeatability Using GameTime". Talk or presentation, 5, November, 2013; Poster presented at the 2013 TerraSwarm Annual Meeting.

Abstract
Timing analysis is a crucial step in the design and implementation of real-time embedded systems. Unfortunately, the complexity of modern architectures and platforms has made it very difficult to obtain accurate and efficient timing estimates. To deal with this, there have been recent proposals to re-architect platforms to make execution time of instructions more repeatable. There is however no systematic formalization of what timing repeatability means. We show various formal models of timing repeatability along with an algorithmic approach to evaluate parameters of these formal models. This algorithmic approach is used to objectively evaluate the timing repeatability of a representative sample of platforms with respect to a program of interest.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Zach Wasson, Jonathan Kotker, Sanjit Seshia. <a
  href="http://www.terraswarm.org/pubs/186.html"><i>A
  Formalization and Evaluation of Timing Repeatability Using
  GameTime</i></a>, Talk or presentation,  5,
  November, 2013; Poster presented at the <a
  href="http://www.terraswarm.org/conferences/13/annual"
  >2013 TerraSwarm Annual Meeting</a>.

• Plain text

  Zach Wasson, Jonathan Kotker, Sanjit Seshia. "A
  Formalization and Evaluation of Timing Repeatability Using
  GameTime". Talk or presentation,  5, November, 2013;
  Poster presented at the <a
  href="http://www.terraswarm.org/conferences/13/annual"
  >2013 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{WassonKotkerSeshia13_FormalizationEvaluationOfTimingRepeatabilityUsingGameTime,
      author = {Zach Wasson and Jonathan Kotker and Sanjit Seshia},
      title = {A Formalization and Evaluation of Timing
                Repeatability Using GameTime},
      day = {5},
      month = {November},
      year = {2013},
      note = {Poster presented at the <a
                href="http://www.terraswarm.org/conferences/13/annual"
                >2013 TerraSwarm Annual Meeting</a>},
      abstract = {Timing analysis is a crucial step in the design
                and implementation of real-time embedded systems.
                Unfortunately, the complexity of modern
                architectures and platforms has made it very
                dif�cult to obtain accurate and ef�cient
                timing estimates. To deal with this, there have
                been recent proposals to re-architect platforms to
                make execution time of instructions more
                repeatable. There is however no systematic
                formalization of what timing repeatability means.
                We show various formal models of timing
                repeatability along with an algorithmic approach
                to evaluate parameters of these formal models.
                This algorithmic approach is used to objectively
                evaluate the timing repeatability of a
                representative sample of platforms with respect to
                a program of interest. 	 },
      URL = {http://terraswarm.org/pubs/186.html}
  }
  

Posted by Zach Wasson on 5 Nov 2013.
Groups: tools