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: UppAal, PhaVer, nuSMV and/or XCos.
Objectives (and/or specific learning outcomes)
The aim of this course is to make students aware of the specific challenges of embedded systems and to familiarize them with both theoretical and practical solutions that address these constraints. Emphasis will be placed on the importance of the model-based development approach, in which rigorous system models are used to ensure that requirements are correctly satisfied.
By the end of the course, students should be able to design and implement an embedded system following the model-based design approach. In particular, they should be able to carry out a rigorous analysis of a given problem while taking into account the specific characteristics of embedded systems (limited resources, critical nature of the system, etc.). This analysis will involve modeling the system using the theoretical tools introduced during the course.
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 grade is function of the project report and its oral defence.
Mark calculation method (including weighting of intermediary marks)
The grade is function of the project report and its oral defence.
Language(s) of evaluation
- english