Introducción a los sistemas de tiempo real Informática III El tiempo es un tirano...

Introducción a los sistemas de tiempo real

Informática III

El tiempo es un tirano...

Informática III Ing. Nora Blet Pág. 2

Objetivos

Introducir conceptos básicos relativos a los sistemas de tiempo real (STR) Examinar sus características Analizar técnicas y herramientas para el diseño de los STR


Referencias

Alan Burns, Andy J. Wellings "Sistemas de Tiempo Real y Lenguajes de Programación", Addison-Wesley (3º edición) cap. 1 y 2Transparencias de Juan Antonio de la Puente http://polaris.dit.upm.es/~jpuente/ y …


Definición de Sistema de tiempo real

Sistema informático que debe responder a estímulos generados por su entorno físico (incluido el paso del tiempo físico) en un plazo de tiempo finito y especificado


Definición de Sistema de tiempo real

Interacciona repetidamente con su entorno físico: Realizando acciones de control sobre él Reaccionando a sus cambios

La corrección de los mismos depende no sólo del resultado lógico de la computación (corrección lógica), sino también del tiempo en el que se producen los resultados (corrección temporal). (Stankovic, 1988)


Definición de Sistemas de tiempo real

El tiempo en el que se ejecutan las acciones es significativo

Sistema de

Tiempo Real

e1 r1e2e3

en

r2r3

rn

t

e1 r1e2 e3 r2 r3e1 r1eventos respuestas


Tiempo real vs. rapidez

En un análisis, que permanece válido aún hoy día, a 22 años, Stankovic lamenta el error de confundir tiempo real con rapidez El STR debe ser suficientemente rápido para

cumplir los requerimientos pero, que un sistema sea rápido no implica que sea un STR

La rapidez del STR la fijan la naturaleza de los estímulos del entorno, con los cuales tiene que tratar (propio de cada sistema)

La clave es la previsibilidad!


Tiempo real vs. rapidez


Evolución de la informática


Sistemas embebidos


Sistemas embebidos Muchos STR forman parte de un sistema de ingeniería más amplio, tal como es el caso de muchos sistemas de uso común en la industria, transporte, comunicaciones, medicina, el hogar, etc.: Aviones Trenes Autos Teléfonos móviles Televisores, etc.


Sistemas embebidos

Realizan funciones de control de otros sistemas

Adaptado de Kopetz (1997)


Características Los recursos están 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 acción retrasada puede ser inútil o peligrosa Ejemplo: imágenes de TV, sistema de frenado

ABS

El desarrollo de software para sistemas embebidos tiene requisitos especiales


Tareas de tiempo real



Las actividades de un STR se llaman tareas

Son activadas por estímulos del entorno (incluido el paso del tiempo). Una tarea es una secuencia de instrucciones que se ejecuta en forma concurrente y compartiendo recursos con otras tareas

Se las implementa mediante threads, procesos, etc.



Tienen distintos tipos de propiedades Funcionales: ¿Qué hacen? Temporales: ¿Cuándo lo hacen? Fiabilidad, seguridad, etc.

El comportamiento temporal de las tareas se especifica mediante sus atributos temporales ¿Cuándo se ejecutan?: Esquema de

activación ¿Qué plazo tienen para ejecutar cada acción?


Ejecución de una tarea de tiempo real


Atributos temporales

Plazo de respuesta Absoluto: tiempo límite para

terminar Relativo: intervalo desde la

activación

Se trata de garantizar que la ejecución de cada tarea termine dentro del plazo



Activación Periódica: a intervalos regulares, con

período T Aperiódica: cada vez que ocurre un

suceso determinadoEsporádica: separación mínima entre

activaciones TEstocástica, irregular o a rachas


Tipos de requisitos temporales

¿Qué pasa sino se cumplen? Tiempo real estricto (hard real-time) Todas las acciones deben terminar dentro del

plazo especificado. Ejemplo: control de frenado

Tiempo real flexible (soft real-time) Se pueden perder plazos de vez en cuando El valor de la respuesta decrece con el tiempo

Ejemplo: adquisición de datos

Tiempo real firme (firm real-time) Se pueden perder plazos ocasionalmente Una respuesta tardía no tiene valor

Ejemplo: Sistema multimedia


Tipos de requisitos temporales


Ejemplos de Sistemas en tiempo real


Sistema de computador embebido generalizado

Control digital

Registro de datos

Visualización dedatos

Interfaz de operador

InterfazSistema controlado

Sistema de monitoreo remoto

Reloj de tiempo real

Base de datos

Consola de operador

Dispositivos de

presentación

Real-Time Computer


Características de los Sistemas en tiempo real

Grandes y complejos La variedad de funciones aumenta la

complejidad incluso en sistemas relativamente pequeños

La adaptación a entornos cambianteslas aplicaciones deben evolucionar continuamentelos STR deben ser extensibles



Manipulación de números reales Ejemplo: Se debe tener un modelo

matemático que relacione el calor aplicado y el incremento de temperatura del termonúmeros en punto flotante



Extremadamente fiables y seguros (dependability) Muchos ejemplos dramáticos ilustran

que el hardware y el software de los computadores debe ser fiable y seguro

El tamaño y complejidad de los STR exacerban el problema de la fiabilidad

Mecanismos para recuperar fallos (esperados y no esperados)



Simultaneidad de acciones (concurrencia) Los dispositivos físicos controlados

funcionan al mismo tiempo Las tareas que los controlan actúan

concurrentemente



Determinismo temporal Acciones en intervalos de tiempo

determinados Es fundamental que el comportamiento

temporal de los STR sea determinista o, al menos, previsible No confundir con eficiencia El STR debe responder correctamente en todas

las situaciones En los STR estrictos hay que prever el

comportamiento en el peor caso posible



Interacción con el hardware Los manejadores de dispositivos

forman parte del software de aplicación

Implementación eficiente Puesto que los STR son críticos

respecto al tiempo, este requisito es más importante que en otro tipo de sistemas


Desarrollo de Sistemas en tiempo real


Desarrollo de Sistemas en tiempo real

Los métodos, herramientas y tecnologías que se usan para construir otros tipos de sistemas no sirven para los STR

No son lo suficientemente fiables Sólo contemplan tiempos de respuesta medio, no el

peor No garantizan los requisitos temporales

Las plataformas de desarrollo y ejecución suelen ser diferentes

Es difícil hacer pruebas en la plataforma de ejecución Es difícil medir los tiempos con precisión


Desarrollo cruzado


Aspectos de un sistema

Funcionalidad Relación entre entradas y salidas No se considera concurrencia, sincronización, tiempo

real, fiabilidad, seguridad, etc.

Arquitectura Componentes definidos por sus interfaces

Concurrencia y tiempo real Hebras, sincronización Planificación y análisis temporal

Implementación Código de aplicación Plataforma: RTOS, middleware


Diseño de Sistemas de tiempo real


Diseño de Sistemas en tiempo real



Las actividades de desarrollo de los STR incluyen las tradicionales de otros sistemas, aunque tienen requerimientos adicionales


Integración de métodos y herramientas


Lenguajes de programación

Hay varias clases de lenguajes de interés para los STR: Assembler

Flexibles y eficientes pero costosos y poco fiables



Lenguajes secuenciales (Fortran, C, C++,etc.) Necesitan soporte del SO para concurrencia

y tiempo real



Lenguajes concurrentes (Ada, Java,…) Concurrencia y tiempo real incluidos en el

lenguaje


Lenguajes de tiempo real



Requerimientos Robustez (Seguridad) Legibilidad Flexibilidad Simplicidad Portabilidad Eficiencia


Lenguajes de tiempo real Robustez

Medida del grado en el que el compiladorpuede detectar automáticamente los errores de programación

Requiere Que el lenguaje esté bien estructurado y sea legible, de modo

que tales errores puedan ser localizados fácilmente Beneficios:

La detección temprana de errores en el desarrollo del programa reducción general del coste

Las comprobaciones de tiempo de compilación no sobrecargan la ejecución del proceso, y un programa se ejecuta más veces de las que se compila

Inconveniente Puede llegar a complicar el lenguaje e incrementar tanto el

tiempo de compilación como la complejidad del compilador


Lenguajes de tiempo real Legibilidad (Medida de la claridad de un programa)

Minimiza la necesidad de comentarios y descripciones adicionales

Requiere Palabras claves, nombres de tipos, nombres de

variables y la capacidad del lenguaje para permitir la modularización del código

Beneficios Menores costes de documentación Mayor robustez Mayor facilidad de mantenimiento

Inconveniente Mayor longitud de los programas



Flexibilidad Permite al programador expresar

todas las operaciones oportunas de una forma directa y coherente

Menor necesidad de recurrir a funciones del sistema operativo o a fragmentos en código máquina para obtener el resultado deseado



Simplicidad – (Poder usarlo fácilmente) Minimiza el esfuerzo de producción de

compiladores Reduce el costo asociado a la

formación de programadores Disminuye los errores de

programación como consecuencia de una mala interpretación de las características del lenguaje



Portabilidad Un programa deberá ser independiente, en

la medida de lo posible, del hardware sobre el que se ejecuta En los STR una parte importante de cualquier

programa estará involucrada en la manipulación de recursos hardware

El lenguaje debe ser capaz de aislar la parte del programa que depende de la máquina de la parte independiente de la máquina



Eficiencia Deben producir sistemas con tiempos

de ejecución predeciblesevitar aquellos mecanismos que conduzcan a sobrecargas impredecibles del tiempo de ejecución



Por lo menos hasta ahora no existe ningún lenguaje que sobresalga en todos estos ítems En el diseño de cualquier lenguaje, general o de tiempo real, se deben analizar y sopesar ventajas y desventajas de cada decisión

Introducción a los sistemas de tiempo real Informática III El tiempo es un tirano...

Documents

Transcript of Introducción a los sistemas de tiempo real Informática III El tiempo es un tirano...