Universidad de Castilla-La Mancha
 
Escuela Superior de Ingeniería Informática

 

  cambiar a curso:   2009-10   2011-12



Trabajo Fin de Grado 2010-11
 Herramienta para la validación y verificación de sistemas en tiempo real


Especialidades
Computación
Ing. de Computadores
Ing. del Software
Tecnologías de la Información


Tutor
PIQUERAS, M
MARTINEZ LOPEZ, ENRIQUE


Descripción y Objetivos
Implementación de una herramienta para permitir la validación y verificación de sistemas en tiempo real, basándose en la definición del sistema mediante técnicas de diseño y obteniendo automaticamente su representación en métodos formales que nos permitan validar y verificar este diseño del sistema.


Metodología y Competencias
- Implementación en Java.
- Autómatas temporizados.
- UML.



Medios a utilizar
- Entorno JBuilder.
- Herramienta UPPAAL.



Bibliografía


Asignación
El Trabajo Fin de Grado ha sido a asignado a Don/Doña Julio Dieguez Rodríguez





 

Sindicación  Sindicación  Sindicación  Sindicación

Curso: 2010-11
© Escuela Superior de Ingeniería Informática
Edificio Infante Don Juan Manuel
Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

informatica.ab@uclm.es
aviso legal
generar código QR de la página