Le 17/01/2014 par alm :
Modélisation des applications pilotées par les données et par le temps
Description du sujet :
La conception de systèmes embarqués pose un certain nombre de défis académiques et industriels.
On se place ici dans l'optique d'une application qui est exécutée en continu sur une architecture généraliste fixée (par exemple, une application de décodage d'images sur un téléphone portable, ou une application qui calcule la vitesse d'un avion en fonction du résultat des mesures des capteurs). L'application doit satisfaire des contraintes de temps, comme par exemple avoir un débit minimum fixé, assurer un temps de réponse minimum à partir de la réception d'une donnée en provenance d'un capteur, etc.
Les ≪ Synchronous Data Flow ≫(SDF en bref) [1] et ses extensions sont fréquemment utilisés pour décrire les échanges de données au sein d'une application. Un SDF est un graphe orienté dont les noeuds sont associés à des acteurs (ou tâches) et les arcs représentent des liens de communication (ou buffers). De plus, des poids entiers spécifient la quantité de données produite et consommée par les acteurs à chacune de leurs exécutions. La limite de ce formalisme est qu'il ne permet pas de décrire directement des contraintes de type latence (i.e. temps maximum entre l'activité de deux acteurs), comme c'est le cas pour les automates temporisés [2].
Le but de ce stage est de construire une extension des SDF qui permettrait de prendre en charge des contraintes de temps spécifiques (débit imposé aux acteurs, temps maximum entre l'activation de deux acteurs, dates de disponibilité, dates d'échéance..). La généralisation des outils mathématiques et algorithmiques actuels pour évaluer l'existence d'un ordonnancement des acteurs et du débit maximum de l'application [3] sera alors envisagée. Ils seront en fonction de leur maturité expérimentés sur des jeux de tests pertinents du point de vue des applications.
Compétences requises : Ce stage est réservé aux étudiants en dernière année d'école d'ingénieur ou en Master 2 (informatique ou en mathématiques appliquées).
De bonnes connaissances en algorithmique et en optimisation combinatoire sont indispensables, ainsi que la maîtrise d'au moins un langage de programmation (C/C++, Java, Python, OCaml...).
Conditions du stage : Le stage doit avoir lieu au CEA/SACLAY Nano-INNOV à Gif-Sur-Yvette. Sa durée est de 4 à 6 mois et est rémunéré
(minimum 600 Euros net par mois). Il sera co-encadré par Kods Trabelsi (LASTRE/CEA) et Alix Munier-Kordon (LIP6/UPMC). Une poursuite en thèse est envisageable.
Pour candidater : Envoyer un Curriculum Vitae et une lettre de motivation à Mme Kods Trabelsi kods.trabelsi@cea.fr
Références
[1] Edward A. Lee and David G. Messerschmitt. Synchronous data flow. Proceeding of the IEEE, vol. 75(no. 9) :pp. 12351245, 1987.
[2] Matthieu Lemerre, Vincent David, Christophe Aussagu`es, and Guy Vidal-Naquet. An intro- duction to time-constrained automata. In Simon Bliudze, Roberto Bruni, Davide Grohmann, and Alexandra Silva, editors, ICE, volume 38 of EPTCS, pages 8398, 2010.
[3] Olivier Marchetti and Alix Munier Kordon. Cyclic Scheduling for the Synthesis of Embedded Systems, chapter 6. Introduction to scheduling. Chapman and Hall/CRC Press, November 2009. ISBN : 978-1420072730.
