RESUMEN
El grupo del Laboratorio de Sistemas Digitales (LSD) tiene como
objetivo principal de investigación el estudio y desarrollo de
técnicas para el diseño y análisis de sistemas de procesamiento y
comunicaciones de datos en ambientes de tiempo real. Para el
tratamiento de estas aplicaciones es necesario contar con mecanismos y
técnicas idóneas que permitan verificar que las restricciones
temporales de las aplicaciones sean satisfechas. En un principio, los
sistemas de tiempo real fueron diseñados casi exclusivamente para
aplicaciones críticas. Los sistemas de tiempo real modernos enfrentan
el desafío de obtener una mayor capacidad de adaptación a diferentes
tipificaciones de las restricciones temporales. Es por ello que
resultan necesarios nuevos mecanismos de especificación, análisis,
validación e implementación y en este sentido, se orienta objetivo del
proyecto.