Architecture d'un système temps réel. Modélisation d'un système temps réel. Spécification temporelle. Langages de spécification et de programmation pour le temps réel. Analyse et prédiction de performance. Files d'attente. Ordonnancement des tâches. Outils d'analyse et de conception pour systèmes temps réel. Fiabilité et tolérance aux pannes. Communication en temps réel. Implémentation. Systèmes d'exploitation temps réel. Tests et vérification. Cas types industriels.
- Responsable du site: Gabriela Nicolescu
- Enseignant (éditeur): Jean-Baptiste Lefoul