02/06/2011

Necesidades de los sistemas de tiempo real

a) Especificacin anlisis y verificacin de los STR b) Programacin de STR c) Sistemas Operativos de TR d) Arquitecturas para TR e) Comunicaciones en TR

a) Especificacin anlisis y verificacin de los STR

Es el mayor problema, cumplir con las restricciones temporales. Los mtodos tradicionales son:
Redes de Petri Maquinas de Estados Finitos Etc.

Pero no son aplicables a los STR por las restricciones de TIEMPO. Las tcnicas de IS se son las que mejor se adaptan.

02/06/2011

b) Programacin de STR
La caractersticas por la que se distingue son las restricciones de tiempo en todos los aspectos:
Especificacin Diseo Desarrollo Prueba Verificacin Ejecucin

Juega un papel muy importante el lenguaje que puede facilitar o dificultar la expresin de los requerimientos temporales y el S.O. que ofrece las propiedades necesarias de los STR.

c) Sistemas Operativos de TR
Es un papel clave en la mayora de los STR. En los STR el SO y la aplicacin estn fuertemente acoplados y mucho mas que en los STC (transportabilidad es mas complicada). En un entorno de TR, las tareas crticas debe recibir los recursos que necesiten en el momento que los soliciten, sin importarles el efecto que esto pueda tener sobre el restos de las tareas en ejecucin.

02/06/2011

c) Sistemas Operativos de TR

(2)

Elementos fundamentales en los SOTR son:

Planificador de TR Planificar el conjunto de tareas con las restricciones de tiempo, de precedencia y el uso de recursos. Kernel de TR Ofrece caractersticas y primitivas que permiten intercomunicacin entre las tareas, sincronizacin y garantizan la respuesta a las interrupciones, tienen un mecanismo eficiente de manejo de memoria.

d) Arquitecturas para STR

Estas Arquitecturas deben estar diseadas para soportar las caractersticas crticas :
Gran velocidad de clculo
Alta velocidad en la atencin a interrupciones Alto flujo de entrada / Salida

A los STR es conveniente incorporar la caracterstica de tolerancia a fallos que permite la operacin continua en el caso de producirse un estado anormal en el sistema o el fallo en algn componente de hardware.

02/06/2011

d) Arquitecturas para STR (2)

Es propietaria, conjunto de instrucciones propietarias y SO propietarios. Para aumentar la eficiencia del sistema, los STR se apoyan en :

Semforos Memoria Cache Conmutacin de tareas Algoritmos de planificacin Algoritmos de deteccin Correccin de errores Flujo elevado de Entrada/Salida utilizando mltiples buses.

d) Arquitecturas para STR (3)

Esta alta eficiencia se consigue a costa de perder flexibilidad y aumentar las dificultades de avanzar con nuevos desarrollos del hardware.

El avance de los dispositivos de hardware permiten a los STR estn basados en arquitecturas Abiertas y facilitan su evolucin.

02/06/2011

e) Comunicaciones de STR
En los Sistemas sin caractersticas de TR, es suficiente verificar la validez lgica para disponer de una comunicacin vlida. En los STR es necesario tambin verificar la validez temporal en la transmisin de la informacin. P/E en los SDTR necesitan protocolos que ofrezcan un retardo acotado en el acceso a un canal de comunicacin.

Aspectos Particulares
Algunos de los STR son Sistemas empotrados
Desde el punto de vista del entorno Desde el punto de vista de la funcionalidad Punto de vista del entorno Los req. de proceso no cambian en su entorno y estn bien definidos dentro del entorno de trabajo. Los S.E. se disean para manejar informacin transitoria, los requerimientos de proceso para esta informacin transitoria esta predefinida.

02/06/2011

Aspectos Particulares (2)

Desde el punto de vista de la funcionalidad
Los S.E. se denominan Sistemas dedicados
Son desarrollados para satisfacer una necesidad concretamente definida en un momento dado. Un SE es instalado una vez y para siempre. Por lo tanto el procedimiento de desarrollo nos debe conducir a un sistema operativamente correcto pues la solucin no es el resultado de un desarrollo incremental.

Tolerancia a fallos
Es un problema al que es complicado dar solucin. Y mas si tomamos en cuenta restricciones temporales. La recuperacin de un fallo se consigue basndose en una demora en el proceso de calculo (tcnica de recuperacin y vuelta a atrs) Otro elemento que aumenta la complejidad de la tolerancia a fallos es la interaccin con el entorno.

02/06/2011

Ejemplos de STR en Mxico

Compaa de luz y fuerza del Centro (CLyFC)
Es el organismo que atiende el servicio de distribucin y comercializacin de energa elctrica en la zona central del pas. Para prestar este servicio es necesario contar con un sistema de supervisin en TR a travs del Centro de Operacin y Control, desde donde es posible monitorear las fallas remotas en la subestaciones de potencia de esta institucin.

Ejemplos de STR en Mxico

Comisin Federal de Electricidad
La CFE es la encargada de la generacin, transmisin, distribucin y comercializacin de la energa elctrica en Mxico. Se utiliza un sistema de monitoreo y control ubicado en el Centro Nacional de Control de la Energa (CENACE) donde se supervisa y controla en TR.

02/06/2011

Ejemplos de STR en Mxico

Sistema de Transporte Colectivo Metro (STC)
Transporta a millones de pasajeros y no es fcil para lograr un trnsito fluido, eficiente y sin demoras.

Es necesario un sistema de sealizacin de trafico, que est instalado en el Puesto de Control Central (PCC) donde se realiza el monitoreo en TR de los trenes en cada una de las lneas.

Diagrama de bloques de un STR Genrico

Sistema de control

Sensor

Actuador

Mundo Fsico

02/06/2011

Qu tienen que ver los STR con las instituciones anteriores?

Las instituciones cuentan con equipos computarizados que tienen dos aspectos en comn:
Tienen contacto con el mundo fsico a travs de sensores.
El mundo fsico dicta restricciones de tiempo

Caractersticas:
Determinismo
Es una cualidad clave en los STR Es la capacidad de determinar con una alta probabilidad, cuanto es el tiempo que se toma una tarea en iniciarse. Se enfoca en el tiempo que se tarda una tarea en ejecutarse una vez que la interrupcin ha sido atendida .
Se enfoca a:
La cantidad de tiempo que se lleva el iniciar la ejecucin de una interrupcin La cantidad de tiempo que se necesita para realizar las tareas que pidi la interrupcin. Los efectos de interrupciones anidadas.

Responsividad

02/06/2011

Caractersticas:
Usuarios controladores
El proceso es capaz de especificar:
Su prioridad El manejo de memoria que requiere Derechos sobre el sistema

Confiabilidad
El STR debe de seguir en funcionamiento a pesar de catstrofes, o fallas mecnicas.

Caractersticas:
Operacin a prueba de fallas duras
El sistema debe de fallar de manera que:
Cuando ocurra una falla, el sistema preserve la mayor parte de los datos y capacidades del sistema en la mxima medida posible. Que sea Estable
P/E Que si para el sistemas es imposible cumplir con todas las tareas sin exceder sus restricciones de tiempo, entonces el sistema cumplir con las tareas mas criticas y de mas alta prioridad.

10

02/06/2011

Caractersticas:
Grande y complejo Manipulacin de nmeros reales Extremadamente fiable y seguro Control concurrente de los distintos componentes separados del sistema Funcionalidades en TR Interaccin con interfaces hardware Implementacin eficiente y entorno de ejecucin

11