This programme introduces the techniques currently used for the design and the verification of embedded systems, and more especially real-time embedded systems. This specialism relies on several courses covering various topics: the design of real-time systems and the architecture of a real-time operating system (OSEK/VDX standard is used); real-time scheduling policies and associated implementation; tools for the modelling and verification of real-time systems: Petri net, finite state automata and timed automata etc.

The program of study lasts two academic years - denoted by M1 and M2. Embedded Real-Time Systems is one of five specialisms available within the Control and Robotics stream. Some of the M1 courses are the taught across the five specialisms whereas the M2 courses are specialism-specific. See course content for more details.

The language of instruction is English across the two years.

Course Content - M1

30 ECTS Credits per semester.

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

* 'French as Foreign Language' except for French native speakers who will study 'Cultural and Communicational English'

NB Course content may be subject to minor changes

Course Content - M2

30 ECTS Credits per semester

Autumn Semester CoursesECTS
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 -
Spring SemesterECTS
Master thesis / internship 30

* 'French as Foreign Language' except for French native speakers who will study 'Cultural and Communicational English'

Examples of previous internships in research labs:

  • Multicore Real-Time operating systems
  • Formal verification of parametric systems
  • Task Scheduling in Energy Harvesting Real-time Embedded Systems
  • NB Course content may be subject to minor changes

Skills Developed

  • Model and define the operation of embedded control and control systems implemented in digital form, and which are subject to critical constraints, of both energy and time.
  • Master all stages of the design and development cycle of these systems (from their specification to their implementation and certification).
  • Understand and know how to exploit the specific characteristics of new generations of embedded systems (OS Autosar, multi-core targets, etc.).

In addition to the above specialism-specific skills, students will also develop more general skills:

  • Identify models, perform simulation and analyze results.
  • Communicate comprehensive results in a meaningful way.
  • Undertake bibliographic surveys of international research and professional literature.
  • Manage or be part of a project.

Prospects for employment or further study:

  • Sectors: aeronautics, automotive, transportation, wind, and marine energy, material production, consulting.
  • Fields: mechanical engineering, design, materials, advanced processes, manufacturing, research, and innovation.
  • Positions: mechanical engineer, process engineer, design engineer, research and innovation engineer (post Ph.D.).
Program taught in:

See 12 more programs offered by Centrale Nantes »

Last updated October 22, 2018
This course is Campus based
Start Date
2 years
15,000 EUR
€15000 / 2 years
By locations
By date
Start Date
End Date
Application deadline
Application deadline
End Date