Contratación de técnico superior

Sat, 23/03/2013

Contratación de un técnico superior en el proyecto TIN2011-24932 “Una metodología de análisis guiada por el modelado para sistemas empotrados distribuidos con supervivencia crítica (MASDES)” - financiado por el Ministerio de Economía y Competitividad (ex Ministerio de Ciencia e Innovación).

Hoy en día se requieren cada vez más sistemas empotrados complejos, de grandes dimensiones y distribuidos, a menudo críticos con respecto a su capacidad de sobrevivir a fallos. Estos sistemas tienen como requerimiento el cumplir su misión de manera tempestiva, a pesar de la presencia de fallos tanto accidentales (problemáticas de safety) como maliciosos (problemáticas de security).

Los  objetivos principales del proyecto son: 

  • La definición de una metodología para evaluar la capacidad de supervivencia de los sistemas empotrados distribuidos, considerando las problemáticas tanto de safety como de security; 
  • La integración de la metodología en un proceso de desarrollo del software guiado por el modelado (MDD) que pueda hacer frente a los cambios de los requerimientos del sistema, como por ejemplo el Proceso Unificado (UP) que usa el Lenguaje de Modelado Unificado (UML) como principal lenguaje de especificación del software.

El técnico, contratado por el Centro Universitario de la Defensa (CUD), trabajará en el ámbito del proyecto realizando las siguientes actividades:

  • Diseño e implementación de transformaciones de UML a modelos formales de superviviencia 
  • Integración de las transformaciones en una herramienta CASE

El tipo de contratación es de seis meses a tiempo completo, con posibilidad de renovación.

Lugar de trabajo: CUD-AGM / Departamento de Informática e Ingeniería de Sistemas  - Escuela de Ingeniería y Arquitectura de la Universidad de Zaragoza.

Contactos:

Prof. Dr. Javier Campos, E-mail: jcamposatunizar [dot] es

Prof. Dr. José Merseguer, E-mail: jmerseatunizar [dot] es    

Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza