S8 INF Systèmes temps réel

Dernière mise à jour le 22 mars 2023

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