S8 INF Systèmes temps réel
Présentation
Méthodes et technologies pour spécifier, concevoir, vérifier et réaliser des systèmes temps-réel critiques.
Pré-requis nécessaires
- Programmation concurrente, systèmes d’exploitation
- Réseaux
- Recherche opérationnelle, théorie des graphes
Objectifs
L’objectif de ce module est de présenter aux étudiants les méthodes et technologies qui peuvent être utilisées pour spécifier, concevoir et réaliser les systèmes temps-réel critiques. Après une introduction qui présente les objectifs et contraintes de ces systèmes, une ou plusieurs méthodes de spécification, de conception et de vérification adaptées aux systèmes temps réel sont exposées. Enfin, un exemple de technologie permettant d'implanter ces systèmes est abordé (ex : C et VxWorks, ou Esterel/SCADE, Ada, ...).
Compétences visées
- Comprendre les contraintes liées aux systèmes temps réel
- Savoir spécifier, concevoir et vérifier un système concurrent contraint par le temps
- Maîtriser au moins une technologie permettant d’implanter un système temps réel concurrent
Bibliographie
- Real time systems and programming language, A. BURNS, A. Welling. ADDISON, WESLEY, 2009
- Building Parallel, Embedded and Real-Time Applications with Ada. J.W. McCormick, F. Singhoff, J. Hugues. Cambridge University Press. 365 pages. Juillet 2010
Langue d'enseignement
Français