Tesis:
Prototipado concurrente de sistemas de tiempo real
- Autor: DUEÑAS LOPEZ, Juan Carlos
- Título: Prototipado concurrente de sistemas de tiempo real
- Fecha: 1994
- Materia: Sin materia definida
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: LEON SERRANO, Gonzalo
- Resumen: En la actualidad, la construcción de los Sistemas de Tiempo Real es una tarea difícil y costosa. A las dificultades de construcción de cualquier sistema informático se añade la complejidad derivada de los factores temporales. Los principales problemas se centran en el descubrimiento tardío de los errores (incluyendo los de la temporización), y los tiempos largos de desarrollo. El objetivo general de la tesis es proporcionar un marco conceptual que permita el uso conjunto de las técnicas del prototipo formal y las de la Ingeniería Concurrente. Para ello, se define el "prototipo concurrente" como la realización de modelos operativos parciales a partir de submodelos cuyos niveles de abstracción y notaciones pueden ser diferentes. De esta forma, se aprovechan las ventajas del prototipo (con el descubrimiento de problemas en fases tempranas del desarrollo), y las de la construcción concurrente por varios grupos de trabajo. En la tesis se muestra cómo utilizar el prototipo concurrente en las fases de diseño, implementación y pruebas de los STR, y cómo se relaciona con el meta-modelo de ciclo de vida en espiral de Boehm. Posteriormente se proponen dos algorítmos que soportan los requisitos básicos del prototipo concurrente: la simulación de prototipos distribuidos y heterogéneos, expresados mediante redes de Petri temporizadas de alto nivel. Para los prototipos distribuidos, se definen unas reglas de composición y un algorítmo de simulación distribuida pesimista asíncrona basada en eventos. Este algorítmo permite la ejecución distribuida de las redes, resuelve los problemas típicos de sincronización, detección y ruptura de bloqueos y conflictos efectivos, y detecta el final de la simulación. Basado en el algorítmo anterior, se muestra el soporte de prototipos heterogéneos, donde coexisten submodelos descritos mediante redes de Petri con otros descritos mediante un lenguaje de programación. Al utilizar para STR, se investiga el modelado de los recursos de computación en el prototipo heterogéneo