GameTime: A Toolkit for Timing Analysis of Software

Sanjit A. Seshia and Jonathan Kotker. GameTime: A Toolkit for Timing Analysis of Software. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , pp. 388–392, March 2011.

Download

[pdf] 

Abstract

Timing analysis is a key step in the design of dependable real-time embedded systems. In this paper, we present GameTime, a toolkit for execution time analysis of software. GameTime is based on a combination of game-theoretic online learning and systematic testing using satisfiability modulo theories (SMT) solvers. In contrast with many existing tools for timing analysis, GameTime can be used for a range of tasks, including estimating worst-case execution time, predicting the distribution of execution times of a task, and finding timing-related bugs in programs. We describe key implementation details of GameTime and illustrate its usage through examples.

BibTeX

@inproceedings{seshia-tacas11,
  author    = {Sanjit A. Seshia and Jonathan Kotker},
  title     = {{GameTime}: A Toolkit for Timing Analysis of Software},
  BOOKTITLE = { Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS) },
 pages = "388--392", 
 month = "March", 
 year = "2011",
 abstract = {Timing analysis is a key step in the design of dependable real-time embedded 
systems. In this paper, we present GameTime, a toolkit for execution time 
analysis of software. GameTime is based on a combination of game-theoretic online 
learning and systematic testing using satisfiability modulo theories (SMT) 
solvers. In contrast with many existing tools for timing analysis, GameTime can 
be used for a range of tasks, including estimating worst-case execution time, predicting 
the distribution of execution times of a task, and finding timing-related 
bugs in programs. We describe key implementation details of GameTime and illustrate 
its usage through examples.}, 
}