course-premium

Embedded Real Time Systems (CORO ERTS)

Master

In Nantes (France)

Price on request

Learn the design and verification of embedded systems, more especially, real-time embedded systems

  • Type

    Master

  • Location

    Nantes (France)

  • Duration

    2 Years

  • Start date

    September

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.

Facilities

Location

Start date

Nantes (France)
See map
1 Rue de la Noë BP 92101, 44 321 Cédex

Start date

SeptemberEnrolment now open

About this course

The main objectives are: to 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, to master all stages of the design and development cycle of these systems (from their specification to their implementation and certification) and to understand and know how to exploit the specific characteristics of new generations of embedded systems (OS Autosar, multi-core targets, etc.).

Students must have: a bachelor's degree in Engineering, Science or Technology, or a 'license' qualification or equivalent. Applicants must have a good level in Mathematics and be fluent in English - written and spoken. An applicant whose native language is not English is required to pass a recognised international test of English (TEOFL, IELTS, TOEIC or Cambridge Advanced English Test). Applicants who carried out their studies in English may provide an official letter from their university stating that the language of instruction was English in place of one of the approved English tests.

This program provides good prospects for employment or further study. Former students have worked in the following feilds and sectors: aeronautics, automotive, transportation, wind and marine energy, material production, consulting, mechanical engineering, design, materials, advanced processes, manufacturing, research and innovation. Some positions that alumni have held: mechanical engineer, process engineer, design engineer, research and innovation engineer (post PhD)

Questions & Answers

Add your question

Our advisors and other users will be able to reply to you

Who would you like to address this question to?

Fill in your details to get a reply

We will only publish your name and question

Reviews

Subjects

  • Design
  • English
  • Image
  • Project
  • Systems
  • Machine Learning
  • Information
  • Computation
  • Biomedical
  • Signal filter
  • Embedded computing
  • Digital signal

Teachers and trainers (1)

Teacher´s Team

Teacher´s Team

Teacher

Course programme

Course Content - M1
30 ECTS Credits per semester.
Language of instruction: English

Autumn Semester Courses

  • Signal Processing
  • Classical Linear Control
  • Artificial Intelligence
  • Embedded Electronics
  • Advanced and Robot Programming
  • Embedded Computing
  • Modern Languages *

Spring Semester Courses

  • Group Project
  • Optimization Techniques
  • Mobile Robots
  • Programming Real Time Systems
  • Software Architecture for Robotics
  • Computer Vision
  • Modern Languages *

* '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 - M230 ECTS Credits per semester.
Language of instruction: English

Autumn Semester Courses

  • Embedded Software Systems
  • Embedded Systems Design
  • Automated Planning
  • Real Time Scheduling
  • Formal Modelling and Verification
  • Petri Nets
  • Modern Languages *
  • Project
  • Conferences

Spring Semester
Master thesis / internship

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

Embedded Real Time Systems (CORO ERTS)

Price on request