Tics Formatos

Los sistemas distribuidos de tiempo real (SDTRs) son ampliamente utilizados en la actualidad en todo tipo de situaciones: sistemas militares, medicina, aplicaciones empotradas, simuladores, etc. Este tipo de sistemas, como sus equivalentes en sistemas no distribuidos (STRs), se caracterizan porque su correcto funcionamiento depende no sólo de las entradas y salidas del mismo, sino porque ademásse debe dar respuesta a los diferentes eventos en el momento adecuado, pudiendo ser fatal cualquier retraso. En particular, la complejidad de los SDTRs es aún mayor, puesto que tienen que tratar con un nuevo elemento, la red, que debe ser considerado en el análisis de tiempo real. El desarrollo de los SDTRs viene caracterizándose por soluciones ad hoc que no garantizan predecibilidad o que siaportan esta característica, no se han analizado adecuadamente, por lo que en ambos casos las aplicaciones desarrolladas no pueden considerarse como aplicaciones de tiempo real estricto. No obstante, en los últimos años, se vienen realizando intentos por la comunidad de tiempo real para utilizar las nuevas técnicas y metodologías de la Ingeniería del Software en los sistemas de tiempo real, y enparticular, en los SDTRs. Una primera aportación es la utilización de componentes software. Los componentes en el sentido de [Szypersky et al., 2002] son módulos binarios con interfaces bien definidas, de forma que una aplicación puede realizarse en base a la composición de componentes y sus interacciones, aumentando el grado de reutilización del software así como su calidad, al disponer de partes decódigo ya comprobadas. El principal inconveniente de los modelos de componentes actuales es que no son adecuados para su utilización en sistemas de tiempo real, al no permitir, por ejemplo, la indicación de restricciones temporales. En el campo de las aplicaciones distribuidas destaca el trabajo del OMG (Object Management Group) para la definición de una arquitectura para aplicaciones 2 distribuidas[OMG, 1999]. El resultado es la arquitectura OMA (Object Management Architecture), de la que CORBA (Common Object Request Broker Architecture) es su parte central. CORBA permite desarrollar aplicaciones que se comunican independientemente del lenguaje de programación, sistema operativo o plataforma hardware. El principal inconveniente para la utilización de CORBA en SDTRs es que el tiempo derespuesta de las invocaciones no está acotado, por lo que no puede realizarse un análisis de tiempo real. La solución para la utilización de CORBA en SDTRs pasa por la utilización de la extensión de tiempo real conocida como Real-time CORBA o RT-CORBA [OMG, 2005]. RT-CORBA permite desarrollar aplicaciones distribuidas predecibles gestionando los recursos del procesador, las comunicaciones y la memoria[Schmidt y Kuhns, 2000]. Utilizando componentes software y RT-CORBA como middleware de comunicaciones, pueden desarrollarse eficientemente aplicaciones distribuidas predecibles, pero falta un tercer elemento que permita utilizar estas aplicaciones para tiempo real, como es una metodología de análisis de tiempo real que permita analizar aplicaciones distribuidas. En este sentido, el trabajopresentado en [Alvarez et al., 1999] utiliza SDL (Specification Description Language) [ITU SDL, 1994], técnica de descripción formal (TDF) que en ese trabajo es ampliada para permitir el análisis de tiempo real de sistemas diseñados en SDL, aunque centrándose únicamente en sistemas no distribuidos. El objetivo de la presente tesis es ampliar y fusionar adecuadamente estos tres elementos para poderaplicar las técnicas de la Ingeniería del Software en los sistemas de tiempo real. Para ello, se va a definir un modelo de componentes distribuidos que junto con RT-CORBA como plataforma de comunicaciones y una metodología de análisis basada en la extensión de tiempo real de SDL va a permitir realizar aplicaciones distribuidas de tiempo real analizables. Mediante la definición de un nuevo modelo de...