Master - Temps Réel Systèmes Embarqués (CORO ERTS)

Ce parcours n'est plus proposé de puis l'année 2023/2023.

Acquérir les concepts théoriques et méthodologiques pour la modélisation et l’analyse de systèmes embarqués temps réel et pour la conception de solutions fiables.

Ce programme présente les techniques actuellement utilisées pour la conception et la vérification des systèmes embarqués, et plus particulièrement des systèmes embarqués temps réel. La formation s'appuie sur plusieurs cours couvrant différents sujets :
  • la conception de systèmes en temps réel et l'architecture d'un système d'exploitation temps réel (standard OSEK / VDX)
  • les politiques d'ordonnancement temps réel et la mise en œuvre associée
  • outils pour la modélisation et la vérification de systèmes en temps réel : réseau de Petri, automates d’état finis et temporisés
Le master Temps Réel – Systèmes Embarqués dure deux années académiques - M1 et M2 - et est enseigné en anglais.
Publié le 25 mars 2017 Mis à jour le 2 novembre 2023