Tesis doctoral de Miguel Cabello Miguel Angel De
En esta tesis doctoral se propone un conjunto de notaciones para la descripcion de diseños de sistemas de tiempo real orientados a objetos. Esas notaciones don adaptaciones de otras existentes, fundamentalmente hrt-hoad. Tomando como punto de partida esas notaciones se describe su formalizacion 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 ejecucion de los modelos. Dadas las restricciones temporales se fija como verificar esas restricciones con la generacion automatica de modes rma (rate monotonic analisis) y se extiende la notacion para poder mejorar la caracterizacion temporal de las clases de modelos, mediante propiedades en logica temporal. Por ultimo se describe como integras estos modelos en un desarrollo incremental basado en modelos heterogeneos.
Datos académicos de la tesis doctoral «Diseño de sistemas de tiempo real mediante objetos ejecutables.«
- Título de la tesis: Diseño de sistemas de tiempo real mediante objetos ejecutables.
- Autor: Miguel Cabello Miguel Angel De
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Alejandro Alonso Muñoz
- Tribunal
- Presidente del tribunal: Gonzalo León Serrano
- Michael Gonzalez Harbour (vocal)
- Pedro De Miguel Anasagasti (vocal)
- Villarroel Salcedo José Luis (vocal)