Tesis doctoral de Alberto Gil Solla
Esta tesis doctoral se centra en la aplicación de las tecnicas formales al diseño y verificacion de sistemas distribuidos, concretamente a la fase inicial de captura de los requisitos de usuario. El trabajo define un procedimiento metodologico para obtener la arquitectura inicial en forma de sistema de transiciones simbolico. Para ello, define la logica temporal ltcs y un algoritmo de model checking para la verificacion de las propiedades que se desea que cumpla el sistema. En caso de no cumplirse una propiedad, en la tesis se propone una variante de model checking con registros de información para identificar posibles modificaciones del sistema que deriven en el cumplimiento de la citada propiedad. El modelo resultante es automaticamente traducido a una especificacion elotos que sirve como punto de partida para un proceso de refinamientos.
Datos académicos de la tesis doctoral «Diseño y verificacion de sistemas distribuidos mediante la aplicación combinada de metodos formales«
- Título de la tesis: Diseño y verificacion de sistemas distribuidos mediante la aplicación combinada de metodos formales
- Autor: Alberto Gil Solla
- Universidad: Vigo
- Fecha de lectura de la tesis: 18/01/2000
Dirección y tribunal
- Director de la tesis
- José Juan Pazos Arias
- Tribunal
- Presidente del tribunal: Carlos Delgado kloos
- Luis Sanchez fernandez (vocal)
- pere Botella lópez (vocal)
- Lopez garcia candido Antonio (vocal)