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



Responsables: Guy Lebret (M1), Didier Lime (M2) et Olivier-Henri Roux

Présentation et objectifs

Acquérir les concepts théoriques et méthodologiques pour la modélisation et l’analyse de systèmes embarqués temps reel 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

Compétences développées

  • Modéliser et paramétrer le fonctionnement des systèmes de contrôle et pilotage embarqués implantés sous forme numérique, et qui sont soumis à des contraintes critiques, à la fois d’énergie et de temps
  • Maîtriser l’ensemble des étapes du cycle de conception et développement de ces systèmes (de leur spécification à leur implémentation et leur certification)
  • Connaître et savoir exploiter les caractéristiques spécifiques des nouvelles générations de systèmes embarqués (OS Autosar, cibles multicoeurs, etc.)

Contenus des cours - M1

 

30 crédits ECTS par semestre.

Autumn Semester Courses ECTS Spring Semester Courses ECTS
Signal Processing  5 Group Project 6
Classical Linear Control 5 Optimization Techniques  4
Artificial Intelligence 4 Mobile Robots 4
Embedded Electronics 4 Programming Real Time Systems 4
Advanced and Robot Programming 4 Software Architecture for Robotics 4
Embedded Computing 4 Computer Vision 4
Modern Languages * 4 Modern Languages * 4

* 'Français langue étrangère' à l'exception des francophones qui suivent le cours 'Cultural and Communicational English'

NB : Le contenu peut être sujet à des changements mineurs

Contenus des cours - M2

 
30 crédits ECTS par semestre.


Autumn Semester Courses ECTS
Embedded Software Systems  4
Embedded Systems Design  4
Automated Planning  4
Real Time Scheduling  4
Formal Modelling and Verification  4
Petri Nets  4
Modern Languages *  4
Project  2
Conferences  -

* 'Français langue étrangère' à l'exception des francophones qui suivent le cours 'Cultural and Communicational English'

 NB : Le contenu peut être sujet à des changements mineurs
 

Exemples de stages en industrie :

  • Design of Embedded Systems for Drones.
  • Internet of Things (IoT): connecting Embedded System.
  • Modelling and validation of an aerial video tracking system.

Exemples de stages en laboratoire de recherche :

  • Multicore Real Time operating systems
  • Formal verification of parametric systems
  • Task Scheduling in Energy Harvesting Real-time Embedded Systems

Perspectives académiques et professionnelles


Secteurs : Aéronautique, Automobile, Transports, Energies marines et éolienne, Production de matériaux, Consulting

Domaines : Mécanique, Conception, Matériaux, Procédés avancés, manufacturing, Recherche et Innovation

Métiers : Ingénieur Mécanique, Ingénieur procédés, Ingénieur design, Ingénieur R&I -  Chercheur (complété avec un doctorat)
Publié le 25 mars 2017 Mis à jour le 20 septembre 2019