Institució:
RESTK és una eina estadística basada en la desigualtat de Markov que estima temps d'execució molt fiables en el pitjor dels casos a partir de dades mesurades. En analitzar mostres de temps d'execució, ofereix garanties que els terminis es compliran amb una confiança extremadament alta. Això és essencial per a sistemes crítics per a la seguretat en camps com l'aviació, l'automoció i la salut. L'eina funciona amb dades de qualsevol plataforma i s'executa en R, cosa que la fa àmpliament utilitzable. Unes estimacions de temps més precises també poden permetre que els sistemes s'executin amb menys recursos, millorant indirectament l'eficiència energètica.
