Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo

La naturaleza de los sistemas distribuidos de tiempo real (SDTR) requiere técnicas de análisis, diseño y prueba especificas que permitan representar las situaciones típicas de estos sistemas. Un sistema distribuido de tiempo real debe interactuar con el mundo real, en puntos físicamente distantes, en periodos de tiempo que vienen determinados por el contexto o las restricciones de la especificación (en muchos casos a partir de una activación asincrónica). La evolución tecnológica en el tratamiento de señales (locales o remotas) y en los sistemas de comunicaciones ha impulsado enormemente esta área temática, sobre todo en los aspectos de planificación y desarrollo de software para Sistemas Distribuidos de Tiempo Real. Como cualquier sistema basado en computadora, un SDTR debe integrar software, hardware, personas, bases de datos, no solo para cumplir con los requisitos funcionales del sistema, sino también con los requerimientos de rendimiento. Eje: Procesamiento concurrente, paralelo y distribuido. Procesamiento de imágenes. Red de Universidades con Carreras en Informática (RedUNCI)