Model-based Design of Embedded Systems

Systèmes embarqués. Automates temporisés et hybrides. Introduction à la théorie du control. Preuves de programmes. Outils UppAal, PhaVer, nuSMV et/ou XCos.

Le but de ce cours est de sensibiliser les étudiants aux problématiques propres aux systèmes embarqués, et de les familiariser à des solutions théoriques et pratiques qui permettent de respecter ces contraintes. L'accent sera mis sur l'importance du concept de développement à partir de modèles, dans lequel on raisonne sur des modèles rigoureux du système pour assurer que les desiderata sont bien respectés. A la fin de la période d'enseignement, les étudiants devraient être à même de concevoir et de réalier un système embarqué selon l'approche de conception à partir d'un modèle. Plus particulièrement ils devraient être capable de réaliser une analyse rigoureuse de la problèmatique donnée, tout en tenant compte des spécificités propres aux systèmes embarqués (resources réduites, système critique, etc). Cette analyse consistera à modéliser le système à l'aide d'outils théoriques vus au cours. 

Connaissances et compétences pré-requises ou co-requises

Avoir obtenu les ECTS pour INFO-F412 (ou avoir réussi l'examen de janvier 2027).

Cours pré-requis

Cours ex-cathedra, travaux pratiques, réalisation d'un projet, et possibilités de lecutres d'articles et présentations par les étudiants.

Références, bibliographie et lectures recommandées

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

Support(s) de cours

• Syllabus
• Université virtuelle

Contacts

Jean-François Raskin (jraskin@ulb.ac.be)
 

Campus

Plaine

Méthode(s) d'évaluation

• Examen oral

Examen oral

• Examen avec préparation

• Question ouverte à réponse courte
• Question ouverte à développement long

Projet individuel donnant lieu à la rédaction d'un rapport et la défense de celui-ci lors d'un examen oral. Exam écrit/oral sur la théorie et des exercises liés au projet.

Construction de la note (en ce compris, la pondération des notes partielles)

La note unique est obtenue après la défense orale du rapport du projet et lors de l'examen oral testant les connaissances de la théorie et des exercises.

Langue(s) d'évaluation

• français
• anglais