Institución:
RESTK es una herramienta estadística basada en la desigualdad de Markov que estima tiempos de ejecución en el peor de los casos con gran fiabilidad a partir de datos medidos. Mediante el análisis de muestras de tiempo de ejecución, garantiza el cumplimiento de los plazos con una confianza extremadamente alta. Esto es fundamental para sistemas críticos de seguridad en sectores como la aviación, la automoción y la sanidad. La herramienta funciona con datos de cualquier plataforma y se ejecuta en R, lo que la hace ampliamente utilizable. Unas estimaciones de tiempo más precisas también permiten que los sistemas funcionen con menos recursos, mejorando indirectamente la eficiencia energética.
