Tesis doctoral de Francisco Jose García Izquierdo
La tesis debe situarse en el entorno de un proyecto más amplio, cuyo objetivo es el planteamiento de un método para el desarrollo de sistemas de tiempo real basado en el empleo de las redes de petri. Este formalismo de partida ha sido extendido por varios autores para la consideración de características temporales. En la tesis se propone el uso de las redes de petri con tiempo (rdpt). la tesis se centra en el modelado de las características temporales y de control de sistemas de tiempo real, y, sobre todo, en la generación de código (ada 95) para el sistema modelado. La generación de código se aborda a través de la adaptación de técnicas de implementación de redes de petri: técnicas centralizadas y descentralizadas. Se ha justificado que el código generido es correcto, al tener la misma semántica que la red de petri que implementa. Como resultado adicional se incluye un capítulo dedicado al modelado de primitives ada 95 de concurrencia y tiempo real, en términos de rdpt.
Datos académicos de la tesis doctoral «Modelado e implementación de sistemas de tiempo-real mediante redes de petri con tiempo«
- Título de la tesis: Modelado e implementación de sistemas de tiempo-real mediante redes de petri con tiempo
- Autor: Francisco Jose García Izquierdo
- Universidad: Zaragoza
- Fecha de lectura de la tesis: 17/12/1999
Dirección y tribunal
- Director de la tesis
- Villarroel Salcedo José Luis
- Tribunal
- Presidente del tribunal: manuel Silva suarez
- De la puente Juan Antonio (vocal)
- Drake moyanu José María (vocal)
- (vocal)