RESTK

En sistemas embebidos en tiempo real, el análisis de tiempos es una parte crucial del proceso de verificación y validación. En particular, el análisis del tiempo de ejecución en el peor de los casos (WCET, por sus siglas en inglés) es un problema constante en la comunidad de tiempo real. Por razones de seguridad, la dificultad radica en poder acotar superiormente el WCET, que es indiscutiblemente muy difícil de medir en la realidad. En RESTK, proporcionamos una solución para acotar superiormente el WCET. La desigualdad de Markov es una herramienta probabilística que permite calcular límites superiores para la probabilidad de exceder un valor determinado. En su forma más simple, la desigualdad de Markov es muy pesimista en su acotación superior. Ofrecemos una solución mucho más estricta para limitar por arriba cuantiles extremadamente altos mediante el uso de la desigualdad de Markov a la potencia de k en el algoritmo Restricted K (RESTK) para garantizar que las estimaciones siempre limiten por arriba el WCET verdadero. La implementación permite ingresar un perfil de tiempo de ejecución y calcular un límite superior para los cuantiles altos deseados. El software está escrito en R y la última versión se puede encontrar en el repositorio Comprehensive R Archive Network (CRAN).

N/A

N/A

N/A

N/A

GPL License (Version 3.0)

N/A