UNIVERSIDAD PRIVADA TELESUP

ALTISEN Y SIFAKIS
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

UNIVERSIDAD PRIVADA TELESUP

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

UNIVERSIDAD PRIVADA TELESUP

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.