Arquitectura de Sistemas de Tiempo Real

Arquitectura de Sistemas de Tiempo Real
Objetivos del tema:
1. Identificar las características que definen un sistema de tiempo real (STR).
2. Introducir algunos conceptos importantes en el tratamiento de SSTR.
3. Identificar los tipos de SSTR más comunes.
 Bibliografía del tema:
o
Liu, J. W. “Real-Time Systems”. Prentice Hall, 2000. Tema 1. (C)
o
Burns, A., Wellings, A., Real Time Systems and Programming Languages.
Segunda Edición, Addison-Wesley, 1996. Tema 1.
1
Ejemplo de un sistema de tiempo real (I).
Frenos ABS (Anti Block System) en un automóvil: Evita una posible perdida del control de la
dirección de un automóvil cuando se frena.
Movimiento si giran las ruedas delanteras
Movimiento si las ruedas delanteras se
bloquean debido a una frenada
2
Ejemplo de un sistema de tiempo real (II).
Frenos ABS (Anti Block System) en un automóvil. Diagrama de bloques.
Sensor pedal
de freno
Actuador
de freno
Control de
frenada
Sensor de
ángulo de giro
Sensor de
velocidad
Hay un bloque
de este tipo por
rueda
Esto es una simplificación
3
Determinismo temporal (I).
Sistema de propósito general:
 Sus acciones siempre deben tener corrección lógica. Determinismo lógico.
Sistema de tiempo real:
 Además de determinismo lógico, las acciones de un STR deben realizarse en el momento
adecuado, es decir, deben tener corrección temporal. Determinismo temporal.
Ejemplo (ABS):
 Evento externo  El usuario pisa el pedal de freno.
 Respuesta del sistema  Activar el actuador del freno.

Corrección lógica y temporal: siempre se debe frenar antes de un tiempo
determinado.
El determinismo temporal se puede dar a varios niveles.
4
Determinismo temporal (II).
Un sistema de tiempo real es aquel en el que el tiempo de respuesta a estímulos externos es vital
para el sistema [Kris 97].
 Las restricciones temporales son una parte significativa de los requisitos del sistema.
La influencia de los requisitos temporales puede variar mucho dependiendo de la naturaleza de la
aplicación:
Límite
Utilidad
T. de respuesta máximo (TRmax)
Función de utilidad (value function) del sistema cuando una respuesta retrasada invalida los
resultados: Sistema ABS.
5
Determinismo temporal (III).
En algunas aplicaciones, se pueden dar resultados válidos aunque no se cumplan las
especificaciones temporales: Tienen funciones de utilidad con el siguiente aspecto:
Límite
Utilidad
T. de respuesta máximo (TRmax)
6
Ejemplo de aplicaciones de tiempo real: Control de procesos (I).
Son aplicaciones en las que el computador actúa sobre un proceso un proceso físico externo para
mantenerlo en un estado deseado.
Un ejemplo típico es el control de la velocidad de un motor en lazo cerrado:
Actuador
del motor
Unidad potencia
+ Motor
Computador de
control de velocidad
del motor
Velocidad
deseada
Operador
Sensor de
posición o
velocidad angular
7
Control de procesos (II).
Bucle típico de control digital en lazo cerrado para controlar el estado de un proceso:
rk
D/A
uk
A/D
Algoritmo
o ley
de control
Referencia
r(t)
A/D
yk
Actuador
u(t)
Sensor
y(t)
Proceso
8
Control de procesos (V). Características comunes.
 ¿De donde vienen las restricciones temporales?
Velocidad de muestreo correcta.
Velocidades bajas.
Sin degradación grave.
Con degradación grave.
9
Control de procesos (VI). Características comunes.
 Una actuación incorrecta (lógica o temporalmente) puede ser peligrosa.
 Sistemas de E/S orientados a la adquisición de datos de algún proceso físico.
 Las medidas tienen un tiempo de validez.
 Las mediciones pueden estar dirigidas por tiempo o por eventos.
 Suelen ser necesarios procesos (SW o HW) de acondicionado de las mediciones y
validación.
 Los procesos de control pueden ser continuos (cíclicos) o discretos (eventos).
 Necesitan supervisión de la integridad de sistemas (datos adquiridos, actuaciones, …). En
muchos casos es necesario tener mecanismos de control alternativos por si algún sensor,
actuador o proceso falla.
10
Ejemplo de aplicaciones de tiempo real: Sistemas multimedia (I).
Son aplicaciones orientadas al tratamiento de sonido y/o imagen en movimiento.
 Tratamientos de valores numéricos procedentes del muestreo de imágenes y/o sonidos.
 No todos los procesos multimedia son STR; sólo si existen restricciones temporales:
 Multimedia no STR: edición de sonidos almacenados en ficheros.
 Multimedia STR: reproducción/captura de un fichero de sonido.
Un ejemplo típico es la transmisión de imágenes de video:
Alg. de captura
y compresión
A/D
Canal
Transmisor
Alg. de
descompresión
D/A
Receptor
11
Sistemas multimedia (II). Características comunes.
 Manejan gran cantidad de datos.
 Siempre son intensivos en datos.
 A veces también son intensivos en computación.
 No se producen actuaciones sobre el medio físico. Una actuación incorrecta (lógica o
temporalmente) no suele ser peligrosa.
 En muchos casos si se pierde alguna imagen y se substituye por la anterior no ocurre nada (si
esto se hace una prporción pequeña de veces).
12
Computadores empotrados (I).
Una gran parte de sistemas de tiempo real incorporal computadores empotrados
(embedded):
 Están integrados en la estructura física de la maquinaria que controlan:
 Vehículos: Coches, autobuses, trenes, aviones, barcos, grúas, …
 Maquinaria industrial: Robots, células de fabricación,
maquinas/herramienta,…
 Sistemas de comunicación: Teléfonos móviles, repetidores, rotures, radio, …
 Electrodomésticos: Elec. línea blanca, televisores, videos, cámaras fotos,
alarmas, …
 Ocio: Consolas videojuego, juguetes, salas de cine, sistemas de sonido,
iluminación, …
 Armamento: Guía de misiles, balística, …
 Algunos sistemas programables (PDAs, smartphones, videoconsolas) están a
medio camino entre los sistemas empotrados y los de proposito general.
13
Computadores empotrados (II). Un ejemplo.
Unidad de control para un SCORBOT ER-VII:
Brazo robot (5 ejes)
Unidad de control
Entorno
Características Hardware (ER-IX B):
 CPU: 68020-68881.
 512 KB. ROM, 512 KB RAM
 E/S:
 Tarjetas de control de motores (6-12 ejes).
 2-10 RS232.
 16 entradas, 16 salidas digitales (12-24 voltios)
14
Computadores empotrados (IV). Características comunes.
 Recursos limitados: procesador, memoria, pantalla...
 Ejecuta un conjunto limitado de programas.
 Arquitectura orientada al sistema que controla. Sobre todo los sistemas de E/S.
 Poca o ninguna intervención de operadores humanos.
 Ciclo de vida y evolución tecnológica muy condicionados por el mecanismo que
controla.
15
Parámetros influyentes en un SSTR. Técnicas de especificación.
Caracterización temporal.
 Un STR debe responder ante ciertos eventos dentro de un plazo de tiempo determinado y
especificado.
 Hay que describir temporalmente la respuesta del sistema --> Tareas.
 Hay que especificar las restricciones temporales --> Plazos de ejecución de las tareas.
 Las restricciones temporales afectan fuertemente al diseño y análisis del sistema.
 Tarea: Actividades que se ejecutan en un computador en respuesta a un evento.
 Dos tipos de tareas:
 Periódicas o cíclicas. Responden a eventos que se producen periódicamente.
 Esporádicas. Responden a eventos que se producen irregularmente.
 Cada vez que se ejecuta una tarea, debe terminar antes de su plazo de ejecución (deadline)
asociado.
16
Caracterización temporal de tareas (I).
Características temporales de una tarea periódica:
Límite (D)
Activación
Siguiente activación
Plazo de ejecución
Arranque
Terminación
Ejecución de la tarea
Tiempo de respuesta
t
Periodo ( T )
 En las tareas esporádicas, el periodo se sustituye por la separación o tiempo mínimo entre
activaciones consecutivas.
17
Caracterización temporal de tareas (II).
Las características temporales dependen directamente de la arquitectura hard/soft:
 Arranque:
 Latencia de interrupciones --> sistema microprocesador <--> E/S y Sistema Operativo.
 Tiempo de ejecución:
 Tecnología arquitectura del procesador/sistema de memoria (ciclo de reloj, pipeline,
cache, paginación, …).
 Tiempo de respuesta (además del tiempo de ejecución):
 S.O. : Política de gestión de tareas (scheduling), memoria y entrada/salida.
 Cambios de contexto.
 Periodo y plazos de ejecución:
 Naturaleza del problema.
 Características del hardware y de los algoritmos que implementan la solución.
18
Corrección temporal (I).
 Un STR tendrá corrección temporal si todas sus tareas se ejecutan siempre antes de su plazo
de ejecución.
 Esto condiciona el diseño y el análisis del sistema:
 Diseño: La arquitectura del STR debe asegurar el determinismo de las actividades.
 Análisis: Se deben disponer de técnicas que permitan comprobar la corrección del
sistema en cualquier condición operativa.
 Las consecuencias de que una tarea no cumpla sus plazos dependen de la naturaleza de la
tarea/aplicación:
 Tareas esenciales o no esenciales: presentan o no restricciones temporales.
 Una tarea esencial puede ser:

Crítica: Debe completarse siempre dentro de su plazo.

Acrítica: puede completarse fuera de plazo sin producir efectos inadmisibles
en el sistema.
19
Corrección temporal (II).
 Sistemas de tiempo real duro: tienen al menos una tarea crítica.
 Sistemas de tiempo real blando: todas sus tareas son acríticas.
 Las dificultades para asegurar el determinismo aumentan conforme aumenta la complejidad de
la arquitectura.
 Esto es fácil de ver con un ejemplo sencillo: control de un motor en lazo cerrado:
Actuador
del motor
Unidad potencia
+ Motor
Control
velocidad
del motor
Velocidad
deseada
Operador
Sensor de
giro
Esquema general del algoritmo de control.
20
Algunos Parámetros influyentes en un SSTR. Fiabilidad y seguridad.
 La fiabilidad de un STR la probabilidad de proporcionar un servicio determinado. Los
parámetros más comunes son:
 Tasa de fallos l (averías/unidad de tiempo).
 Tiempo medio entre averías: MTTF= 1/ l.
 Sistemas ultrafiables: MTTF > 109 horas (106 años aprox.)
 La seguridad mide las consecuencias de una avería.
 Tipos de averías: malignas y benignas.

Averías malignas: su coste es muy superior a la utilidad del sistema.
 Sistemas críticos: son ultrafiables con respecto a averías malignas.
 Otras medidas de seguridad:
 Mantenibilidad: mide el tiempo necesario para reparar una avería benigna.
 Tiempo medio de reparación MTTR:
 Disponibilidad: mide el tiempo en el que el sistema está operativo.
21
Clasificación de los SSTR. Tipos de plazos de ejecución.
 Tipos de plazos de ejecución, en función de la gravedad de su incumplimiento:
 Duro o crítico (Hard Deadline). Resultados puede ser “catastrófico”.
 Firme (Firm Deadline). Resultados sin sentido o inútiles.
 Blando o no crítico (Soft Deadline). Deteriora la utilidad o el sentido de los resultados,
aunque no los invalida totalmente.
 El tipo de plazo de ejecución de una tarea depende de las características de la aplicación.
 Aunque a veces puede verse influenciado por el proceso de diseño.
 Los SSTR pueden clasificarse en:
 STR duro (o STR críticos): Hay al menos una tarea con plazo de ejecución duro.
 STR firme : No hay tareas con plazos duros, pero si al menos una con plazo firme.
 STR blando (o STR no críticos) --> Solo hay tareas con plazo de ejecución blando.
22
Clasificación de los SSTR. SSTR duros.
Las características de un STR duro tienden a hacerlo lo más resistente posible a fallos:
 En condiciones operativas normales:
 Plazos de respuesta críticos --> comportamiento predecible en sobrecargas.
 Deben ser ultrafiables respecto a averías malignas.
 Comportamiento temporal garantizado analíticamente (sistemas con respuesta
garantizada: guarantee response systems).
 Deben disponer de mecanismos que reduzcan el coste de una avería:
 Mecanismos de tolerancia a fallos --> sistema con degradación aceptable.
 Mecanismos de detección de fallos --> sistemas con parada segura.
23
Clasificación de los SSTR . SSTR firmes y SSTR blandos.
Las características de un STR blando:
 No existen plazos de respuesta críticos.
 El sistema hace lo que puede  comportamiento degradado en sobrecargas.
 No existen averías malignas.
 No se hace caracterización precisa de carga y fallos.
 No tienen comportamiento temporal garantizado analíticamente (sistemas que hacen lo
que pueden: best-effort systems).
 Los mecanismo de tolerancia a fallos pueden ser justificables económicamente.
 Si el coste de reparar la avería es mayor que el coste del mecanismo de tolerancia.
Características Tiempo real firme (sistemas periódicos):
 Hay que cumplir estrictamente los plazos en un alto % de las ocasiones.
 En los demás casos se usa como salida la correspondiente al periodo anterior.
 El ej. Tipico es el procesado de audio o vídeo.
24
Capas en el diseño de un STR: determinismo y arquitectura.
 El determinismo es fácil de asegurar si se usan arquitectura muy sencillas (pero de
prestaciones limitadas).
 Muchas de las mejoras en la arquitectura hard/soft suelen estar orientadas al aumento del
rendimiento medio basandose en mejorar los casos más comunes, por lo que afectan al
determinismo:
 Pipelines:
 Predicción de saltos, ejecución especulativa.
 Superescalares.
 Caches.
 Memoria virtual.
 Gestión de multitarea.
 Gestión de E/S.
 Sistemas de comunicación.
 Mejoras en la velocidad de ejecución no implican mejoras en el determinismo de la ejecución.
 Puede haber grandes diferencias entre distintas ejecuciones de una misma tarea.
25