SISTEMAS DE TIEMPO REAL

SISTEMAS EMPOTRADOS
Muchos sistemas de uso comn en la industria, el transporte, las
comunicaciones y el hogar tienen computadores empotrados:
Aviones
Trenes
Coches
Telfonos mviles
Televisores
Los computadores empotrados realizan funciones de control de otros
sistemas
CARACTERISTICAS
Los recursos estn limitados
Procesador, memoria, pantalla, etc.
Los dispositivos de entrada y salida son especiales para cada sistema
No hay teclado ni pantalla normales
El computador debe reaccionar a tiempo ante los cambios en el sistema que
controla
Una accin retrasada puede ser intil o peligrosa
Ejemplo: imgenes de TV, sistema de frenado ABS
SISTEMAS DE TIEMPO REAL
Un sistema de tiempo real es un sistema informtico que
Interacciona repetidamente con su entorno fsico
Responde a los estmulos que recibe del mismo dentro de un plazo de
tiempo determinado
El tiempo en que se ejecutan las acciones del sistema es significativo
EJEMPLO SISTEMA DE VIGILANCIA

TAREAS DE TIEMPO REAL

Las actividades de un sistema de tiempo real se llaman tareas
Tienen varios tipos de propiedades
Funcionales: qu hacen
Temporales: cundo lo hacen
Fiabilidad, seguridad, etc.
El comportamiento temporal de las tareas se especifica mediante sus atributos
temporales
Cundo se ejecutan: esquema de activacin
Qu plazo tienen para ejecutar cada accin
EJECUCION DE UNA TAREA DE TIEMPO REAL

ATRIBUTOS TEMPORALES
Activacin
Peridica: a intervalos regulares, con perodo T
Aperidica: cada vez que ocurre un suceso determinado
Plazo de respuesta
Absoluto: tiempo lmite para terminar
Relativo: intervalo desde la activacin
TIPOS DE REQUISITOS TEMPORALES
Tiempo real estricto (hard real-time)
Todas las acciones deben terminar dentro del plazo especificado de
tiempo real flexible (soft real-time)
Se pueden perder plazos de vez en cuando
El valor de la respuesta decrece con el tiempo
Tiempo real firme (firm real-time)
Se pueden perder plazos ocasionalmente
Una respuesta tarda no tiene valor
CARACTERISTICAS DE LOS STR

Gran tamao y complejidad

Algunos STR tienen millones de lneas de cdigo
La variedad de funciones aumenta la complejidad incluso en sistemas
relativamente pequeos
Simultaneidad de acciones (concurrencia)
Los dispositivos fsicos controlados funcionan al mismo tiempo
Las tareas que los controlan actan concurrentemente
Dispositivos de entrada y salida especiales
Los manejadores de dispositivos forman parte del software de aplicacin
CARACTERISTICAS DE LOS STR
Seguridad y fiabilidad
Sistemas crticos: fallos con consecuencias graves
Determinismo temporal
Acciones en intervalos de tiempo determinados
Es fundamental que el comportamiento temporal de los STR sea
determinista o, al menos, previsible
FIABILIDAD Y SEGURIDAD
Fiabilidad
Probabilidad de proporcionar el servicio especificado
Medida: tiempo medio hasta avera (MTTF)
Seguridad
Averas malignas y benignas
Sistemas crticos
MANTENIBILIDAD Y DISPONIBILIDAD
Mantenibilidad
Tiempo medio de reparacin (MTTR)
Conflicto: los elementos fciles de mantener son menos fiables
Disponibilidad
Fraccin de tiempo durante el cual el sistema est disponible
DETERMINISMO TEMPORAL
Las tareas de tiempo real se ejecutan concurrentemente
Hebras (threads) o mecanismos similares
La planificacin del uso del procesador debe permitir acotar el tiempo de
respuesta
Prioridades y otros mtodos de planificacin
Es conveniente analizar el comportamiento temporal del sistema antes de
probarlo
Las pruebas (tests) no siempre permiten asegurar el comportamiento en
el peor caso
SISTEMAS DISTRIBUIDOS
Las tareas de tiempo real se ejecutan en varios computadores comunicados
mediante una red
Ms potencia de clculo
Mayor fiabilidad (redundancia)
En los sistemas crticos el tiempo de comunicacin debe estar acotado

 Redes y protocolos especficos

El anlisis temporal es ms complicado que en los sistemas monoprocesadores
MODOS DE FUNCIONAMIENTO
Muchos sistemas de tiempo real tienen varios modos de funcionamiento
Por ejemplo: arranque, funcionamiento normal, funcionamiento seguro
El conjunto de tareas que se ejecutan y sus atributos temporales pueden variar
de uno a otro modo
Los cambios de modo deben ejecutarse garantizando la integridad temporal del
sistema
CLASES DE SIISTEMAS DE TIEMPO REAL
Segn las propiedades del sistema controlado
Sistemas crticos y sistemas acrticos
Sistemas con parada segura y sistemas con degradacin aceptable
Segn las propiedades del sistema de tiempo real
Sistemas con tiempo de respuesta garantizado y sistemas que hacen lo
que pueden (best effort)
Sistemas con recursos adecuados y sistemas con recursos inadecuados
Sistemas dirigidos por tiempo y sistemas dirigidos por sucesos
SISTEMAS DE TIEMPO REAL CRITICOS Y ACRITICOS
Sistemas crticos (hard real-time
Sistemas acrticos (soft real-time
systems)
systems)
Plazo de respuesta estricto
Plazo de respuesta flexible
Comportamiento temporal
Comportamiento temporal
determinado por el entorno
determinado por el computador
Comportamiento en
Comportamiento en
sobrecargas predecible
sobrecargas degradado
Requisitos de seguridad
Requisitos de seguridad crticos
Redundancia activa
acrticos

Recuperacin de fallos
Volumen de datos reducido
Gran volumen de datos

SISTEMAS CON PARADA SEGURA Y SISTEMAS CON DEGRADACION

ACEPTABLE
Sistemas con parada segura (failSistemas con degradacin
safe)
aceptable (fail-soft)
Detencin en estado seguro
Funcionamiento con prdida
Probabilidad de deteccin de
parcial de funcionalidad o
fallos elevada
prestaciones
Tambin hay sistemas con
tolerancia de fallos completa
(fail operational)

SISTEMAS CON RESPUESTA GARANTIZADA Y SISTEMAS QUE HACEN LO

QUE PUEDEN
Sistemas con respuesta
Sistemas que hacen lo que
garantizada (guaranteed response
pueden (best-effort systems)
systems)
Comportamiento temporal de
Comportamiento temporal
tipo lo mejor que se pueda
garantizado analticamente
No se hace una caracterizacin
Hace falta caracterizar con
precisa de carga y fallos
precisin la carga mxima y los
Slo sirve para sistemas
posibles fallos
acrticos

SISTEMAS CON RECURSOS ADECUADOS E INADECUADOS

Sistemas con recursos adecuados Sistemas con recursos
(resource-adequate systems)
Inadecuados (resource-inadequate
Diseo con suficientes recursos systems)
para garantizar el
Diseo con recursos
comportamiento temporal con
razonables desde un punto
mxima carga y en caso de
de vista econmico
fallos
Slo sirve para sistemas
acrticos

SISTEMAS DIRIGIDOS POR TIEMPO Y POR SUCESOS

Sistemas dirigidos por sucesos
Sistemas dirigidos por tiempo
(event-triggered systems)
(time-triggered systems)
Arranque cuando se produce un
Arranque en instantes de
suceso de cambio de estado
tiempo predeterminados
Mecanismo bsico:
Mecanismo bsico: reloj
interrupciones

RESUMEN
Los sistemas de tiempo real interaccionan con su entorno y ejecutan sus
acciones dentro de intervalos de tiempo determinados
Tienen requisitos muy exigentes
Tamao y complejidad
Concurrencia
Interfaces de hardware especficas
Fiabilidad y seguridad
Determinismo temporal
Hay varias clases de sistemas de tiempo real, con distintos requisitos
temporales y de seguridad