Tesis:
Diseño de sistemas de tiempo real mediante objetos ejecutables
- 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
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: ALONSO MUÑOZ, Alejandro
- Director/a 2º: 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