Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conocimientos Previos
Objetivos Globales
Entender los requerimientos de sistemas de tiempo real y cmo esos requerimientos han influenciado el diseo de lenguajes de programacin y sistemas operativos de tiempo real. Entender las tcnicas de implementacin y anlisis que permiten cumplir los requerimientos.
Qu es un Sistema de Tiempo-Real?
Cualquier sistema de procesado de informacin que tiene que responder a estimulos de entrada externos dentro de un periodo especificado finito:
La correccin depende no solo del resultado lgico sino tambin del tiempo de respuesta. El fallo en la respuesta es tan malo como la respuesta incorrecta.
El ordenador es un componente integrado en un sistema de ingeniera ms grande => EMBEDDED COMPUTER SYSTEM (sistema empotrado o embebido)
Terminologa
Hard real-time sistemas donde es imperativo que la respuesta ocurra dentro del plazo requerido. Ej. Sistema de Control de Vuelo. Soft real-time los plazos son importantes pero el sistema sigue funcionando si no se cumplen los plazos ocasionalmente. Ej. Sistema de Adquisicin de Datos. Real real-time sistemas hard real-time con respuesta muy corta. Ej. Sistema de Guiado de Misiles. Firm real-time sistemas soft real-time en los que no hay beneficio con la llegada fuera de plazo del servicio.
Un sistema tendr normalmente componentes de todos los tipos. En realidad muchos sistemas tendrn una funcin de coste asociada con cada plazo sobrepasado.
Medidor de Flujo
Procesado
Vlvula
depsito
Tanque de Combustible
Horno
grano Tubera
combustible
Estacin de Empaquetado
Conmutador Computadora
0 = stop 1 = run
Vlvula Materiales
Transductor de Temperatura
Agitador
Productos
PLANT
Productos Componentes
Herramientas
Manipuladores
Cadena de Montaje
Temperatura, Presin,
Terminales
Sensores/Actuadores
Interfaz
Sistema de Ingeniera
Data Logging
Consola de Operador
Interfaz de Operador
Caractersticas de un RTS
Grandes y Complejos desde unos centenares de lneas de ensamblador o C hasta 20 millones de lneas en Ada para una Estacin Espacial. Manipulacin de nmero reales teora de control digital. Control concurrente de componentes del sistema separados los componentes operan en paralelo en el mundo real; es mejor modelar este paralelismo con programas que soporten concurrencia. Facilidades para interactuar con hardware de propsito especial necesario para ser capaces de programar componentes de una forma fiable y abstracta.
Caractersticas de un RTS
Extremadamente fiables y seguros los sistemas empotrados tpicos controlan el entorno en el que operan; el fallo en el control puede suponer la prdida de vidas, dao al entorno o prdida econmica. Respuestas de tiempo garantizadas necesitamos ser capaces de predecir con seguridad la peor respuesta temporal del sistema; la eficiencia es importante pero la prediccin es esencial.
Lenguajes de Programacin
Lenguajes de Alto Nivel Concurrentes. Ej. Ada, Chill, Modula-2, Mesa, Java.
Hardware
Hardware
System
System Components
Configuracin tpica de SO
Resumen