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 - M2
30 ECTS Credits per semester
Autumn Semester Courses
|Embedded Software Systems
|Embedded Systems Design
|Real Time Scheduling
|Formal Modelling and Verification
|Modern Languages *
|Master thesis / internship
* '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
- 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: