Contenu
Caractéristiques des systèmes en temps réel. Contraintes temporelles : temps réel dur, souple, ferme. Gestion des événements. Interruptions. Schémas d'architecture et d'interface. Analyse de la performance temporelle. Fiabilité et tolérance aux fautes. Modélisation. Réseaux de Petri. Langages de spécifications temporelles. Modèles temporels. Systèmes d'exploitation temps réel. Exécution concurrente, synchronisation. Méthodes de conception. Conception à base de modèles. Applications de systèmes temps réel : systèmes de contrôle de procédé, pilotage embarqué (avions, satellites), systèmes bancaires, traitement et acheminement de l'information (vidéo, réalité virtuelle, etc.).