GameTime: A toolkit for timing analysis of software
SA Seshia, J Kotker - Tools and Algorithms for the Construction and …, 2011 - Springer
SA Seshia, J Kotker
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011•SpringerTiming 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 …
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 …
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.
Springer