Sistemas en tiempo real

INDICE

Capítulo 1
Introducción

1.1 Definición de un sistema de tiempo real
1.2 Características de los sistemas de tiempo real
1.2.1 Grandes y complejos
1.2.2 Manipulación de números reales
1.2.3 Fiabilidad y seguridad
1.2.4 Interacción con el hardware
1.2.5 Determinismo temporal
1.3 Tiempo compartido y tiempo real
1.3.1 Tareas periódicas
1.3.2 Tareas aperiódicas
1.4 Planificación1.4.1 El ejecutivo cíclico
1.4.2 Tareas concurrentes
1.5 Sistemas críticos y acríticos

Capítulo 2
Programación de sistemas grandes

2.1 Tipos abstractos de datos
2.1.1 Paquetes
2.1.2 Tipos privados
2.2 La biblioteca Ada
2.2.1 Unidades de biblioteca
2.2.2 Dependencia
2.2.3 Unidades hijas
2.2.4 Subunidades
2.3 Declaración
2.4 Visibilidad
2.5 Elaboración
2.5.1 Expresiones ysentencias
2.5.2 Dependencias de elaboración
2.5.3 Pragmas de control de elaboración
2.6 Reusabilidad

Capítulo 3
Tolerancia a fallos

3.1 Necesidad de la tolerancia a fallos
3.2 Definiciones
3.3 Prevención y tolerancia de fallos
3.3.1 Prevención de fallos
3.3.2 Tolerancia de fallos
3.3.3 Redundancia
3.4 Redundancia dinámica del software
3.4.1 Detección de errores
3.4.2 Evaluación yconfinamiento de daños
3.4.3 Recuperación de errores
3.4.4 Reparación de fallos
3.5 Bloques de recuperación
3.6 Componentes tolerantes a fallos

Capítulo 4
Excepciones

4.1 Requisitos de un manejador de excepción
4.2 Excepciones en lenguajes tradicionales
4.2.1 Valor de retorno inusual
4.2.2 Rama forzada
4.2.3 Goto no local
4.2.4 Variable de procedimiento
4.3 Manejo de excepcionesmoderno
4.3.1 Tipos de excepciones
4.3.2 El dominio de un manejador de excepción
4.3.3 Propagación de excepciones
4.3.4 Reanudación y terminación
4.4 Manejo de excepciones en Ada
4.4.1 Declaración y elevación de excepciones
4.4.2 Reelevación de excepciones
4.4.3 Ocurrencia de una excepción
4.4.4 Identificador de excepción
4.4.5 Ámbito de una excepción
4.4.6 Crítica al modelo de excepcionesde Ada

Capítulo 6
Tiempo real

6.1 Acceso a un reloj
6.1.1 El paquete Calendar
6.1.2 El paquete Real_Time
6.2 Retardando un proceso
6.2.1 Retardos relativos
6.2.2 Retardos absolutos
6.3 Programación de plazos
6.3.1 Plazos y comunicación basada en memoria compartida
6.3.2 Plazos y comunicación basada en paso de mensajes
6.3.2.1 Recepción con plazo
6.3.2.2 Envío con plazo
6.3.3Plazos y acciones
6.4 Marcos temporales y ADA
6.4.1 Concepto de marco temporal
6.4.2 Tareas periódicas
6.4.3 Tareas aperiódicas

Capítulo 7
Planificación

7.1 Planificación con ejecutivos cíclicos
7.2 Planificación con prioridades
7.2.1 Tareas periódicas independientes
7.2.1.1 El modelo de tareas básico
7.2.1.2 Prioridades monótonas en frecuencia
7.2.1.3 Test de planificabilidadbasado en la utilización
7.2.1.4 Test de planificabilidad basado en el tiempo de respuesta
7.2.1.5 Cálculo del tiempo de ejecución más desfavorable
7.2.2 Tareas esporádicas
7.2.2.1 Extensión del modelo de tareas básico
7.2.2.2 Prioridades monótonas en plazo
7.2.2.3 Demostraciones formales
7.2.3 Interacción entre tareas y bloqueos
7.2.3.1 Protocolos de herencia de prioridad
7.2.3.2 Protocolosde techo de prioridad
7.2.3.2.1 El protocolo original de techo de prioridades
7.2.3.2.2 El protocolo inmediato de techo de prioridades
7.2.3.2.3 Propiedades de los protocolos
7.3 Programación de sistemas basados en prioridades
7.3.1 Prioridades de tareas y objetos
7.3.2 El protocolo inmediato de techo de prioridad

Capítulo 9
La metodología
HRT-HOOD

9.1 Especificación de requisitos 1469.1.1 Requisitos funcionales 147
9.1.2 Requisitos no funcionales 148
9.2 Tipos de objetos 150
9.3 El diseño de la arquitectura lógica 151
9.3.1 Descomposición de primer nivel 151
9.3.2 El control de bombeo 154
9.3.3 El monitor de entorno 155
9.3.4 El registro de datos y el operador de consola 156
9.4 El diseño de la arquitectura física 156
9.4.1 Análisis de planificación 156
9.5...