Se ofrece una beca de cuatro años para realizar la tesis doctoral en el

Grupo de Ingeniería de Sistemas de Eventos Discretos (GISED)
(Grupo acreditado como "Consolidado" por el Gobierno de Aragón)

dentro del programa de doctorado del

Departamento de Informática e Ingeniería de Sistemas de la Universidad de Zaragoza, España
(Programa de doctorado con "Mención de Calidad" otorgada por el Ministerio de Educación, Ciencia y Deporte)

La beca se enmarca en el proyecto de investigación

Evaluación de Prestaciones de Sistemas de Información haciendo uso de UML y Redes de Petri (TIC2003-05226)
Financiado por: Ministerio de Ciencia y Tecnología
Investigador principal: Dr. Javier Campos Laclaustra

El proyecto tiene como objetivo la evaluación del rendimiento de sistemas software complejos en las primeras etapas del ciclo de vida del software, línea de investigación que el grupo solicitante inició en el año 2000 en colaboración con el grupo de evaluación de prestaciones de la Universidad de Turín.

El proyecto considera sistemas software distribuidos, inicialmente modelados con el lenguaje UML que, no siendo un lenguaje de modelado formal, sí es ampliamente utilizado por los ingenieros de software en proyectos de complejidad alta como alternativa a los lenguajes formales (que requieren de una mayor formación científica previa).

La propuesta de evaluación del rendimiento de software de este proyecto se basa, en grandes líneas, en dotar al lenguaje UML de las especificaciones temporales necesarias para la aplicación de técnicas de análisis de prestaciones, en el estudio del papel que los diferentes diagramas de UML juegan en el proceso de evaluación del rendimiento y finalmente en el desarrollo de un prototipo de herramienta CASE que automatice el proceso de evaluación de prestaciones. Para que todo ello sea posible, es preciso dotar de una semántica formal a los diagramas de UML --lo hacemos en términos de redes de Petri estocásticas-- para obtener un modelo de prestaciones susceptible de ser analizado con técnicas numéricas.

• Disponibilidad: cuatro años desde enero de 2004
• Situación: becario de investigación homologado de la Universidad de Zaragoza
• Salario: unos 12000 euros/año
• Contacto: Dr. Javier Campos Laclaustra (jcamposunizar [dot] es)