Sistemas de tiempo real Msc. Rina Arauz. Sistemas de tiempo real 2 Definición (Donald Gillies) n Un sistema de tiempo real (STR) es aquel en el cual los.

Presentación del tema: "Sistemas de tiempo real Msc. Rina Arauz. Sistemas de tiempo real 2 Definición (Donald Gillies) n Un sistema de tiempo real (STR) es aquel en el cual los."— Transcripción de la presentación:

1 Sistemas de tiempo real Msc. Rina Arauz

2 Sistemas de tiempo real 2 Definición (Donald Gillies) n Un sistema de tiempo real (STR) es aquel en el cual los resultados son correctos, no sólo si la computación es correcta, sino también el tiempo en el cual se producen los resultados n Si no se verifican las restricciones de tiempo, se dice que se ha producido un fallo en el sistema n Otros han añadido: l Así pues, es fundamental garantizar las restricciones de tiempo, lo cual implica que el sistema sea predecible. Además, sería deseable que el grado de utilización del sistema sea alto a la vez que se mantienen estas restricciones

3 Sistemas de tiempo real 3 Ejemplo n Ejemplo: robot que debe coger un objeto que viaja por una cinta transportadora n Sistema de tiempo real no es sinónimo de sistema rápido ni de sistema interactivo (i.e. radiotelescopio) n Aunque las velocidades de proceso aumenten los STR seguirán existiendo

4 Sistemas de tiempo real 4 Dónde se utilizan los STR n Sistemas de mando y control n Sistemas de control de procesos n Sistemas de control de vuelo n Sistemas de control de automóviles n Sistemas de defensa n Sistemas de vigilancia intensiva n Sistemas multimedia n Electrónica de consumo n Sistemas de telecomunicación, etc.

5 Sistemas de tiempo real 5 Clasificación de los STR n Críticos (hard real time systems): los plazos de respuesta deben respetarse en todas las circunstancias, una sola respuesta tardía a un suceso puede tener consecuencias fatales (sistemas de control de centrales nucleares o de aviones) n Acríticos (soft real time systems): se puede tolerar retrasos ocasionales en la respuesta a un suceso (el sistema de control de una lavadora)

6 Sistemas de tiempo real 6 Otra clasificación n Sistemas activados por eventos l Las interrupciones determinan la evolución del sistema l Pueden fallar si la carga es alta n Sistemas activados por tiempo l Sólo interrumpe el reloj de tiempo real l Operan mejor con cargas altas (“pueden pensarse las cosas”) n También hay sistemas mixtos

7 Sistemas de tiempo real 7 Estructura de un STR Sistema de control Sistema de control Sistema controlado Sistema controlado Indicadores Salidas externas MedidasAcciones Entradas externas Consignas

8 Sistemas de tiempo real 8 Estructura de un STR n El sistema de control (STR) actúa sobre el sistema controlado para conseguir un comportamiento definido n Es muy común emplear un esquema realimentado l En función de las medidas opera un algoritmo de control l Ese algoritmo de control determina las acciones impuestas al sistema controlado n Un aspecto de suma importancia son los tiempos en los que se lleva a cabo cada acción

9 Sistemas de tiempo real 9 Sistemas empotrados n Muchos STR son partes de otros sistemas en los que realizan operaciones de control n En estos casos hablamos de sistemas empotrados o “embedded systems” n Este tipo de sistemas suelen estar limitados en cuanto a recursos y no son visibles n Ejemplos: l Teléfonos móviles, radios, televisores, etc. l Sistemas de control en automóviles l Electrodomésticos

10 Sistemas de tiempo real 10 Características de los STR n Tamaño y complejidad n Fiabilidad y seguridad n Cálculos con números reales n Interacción con dispositivos físicos n Eficiencia n Dependencia del tiempo n Concurrencia n Tolerancia ante fallos

11 Sistemas de tiempo real 11 Tamaño y complejidad n Son dos aspectos ligados al software n Un factor muy importante es la necesidad de realizar cambios n Solución: descomponer el sistema en subsistemas pequeños

12 Sistemas de tiempo real 12 Fiabilidad y seguridad n Fiabilidad l Es la probabilidad de proporcionar el servicio especificado l Para una tasa de fallos de averías/hora la media de tiempo entre averías MTTF=1/ l Si MTTF > 10 9 hablamos de sistemas ultrafiables n Seguridad l Los sistemas críticos deben ser ultrafiables l Para ciertos proyectos es necesaria una certificación oficial

13 Sistemas de tiempo real 13 Fiabilidad y seguridad n Los requisitos de fiabilidad y seguridad en los STR son mayores que en el resto n Ejemplo: entre el 80y el 90% de los sistemas de defensa, su control se realiza mediante SW n Según Hecht y Hecht (1986), los sistemas software complejos, por cada millón de líneas de código contienen una media de 20.000 errores n El 90% de esos errores pueden ser detectados con sistemas de comprobación n 200 errores de los restantes se detectan durante el primer año. Los 1800 restantes permanecen sin detectar

14 Sistemas de tiempo real 14 ¿De dónde provienen los errores? 1Una especificación inadecuada 2Errores de diseño de los componentes SW 3Averías en los componentes de hardware 4Interferencias transitorias o permanentes en los sistemas de comunicación n Los errores 3 y 4 tienen un comportamiento previsible con métodos estadísticos n El lenguaje de programación debe facilitar el desarrollo de sistemas seguros n Se hace necesario el empleo de técnicas de prevención y tolerancia ante fallos

15 Sistemas de tiempo real 15 Cálculos con números reales n Números asociados a magnitudes físicas asociadas al sistema controlado n Los datos crudos son filtrados y convertidos a datos de ingeniería n Se representan de forma aproximada en un ordenador n Tipos de representaciones: coma fija y coma flotante n Cuando algún dato toma valores incorrectos, se generan alarmas

16 Sistemas de tiempo real 16 Dependencia del tiempo n Tiempos en los cuales se deben llevar a cabo determinadas acciones n Tiempos de terminación de cada acción n Responder a situaciones transitorias en las que no se pueden garantizar todos los plazos n Realizar cambios dinámicos en el comportamiento temporal del sistema n El comportamiento del sistema debe ser DETERMINISTA

17 Sistemas de tiempo real 17 Aspectos temporales Instante de activación Límite (Deadline) Inicio Fin Tiempo de respuesta Plazo máximo de respuesta El tiempo de respuesta puede variar (jitter)

18 Sistemas de tiempo real 18 Concurrencia n Se deben atender diversos tipos de eventos en paralelo n Puede ser suficiente con un sólo procesador n En ocasiones es necesario recurrir a sistemas multiprocesador n ¿Cómo expresar la concurrencia desde el programa? l Con ejecutivos cíclicos l Con tareas independientes

19 Sistemas de tiempo real 19 Concurrencia n Los ejecutivos cíclicos son sencillos, pero: l Complican la labor del programador l Los programas resultantes son oscuros y poco elegantes l Programas difíciles de corregir l Es más difícil la descomposición l Es difícil llevar el programa a un sistema multiprocesador l Colocar el código de manejo de fallos es problemático

20 Sistemas de tiempo real 20 Concurrencia n Con tareas independientes, las cuales pueden ser soportadas por: l El lenguaje: caso de Ada o Modula l El sistema operativo n Un SOTR debe proporcionar soporte básico para tareas de tiempo real, tolerancia a fallos, determinismo, etc. n Aspectos cruciales que deben considerarse: l El factor tiempo l Los protocolos de comunicación l La asignación de recursos

21 Sistemas de tiempo real 21 Características de los SOTR n Poseen un cambio de contexto rápido n Poseen un tamaño pequeño n Responden a las interrupciones externas de una forma rápida n Minimizan los tiempos con interrupciones deshabilitadas n Proporcionan esquemas de gestión de memoria que no afecten a la predictibilidad n y proporcionan archivos de acceso rápido

22 Sistemas de tiempo real 22 Elementos proporcionados n Con objeto de mantener las especificaciones de tiempo los SOTR: l Poseen un reloj de tiempo real l Proporcionan planificación basada en prioridades l Proporcionan alarmas y timeouts, y l Las tareas pueden activarse en intervalos de tiempo definidos

23 Sistemas de tiempo real 23 Lenguajes de programación n Básicamente cabe considerar tres alternativas: n Lenguajes ensambladores l Proporcionan la máxima flexibilidad pero los desarrollos son costosos y poco fiables n Lenguajes secuenciales (C, Pascal, FORTRAN, etc.) l Deben tener un SOTR por debajo n Lenguajes concurrentes (Ada, Modula, concurrent C, etc.) l El lenguaje proporciona la concurrencia y el tiempo real