Model-based Design of Embedded Systems

Embedded systems. Timed and hybrid automata. Introduction to control theory. Program proofs. UppAal, PhaVer, nuSMV, and/or XCos tools.

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.

Required and Corequired knowledge and skills

To have obtained the ECTS for INFO-F412 (or having succeeded in january's exam of that course)

Required and corequired courses

Theory and practical lectures + project development + lectures of scientific articles + presentations by students.

References, bibliography, and recommended reading

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

Course notes

• Syllabus
• Université virtuelle

Additional information

There will be assignments to students Oral exam with written preparation.

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

Method(s) of evaluation

• Oral examination

Oral examination

• Examination with preparation

• Open question with short answer
• Open question with long development

The final grade is based on the oral defense of the project report and an oral examination testing knowledge of theory and exercises.

Mark calculation method (including weighting of intermediary marks)

The final grade is based on the oral defense of the project report and an oral examination testing knowledge of theory and exercises.

Language(s) of evaluation

• english
• french