Académique Documents
Professionnel Documents
Culture Documents
Informtica III
El tiempo es un tirano...
Objetivos
Introducir conceptos bsicos relativos a los sistemas de tiempo real (STR) Examinar sus caractersticas Analizar tcnicas y herramientas para el diseo de los STR
Informtica III
Pg. 2
Referencias
Alan Burns, Andy J. Wellings "Sistemas de Tiempo Real y Lenguajes de Programacin", Addison-Wesley (3 edicin) cap. 1 y 2 Transparencias de Juan Antonio de la Puente http://polaris.dit.upm.es/~jpuente/ y
Informtica III Ing. Nora Blet Pg. 3
Informtica III
Pg. 4
e1 e2 e3
Sistema de
Tiempo Real
r1 r2 r3
e1 e2
r1 e3 r2 e1 r3 r1 t
en
rn
Informtica III
Pg. 6
El STR debe ser suficientemente rpido para cumplir los requerimientos pero, que un sistema sea rpido no implica que sea un STR La rapidez del STR la fijan la naturaleza de los estmulos del entorno, con los cuales tiene que tratar (propio de cada sistema) La clave es la previsibilidad!
Ing. Nora Blet Pg. 7
Informtica III
Informtica III
Pg. 8
Informtica III
Pg. 9
Evolucin de la informtica
Informtica III
Pg. 10
Sistemas embebidos
Informtica III
Pg. 11
Sistemas embebidos
Informtica III
Pg. 12
Sistemas embebidos
Muchos STR forman parte de un sistema de ingeniera ms amplio, tal como es el caso de muchos sistemas de uso comn en la industria, transporte, comunicaciones, medicina, el hogar, etc.:
Informtica III
Sistemas embebidos
Realizan funciones de control de otros sistemas
Caractersticas
Los recursos estn limitados
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
Informtica III
Pg. 16
Informtica III
Pg. 17
Cundo se ejecutan?: Esquema de activacin Qu plazo tienen para ejecutar cada accin?
Ing. Nora Blet Pg. 18
Informtica III
Informtica III
Pg. 19
Informtica III
Pg. 20
Atributos temporales
Plazo de respuesta
Se trata de garantizar que la ejecucin de cada tarea termine dentro del plazo
Informtica III
Pg. 21
Atributos temporales
Informtica III
Pg. 22
Atributos temporales
Activacin
Peridica: a intervalos regulares, con perodo T Aperidica: cada vez que ocurre un suceso determinado
Espordica: separacin mnima entre
Informtica III
Pg. 23
Todas las acciones deben terminar dentro del plazo especificado. Ejemplo: control de frenado Se pueden perder plazos de vez en cuando El valor de la respuesta decrece con el tiempo
Ejemplo: adquisicin de datos
Informtica III
Informtica III
Pg. 25
Informtica III
Pg. 26
Informtica III
Pg. 27
Informtica III
Pg. 28
Registro de datos
Base de datos
Visualizacin de datos
Dispositivos de presentacin
Consola de operador
Interfaz de operador
Informtica III
Real-Time Computer
Pg. 29
La variedad de funciones aumenta la complejidad incluso en sistemas relativamente pequeos La adaptacin a entornos cambianteslas aplicaciones deben evolucionar continuamentelos STR deben ser extensibles
Ing. Nora Blet Pg. 30
Informtica III
Ejemplo: Se debe tener un modelo matemtico que relacione el calor aplicado y el incremento de temperatura del termonmeros en punto flotante
Informtica III
Pg. 31
Muchos ejemplos dramticos ilustran que el hardware y el software de los computadores debe ser fiable y seguro El tamao y complejidad de los STR exacerban el problema de la fiabilidad Mecanismos para recuperar fallos (esperados y no esperados)
Ing. Nora Blet Pg. 32
Informtica III
Los dispositivos fsicos controlados funcionan al mismo tiempo Las tareas que los controlan actan concurrentemente
Informtica III
Pg. 33
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
Informtica III
Pg. 34
Los manejadores de dispositivos forman parte del software de aplicacin Puesto que los STR son crticos respecto al tiempo, este requisito es ms importante que en otro tipo de sistemas
Implementacin eficiente
Informtica III
Pg. 35
Informtica III
Pg. 36
No son lo suficientemente fiables Slo contemplan tiempos de respuesta medio, no el peor No garantizan los requisitos temporales
Es difcil hacer pruebas en la plataforma de ejecucin Es difcil medir los tiempos con precisin
Informtica III
Pg. 37
Desarrollo cruzado
Informtica III
Pg. 38
Aspectos de un sistema
Funcionalidad
Relacin entre entradas y salidas No se considera concurrencia, sincronizacin, tiempo real, fiabilidad, seguridad, etc. Componentes definidos por sus interfaces Hebras, sincronizacin Planificacin y anlisis temporal Cdigo de aplicacin Plataforma: RTOS, middleware
Ing. Nora Blet Pg. 39
Arquitectura
Implementacin
Informtica III
Informtica III
Pg. 40
Informtica III
Pg. 41
Informtica III
Pg. 42
Informtica III
Pg. 43
Informtica III
Pg. 45
Informtica III
Pg. 46
Informtica III
Pg. 47
Informtica III
Pg. 48
Lenguajes de programacin
Hay varias clases de lenguajes de inters para los STR:
Assembler
Flexibles y eficientes pero costosos y poco
fiables
Informtica III
Pg. 49
Lenguajes de programacin
Lenguajes secuenciales (Fortran, C, C++,etc.)
Informtica III
Pg. 50
Lenguajes de programacin
Lenguajes concurrentes (Ada, Java,)
Informtica III
Pg. 51
Informtica III
Pg. 52