Background and information on GameTime.
GameTime is an open-source toolkit for the timing analysis of software. It is targeted towards embedded software, particularly for sequential, terminating programs. The core algorithm of GameTime is based on a combination of game-theoretic online learning of a platform model, and systematic testing on the target platform, leveraging satisfiability modulo theories (SMT) solvers.
In contrast with many existing tools for timing analysis, GameTime can be used for a range of tasks that involve the prediction of an execution time property, including:
GameTime is released under the modified BSD license, described in the included file LICENSE, which is also available here. The licenses for the various open-source tools and packages used by GameTime are:
The GameTime download includes the software development kit, Phoenix, from Microsoft Corporation. Please read the end user license displayed when installing Phoenix for usage rights.
This work was supported in part by NSF grants CNS-0644436, CNS-0627734, and CNS-1035672; an Alfred P. Sloan Research Fellowship; the Multiscale Systems Center (MuSyC), one of six research centers funded under the Focus Center Research Program (FCRP), a Semiconductor Research Corporation entity; and the TerraSwarm Research Center.