Embedded systems design

Systèmes embarqués. Automates temporisés et hybrides. Introduction à la théorie du control. Outils Lustre, UppAal, PhaVer et 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: 1) ê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. 2) être capable de réaliser le système en faisant les bons choix technologiques, et ce, à partir du modèle développé.

Cours ayant celui-ci comme co-requis

Cours ex-cathedra, travaux pratiques, réalisation d'un projet.

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

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

Support(s) de cours

• Syllabus
• Université virtuelle

Contacts

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

Campus

Plaine

Méthode(s) d'évaluation

• Autre

Autre

Projet individuel donnant lieu à la rédaction d'un rapport et la défense de celui-ci lors d'un examen oral.

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.

Langue(s) d'évaluation

• français
• anglais