Presente un informe acadmico sobre la propuesta de Altisen y Sifakis de una metodologa para construir sistemas planificados restringiendo el funcionamiento

de los procesos para garantizar dos tipos de restricciones: restricciones de planificabilidad y restricciones sobre los algoritmos.

Los sistemas de tiempo real adems de la correccin funcional, deben cumplir un conjunto de requisitos no funcionales que incluyen restricciones temporales sobre la ejecucin del conjunto de tareas, como puede serla entrega de los resultados, por parte de cada tarea, antes de un determinado plazo de entrega.

La consecucin de las restricciones temporales por parte de un sistema de tiempo real se consigue mediante la adecuada combinacin de:

Un algoritmo que se encargue del reparto de los recursos de procesamiento entre las tareas activas siguiendo algn criterio bien conocido (prioridades fijas, primero la tarea con el plazo de entrega ms cercano, etc.).

Planificabilidad que garantice, antes de la puesta en marcha del sistema, que un determinado conjunto de tareas va a cumplir las restricciones temporales sobre una plataforma de ejecucin dada bajo el control de indeterminado algoritmo de planificacin.

Algoritmo:

Algoritmo de asignacin siempre comprueba si un conjunto de tareas es panificable utilizando los test de planificabilidad de condicin suficiente y si estos no son capaces de determinar la planificabilidad del sistema, entonces se aplicaran los test exactos. En todos los casos, si la utilizacin Ukj del conjunto Pkj es superior a 1, el procesador j se descartara como candidato.

Planificabilidad:

Suelen considerar un modelo del sistema en el que cada tarea es una secuencia infinita de activaciones con un intervalo fijo (o mnimo) entre las mismas. Cada activacin solicita una cierta cantidad de cmputo que debe atenderse antes de un plazo de entrega determinado. Con esta informacin el test de Planificabilidad debe garantizar que bajo un cierto algoritmo de planificacin el conjunto de tareas siempre va a cumplir las restricciones temporales.

El papel de los modelos:

Modelado juega un papel central en la ingeniera de sistemas . El uso de modelos puede provechosamente sustituir la experimentacin en sistemas reales con ventajas incomparables tales como,

Mejorar la modificabilidad del modelo y sus parmetros

La facilidad de construccin mediante la integracin de modelos de componentes heterogneos,

Generalidad mediante el uso de generalidad, abstraccin , de comportamiento no determinismo

Una mayor observabilidad y controlabilidad sobre todo , evitar el efecto de sondeo y de las perturbaciones debidas a la experimentacin.

Por ltimo, la posibilidad de anlisis y previsibilidad mediante la aplicacin de la educacin formal mtodos.

Modelado basado en componentes:

El propsito de la modelizacin es la construccin de modelos de software y sistemas que satisfacer requerimientos. Dado por sentado que los modelos se construyen mediante la composicin componentes que son unidades de modelo (bloques de construccin) totalmente caracterizan por su interfaz. Utilizamos la notacin para denotar una operacin de composicin arbitraria incluyendo las operaciones de composicin de sencillas a la CCS [Mil89] o CSP [Hoa85] , protocolos cualquier tipo de " cola " que se utiliza en un proceso de integracin : ? C1 C2 representa una Sistema compuesto de dos componentes C1 y C2. Suponemos que el significado de? puede ser definido por reglas de semntica operativos que determinan el comportamiento de los sistemas de material compuesto a partir del comportamiento de los componentes.

Modelos temporizadas.

Un sistema de tiempo real es un sistema de capas que consiste en la aplicacin de software implementado como un conjunto de tareas que interactan, y la plataforma de ejecucin subyacente. Se interacta continuamente con un ambiente externo para proporcionar un servicio satisfacer los requisitos, generalmente llamados requisitos de QoS . Los requisitos caracterizar las propiedades esenciales de la dinmica de la interaccin. Modelos de sistemas de tiempo real deben representar fielmente interactiva del sistema comportamiento teniendo en cuenta las opciones de aplicacin que guarden relacin con Gestin de recursos y la programacin, as como la velocidad de ejecucin del subyacente de hardware . Son modelos programados, ya que representan la dinmica de la interaccin no slo en trminos de acciones, sino tambin en trminos de tiempo. La construccin de tales modelos es claramente un problema no trivial.

Construccin del modelo temporizado

Se presenta una metodologa para la construccin de modelos programados de los sistemas en tiempo real, descripciones capas compuestas de

Modelos de las tareas. Una capa de sincronizacin.

Un programador que controla la ejecucin con el fin de cumplir con los requisitos de QoS.