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.
A timing analysis based on game-theoretic learning was presented in REF .
GameTime: A toolkit for timing analysis of software
in Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS
Computer Science