Tesis doctoral de Juan Carlos Dueñas Lopez
En la actualidad, la construccion de los sistemas de tiempo real es una tarea dificil y costosa. A las dificultades de construccion de cualquier sistema informatico se añade la complejidad derivada de los factores temporales. Los principales problemas se centran en el descubrimiento tardio de los errores (incluyendo los de la temporizacion), y los tiempos largos de desarrollo. el objetivo general de la tesis es proporcionar un marco conceptual que permita el uso conjunto de las tecnicas del prototipado formal y las de la ingenieria concurrente. Para ello, se define el «prototipado concurrente» como la realizacion de modelos operativos parciales a partir de submodelos cuyos niveles de abstraccion y notaciones pueden ser diferentes. de esta forma, se aprovechan las ventajas del prototipado (con el descubrimiento de problemas en fases tempranas del desarrollo), y las de la construccion concurrente por varios grupos de trabajo. En la tesis se muestra como utilizar el prototipado concurrente en las fases de diseño, implementacion y pruebas de los str, y como se relaciona con el meta-modelo de ciclo de vida en espiral de boehm. posteriormente se proponen dos algoritmos que soportan los requisitos basicos del prototipado concurrente: la simulacion de prototipos distribuidos y heterogeneos, expresados mediante redes de petri temporizadas de alto nivel. para los prototipos distribuidos, se definen unas reglas de composicion y un algoritmo de simulacion distribuida pesimista asincrona basada en eventos. Este algoritmo permite la ejecucion distribuida de las redes, resuelve los problemas tipicos de sincronizacion, deteccion y ruptura de bloqueos y conflictos efectivos, y detecta el final de la simulacion. basado en el algoritmo anterior, se muestra el soporte de prototipos heterogeneos, donde coexisten submodelos descritos mediante redes de petri con otros descritos mediante un lenguaje de programacion. Al utilizar para str, s
Datos académicos de la tesis doctoral «Prototipado concurrente de sistemas de tiempo real«
- Título de la tesis: Prototipado concurrente de sistemas de tiempo real
- Autor: Juan Carlos Dueñas Lopez
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Gonzalo León Serrano
- Tribunal
- Presidente del tribunal: Juan Quemada Vives
- Pere Botella López (vocal)
- Juan Antonio De La Puente Alfaro (vocal)
- ángel Viña Castiñeiras (vocal)