INVESTIGADORES
OROZCO Javier Dario
congresos y reuniones científicas
Título:
Test Rápido de Planificabilidad para R.M. o D.M.
Autor/es:
JOSÉ M. URRIZA; RICARDO CAYSSIALS; JAVIER DARIO OROZCO
Lugar:
Cali, Colombia
Reunión:
Congreso; 31 Conferencia Latinoamericana de Estudios en informática; 2005
Institución organizadora:
Centro Latinoamericano de Estudios en Informática
Resumen:
El test de planificabilidad es la herramienta necesaria para garantizar que un sistema de tiempo-real pueda cumplir con sus restricciones temporales. Desde 1973, se han desarrollando diversos métodos basados en cotas que garanticen dicha condición necesaria, como la de Liu y Layland, la cota de Bini en el 2001 y análisis exactos, como el desarrollado por Joseph y extendido por otros autores. Pero este análisis exacto conlleva una carga computacional elevada. Este trabajo presenta un test exacto, con una carga de computacional baja que puede ser utilizado en tiempo de corrida en sistemas embebidos.
