Aller au sommaire principal

ULB - Université libre de Bruxelles

 

AIDE | QUITTER

   

Année académique 2017-2018
24/05/2019
Image transparente

Langue/Language


Embedded systems design
INFO - F410

I. Informations générales
Intitulé de l'unité d'enseignement * Embedded systems design
Langue d'enseignement * Enseigné en anglais
Niveau du cadre de certification * Niveau 7 (2e cycle-MA/MS/MA60)
Discipline * Informatique
Titulaire(s) * [y inclus le coordonnateur] Gilles GEERAERTS (coordonnateur)
II. Place de l'enseignement
Unité(s) d'enseignement co-requise(s) *
Unité(s) d'enseignement pré-requise(s) *
Connaissances et compétences pré-requises * Notions de base de mathématiques discrètes, de théorie des langages, et du système Linux. Avoir suivi un cours d'introduction à la vérification formelle, et à l'ordonnancement temps-réel est un plus, mais n'est pas indispensable.
Programme(s) d'études comprenant l'unité d'enseignement - M-INFOS - Master en sciences informatiques (5 crédits, optionnel)
- M-IRIFS - Master en ingénieur civil en informatique, à finalité spécialisée (5 crédits, optionnel)
III. Objectifs et méthodologies
Contribution de l'unité d'enseignement au profil d'enseignement *
Objectifs de l'unité d'enseignement (et/ou acquis d'apprentissages spécifiques) *

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é.

Contenu de l'unité d'enseignement *

Langage Lustre et outil Scade, introduction à la théorie du contrôle (contrôleurs PID), théorie des jeux et synthèse automatique de contrôleurs (jeux de Müller), ordonnancement sous contraintes d'énergie, Linux dans les systèmes embarqués.

Méthodes d'enseignement et activités d'apprentissages *

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

Support(s) de cours indispensable(s) * Non
Autres supports de cours
Références, bibliographie et lectures recommandées *

Embedded System Design: A Unified Hardware/Software Introduction, Frank Vahid, Tony D. Givargis, Wiley, 0471386782 Programming Embedded Systems: With C and GNU Development Tools, 2nd Edition, Michael Barr, Anthony Massa, O'Reilly, 0596009836 Building Embedded Linux Systems, Karim Yaghmour, Jon Masters, Gilad Ben-Yossef, Philippe Gerum, O'Reilly, 0596529686

IV. Evaluation
Méthode(s) d'évaluation *

La note du projet est la note de l'examen. Un rapport est à remettre et une défense orale sera organisée. Le projet est à réaliser en groupe (max. 5 étudiants)

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

La note du projet est la note de l'examen.

Langue d'évaluation *

Français, Anglais

V. Organisation pratique
Institution organisatrice * ULB
Faculté gestionnaire * Sciences
Quadrimestre * Deuxième quadrimestre (NRE : 18361, 42266)
Horaire * Deuxième quadrimestre
Volume horaire
VI. Coordination pédagogique
Contact *

Gilles Geeraerts (voir http://www.ulb.ac.be/di/verif/ggeeraer)

Lieu d’enseignement *

Campus de la Plaine

VII. Autres informations relatives à l’unité d’enseignement
Remarques

Retour aux détails du cursus
Image transparente
Passer directement au début de la page
Version: 8.1.1.17