Verifying real-time periodic properties on the alma common software time system.
Tipo de material:
TextoDetalles de publicación: Valparaíso: UTFSM, 2008Descripción: xiv, 75 h.: ilTema(s): PROGRAMACION EN TIEMPO REAL | PROCESAMIENTO DE DATOS EN TIEMPO REAL | BC / MEM (memorias UTFSM con resúmenes)Clasificación CDD: M 004.33 Nota de disertación: Tesis (Ing. Civil Informático) -- (Magíster en Ciencias de la Ingeniería Infomática) -- Prof. guía: Horst von Brand, prof. corref.: Raúl Monge Tema: [Resumen del autor]Tema: ALMA Co'on Software (ACS) es el framework distribuido en el cual las aplicaciones de control de A están siendo desarrolladas. Lamentablemente, para aplicaciones de tiempo real, varios subsistemas no están usando el framework, debido a que ACS no provee soporte I explícito para operaciones con temporalidad crítica. Sin embargo, ACS está construido sobre I un middleware con soporte de tiempo real, por lo que no se descarta la posibilidad de que el framework cumpla con ciertas características de tiempo real. Para poder utilizar estas características del middleware, es necesario que este último corra sobre un sistema operativo de tiempo real. Debido a esto, la presente tesis explora algunos sistemas operativos de tiempo real alterativos donde ACS podría correr, desarrollando el soporte cuando fuere necesario y explicando las dificultades en cada caso. El problema es que no existe un método de evaluación comparativa de alto nivel aplicable a ACS, por lo que no se puede dilucidar qué plataforma tiene un mejor comportamiento de tiempo real. En este contexto, la presente tesis propone un modelo de verificación empírica para sistemas complejos de tiempo real, el cual se enfoca en los resultados de las realizaciones del sistema, en vez de en la formalización de los elementos que lo componen. El objetivo es aplicar el modelo en sistemas complejos donde la verificación formal se torna engorrosa y lenta. Si bien el modelo está basado en una especificación formal de requerimientos, la verificación se realiza empíricamente mediante la ejecución reiterada del sistema. Este modelo está basado en la síntesis de requerimientos periódicos de tiempo real, e incluye patrones típicos de la evaluación comparativa como concurrencia y relojes distribuidos. El modelo se aplicó al subsistema de tiempo de ACS, el cual es el servicio que controla los temporizadores y relojes del framework. Se seleccionaron los valores de los parámetros basándose en requerimientos reales de ALMA, para obtener resultados significativos. Los resultados muestran que el subsistema de tiempo de ACS no provee soporte para tiemporeal, por lo que se presentan las directrices generales para la construcción de un servicio de tiempo real para ACS como conclusión.
| Tipo de ítem | Biblioteca actual | Colección | número de clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Memorias
|
Biblioteca Central | Memorias | M 004.33 A663 (Navegar estantería(Abre debajo)) | 1 | Disponible | 3560900136488 |
Navegando Biblioteca Central Estantes, Ubicación: Memorias, Código de colección: Memorias Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
CONSULTE EN LINEA A TRAVES DE REPOSITORIO INSTITUCIONAL
CONSULTE EN LINEA A TRAVES DE REPOSITORIO INSTITUCIONAL
Tesis (Ing. Civil Informático) -- (Magíster en Ciencias de la Ingeniería Infomática) -- Prof. guía: Horst von Brand, prof. corref.: Raúl Monge
h. 69 - 75
[Resumen del autor]
ALMA Co'on Software (ACS) es el framework distribuido en el cual las aplicaciones de control de A están siendo desarrolladas. Lamentablemente, para aplicaciones de tiempo real, varios subsistemas no están usando el framework, debido a que ACS no provee soporte I explícito para operaciones con temporalidad crítica. Sin embargo, ACS está construido sobre I un middleware con soporte de tiempo real, por lo que no se descarta la posibilidad de que el framework cumpla con ciertas características de tiempo real. Para poder utilizar estas características del middleware, es necesario que este último corra sobre un sistema operativo de tiempo real. Debido a esto, la presente tesis explora algunos sistemas operativos de tiempo real alterativos donde ACS podría correr, desarrollando el soporte cuando fuere necesario y explicando las dificultades en cada caso. El problema es que no existe un método de evaluación comparativa de alto nivel aplicable a ACS, por lo que no se puede dilucidar qué plataforma tiene un mejor comportamiento de tiempo real. En este contexto, la presente tesis propone un modelo de verificación empírica para sistemas complejos de tiempo real, el cual se enfoca en los resultados de las realizaciones del sistema, en vez de en la formalización de los elementos que lo componen. El objetivo es aplicar el modelo en sistemas complejos donde la verificación formal se torna engorrosa y lenta. Si bien el modelo está basado en una especificación formal de requerimientos, la verificación se realiza empíricamente mediante la ejecución reiterada del sistema. Este modelo está basado en la síntesis de requerimientos periódicos de tiempo real, e incluye patrones típicos de la evaluación comparativa como concurrencia y relojes distribuidos. El modelo se aplicó al subsistema de tiempo de ACS, el cual es el servicio que controla los temporizadores y relojes del framework. Se seleccionaron los valores de los parámetros basándose en requerimientos reales de ALMA, para obtener resultados significativos. Los resultados muestran que el subsistema de tiempo de ACS no provee soporte para tiemporeal, por lo que se presentan las directrices generales para la construcción de un servicio de tiempo real para ACS como conclusión.
2