Análisis, planificación y despliegue de sistemas críticos

Desarrollo de técnicas y herramientas para la configuración y asignación de recursos para sistemas empotrados de tiempo real críticos.
Dentro de la asignación y configuración de recursos se encuentran las técnicas de panificación temporal, tanto para arquitecturas tradicionales, como para arquitecturas particionadas.
Se abordan también bien algoritmos heurísticos, de planificación jerárquica, técnicas no covencionales, etc.