Autor: MIGUEL CABELLO, Miguel Angel de
Título: Diseño de sistemas de tiempo real mediante objetos ejecutables
Fecha: 1997
Materia: Sin materia definida
Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
Departamento: INGENIERIA DE SISTEMAS TELEMATICOS
Director/a(s):
- Director/a: ALONSO MUÑOZ, Alejandro
- Director/a: PUENTE ALFARO, Juan Antonio de la
Resumen: En esta tesis doctoral se propone un conjunto de notaciones para la descripción de diseños de sistemas de tiempo real orientados a objetos. Esas notaciones son adaptaciones de otras existentes, fundamentalmente (HRT-HOAD). Tomando como punto de partida esas notaciones se describe su formalización mediante HLTPN (High Level Timed Petri Nets) para con ello establecer una secuencia formal de los modelos y crear un mecanismo que permita simular y animar la ejecución de los modelos. Dadas las restricciones temporales se fija como verificar esas restricciones con la generación automática de modes RMA (Rate Monotonic Análisis) y se extiende la notación para poder mejorar la caracterización temporal de las clases de modelos, mediante propiedades en lógica temporal. Por último se describe como integras estos modelos en un desarrollo incremental basado en modelos heterogéneos