Enseignant : Vincent David

Cours :

L’objectif de ce cours est de présenter les notions permettant aux étudiants d’aborder des recherches dans les domaines des systèmes temps-réel de contrôle-commande complexes et/ou critiques, des architectures matérielles et logicielles associées et des méthodes de conception et des techniques de validation. Il aborde à la fois les aspects asynchrones de la programmation multitâches (atomicité matérielle et logicielle, sémaphores, introduction à l’ordonnancement, etc.) et les aspects liés à la conception de systèmes temps-réel multitâches déterministes pour les applications les plus critiques en terme de sûreté de fonctionnement (nucléaire, aéronautique, etc.). L’accent est mis sur les aspects systèmes et les problèmes de conception et de mise en œuvre logicielle, en présentant différentes classes de problèmes et les solutions adaptées.
Travaux pratiques : la mise en pratique des aspects de synchronisation sur un exercice issu du cours puis sur un cas d’étude spécifique. Contenu détaillé : analyse des exigences d’un problème temps-réel, conception de la solution, démonstrations de la correction de la conception proposée, programmation de la solution, validation de la solution.

TD : 5 heures pour 16 heures de TD.

Prérequis :