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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados