Embedded Real Time Systems (CORO ERTS)

Master Supervisors: Guy Lebret (M1), Didier Lime (M2) and Olivier-Henri Roux

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 programme of study lasts two academic years - denoted by M1 and M2. Embedded Real Time Systems is one of four specialisms available within the Control and Robotics stream. Some of the M1 courses are the taught across the four 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 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  -
Spring Semester ECTS
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 industry:
  • Design of Embedded Systems for Drones.
  • Internet of Things (IoT): connecting Embedded System.
  • Modelling and validation of an aerial video tracking system.
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 analyse 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 PhD)
Published on March 25, 2017 Updated on October 21, 2020