Automates temporisés avec contraintes d'énergie / application à l'ordonnancement pour les systèmes embarqués
Proposé par Y. Abdeddaïm et D. Masson (LIGM et ESIEE)Description
Les automates temporisés sont un outils permettant de modéliser des systèmes temporels et de vérifier formellement des propriétés sur ces models. Une extension intégrant dans le model le niveau d'energie du système a été proposée.
Le but du stage est d'étudier cette extension, éventuellement de la modifier, et de l'utiliser pour prouver des propriétés sur un algorithme d'ordonnancement temps réel pour systèmes embarqués à energie renouvelable contrainte.
Pour plus de détails, prendre contact avec Yasmina Abdeddaïm (mail) ou Damien Masson (web).
Ordonnancement temps réel sous contraintes d'énergie renouvelable dans un système embarqué
Proposé par D. Masson et S. Midonnet (LIGM et ESIEE)Description
Le but du stage est d'étudier les algorithmes d'ordonnancements temps réel prenant en compte les contraintes énergétiques d'un système embarqué. Les tâches composant ce système ont une consommation énergétique, mais le système dispose également d'une source d'énergie connue (par exemple un panneau solaire ou une éolienne).
Une maquette à base des Legos mindstorms NXT est en cours de développement au département SE de l'ESIEE et le stagiaire sera amené à implanter et tester les algorithmes sur cette maquette.
Pour plus de détails, prendre contact avec Damien Masson (web) ou Serge Midonnet.