course-premium

Embedded Real Time Systems (CORO ERTS)

Master of science

À Nantes

15 000 € TTC

Appeler le centre

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

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

  • Typologie

    Master of science

  • Lieu

    Nantes

  • Durée

    2 Ans

  • Dates de début

    Dates au choix

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.

Précisions importantes

Modalité Formation continue

Les sites et dates disponibles

Lieu

Date de début

Nantes ((44) Loire-Atlantique)
Voir plan
1 Rue de la Noë BP 92101, 44 321 Cédex

Date de début

Dates au choixInscriptions ouvertes

À propos de cette formation

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 / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

À qui souhaitez-vous addresser votre question?

Saisissez vos coordonnées pour recevoir une réponse

Nous ne publierons que votre nom et votre question

Les Avis

Les matières

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

Professeurs

Corps enseignant École Centrale de Nantes

Corps enseignant École Centrale de Nantes

Nantes

Le programme

Course Content - M1

30 ECTS Credits per semester.

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 - M2

30 ECTS Credits per semester

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

Appeler le centre

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Embedded Real Time Systems (CORO ERTS)

15 000 € TTC