1. Accueil
  2. EN
  3. Studying at ULB
  4. Find your course
  5. UE
INFO-F410

Embedded systems design

academic year
2024-2025

Course teacher(s)

Jean-François RASKIN (Coordinator)

ECTS credits

5

Language(s) of instruction

english

Course content

Introduction top the notion of embedded system -- Timed and Hybrid automata -- Principles of control theory -- Game theory and controller synthesis. Tools: Lustre, UppAal, PhaVer et XCos.

Objectives (and/or specific learning outcomes)

The main objective of the course is to get students familiar with the typical problems and constraints that arise when designing and developing embedded systems. The course will also introduce theoretical and practical solutions to these typical problems, that the students are expected to master and be able to apply to realistic case studies. At the end of the course, students should be able to design and implement an embedded systems, following the model-centric design. This approach states that the system should be design first as a rigorously stated model, which will allow to offer strong guarantees about the final system. More precisely, the students are expected to:

  • be able to perform a rigorous analysis of a given problem, while taking into account the classical constraints of an embedded system (tools to carry out this analysis will be studied during the lectures).

  • be able to implement the designed system, according to the model.

Prerequisites and Corequisites

Cours ayant celui-ci comme co-requis

Teaching methods and learning activities

Theory and practical lectures + project development.

References, bibliography, and recommended reading

Rajeev Alur. Principles of Cyber-Physical Systems, MIT Press, 2015.  ISBN: 9780262029117

Course notes

  • Syllabus
  • Université virtuelle

Other information

Additional information

The grading is done on the project report and its oral defense.

Contacts

Jean-François Raskin

Département d'Informatique, CPI 212

tel: 02 650 55 92

web: http://www.ulb.ac.be/di/verif/jfr

e-mail: jraskin [at] ulb.ac.be

Campus

Plaine

Evaluation

Method(s) of evaluation

  • Project
  • Oral examination
  • Other

Project

Oral examination

Other

The project grade is the final grade. The project defense is the oral examination for the course.

Mark calculation method (including weighting of intermediary marks)

The project grade is the final grade.

Language(s) of evaluation

  • english

Programmes