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