Tesis doctoral de Mediavilla Bolado M. Elena
En la tesis se desarrolla un conjunto de herramientas para el diseño de programas paralelos de tiempo real. dentro de una metodología de prototipo rapido, estas herramientas permiten realizar analiticamente la validacion y la caracterizacion de respuesta temporal de los programas antes de ser implementados. Los programas paralelos se modelan mediante una extension de las redes de petri probabilisticas denominada red de petri extendida (epn). El modelo epn permite representar con diferentes niveles de detalle los programas paralelos como conjuntos de procesos que interaccionan entre si y con el entorno a traves de diferentes mecanismos de sincronizacion. A partir de este modelo, se puede realizar la evaluacion estatica y dinamica del programa paralelo en cualquier plataforma monoprocesadora o multiprocesadora y bajo distintas politicas de planificacion de los procesos. Esto permite comparar la influencia introducida por estas opciones de implementacion en el comportamiento funcional y temporal del programa.
Datos académicos de la tesis doctoral «Modelado y evaluacion de programas paralelos con distintas estrategias de planificacion de procesos«
- Título de la tesis: Modelado y evaluacion de programas paralelos con distintas estrategias de planificacion de procesos
- Autor: Mediavilla Bolado M. Elena
- Universidad: Cantabria
- Fecha de lectura de la tesis: 01/01/1995
Dirección y tribunal
- Director de la tesis
- Drake Moyano José M.
- Tribunal
- Presidente del tribunal: Juan Antonio De La Puente Alfaro
- Anton Civit Barcells (vocal)
- Villaroel Salcedo José Luis (vocal)
- Fernando Vallejo Alonso (vocal)