2.17.11 SPD/Tiempo Real, Memoria y Verificación

Cubre los sistemas de tiempo real duro y suave, la gestión de recursos y memoria en tiempo real, las consideraciones de seguridad (safety), el análisis y verificación, y el diseño de aplicaciones embebidas.
Temas:
Core

• Sistemas de tiempo real duro (hard) vs sistemas de tiempo real suave (soft) Sistemas Operativos (OS) -Realtime
  1. Oportunidad (timeliness)
  2. Sincronización/planificación del tiempo
  3. Priorización
  4. Latencia
  5. Jitter de cómputo (compute jitter)
• Gestión de recursos en tiempo real
• Gestión de memoria
  1. Mapeo de construcciones de programación (variable) a una ubicación de memoria Arquitectura y Organización (AR) -MemoryHierarchy
  2. Memoria compartida Sistemas Operativos (OS) -Memory
  3. Gestión manual de memoria.
  4. Recolección de basura (garbage collection) Fundamentos de los Lenguajes de Programación (FPL) -LanguageTranslationExecution
• Consideraciones de seguridad (safety) y análisis de seguridad Sociedad, ética y la Profesión (SEP) -Context,SEP-ProfessionalEthics
• Análisis y verificación
• Diseño de aplicación

Aprendizaje esperado (Learning Outcomes):
Core:

1. Diseñar e implementar un pequeño sistema embebido para una plataforma dada (por ejemplo, un despertador inteligente o un dron) [Diseñar]
2. Diseñar métodos para sistemas de tiempo real [Diseñar]
3. Evaluar la planificación en tiempo real y el análisis de planificabilidad (schedulability) [Evaluar]
4. Evaluar la especificación y verificación formal de restricciones y propiedades de tiempo [Evaluar]