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

Objectifs du programme
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

Voir le replay Campus Channel


Contenu pédagogique

30 ECTS crédits par semestre.
Langue d'enseignement : anglais.

M1
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
M2
Autumn Semester Courses ECTS
Embedded Software Systems  4
Energy-aware Embedded Systems  4
Automated Planning  4
Real Time Scheduling  4
Formal Modelling and Verification  4
Petri Nets  4
Modern Languages *  4
Project  2
Conferences  -
 
Spring Semester ECTS
Master thesis / internship       30

* '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

Thèses de masters et stages

Exemples de stages dans l'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 dans les laboratoires de recherche

  • Multicore Real Time operating systems
  • Formal verification of parametric systems
  • Task Scheduling in Energy Harvesting Real-time Embedded Systems
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.)

Télécharger le contenu des cours

Moyens de recherche et partenariats

Enseignement et Recherche

Ce Master s'appuie sur le corps professoral de Centrale Nantes et sur les équipements du LS2N.

Partenariats industriels

Airbus, Thales, Smiles, Renault

Partenariats académiques

École Polytechnique de Montréal, Université Aalborg, TU Munich
Perspectives d'emploi ou poursuite d'études
  • 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 10 mai 2021