psar

L’unité d’enseignement « Projet SAR » relève de la spécialité SAR du master d’informatique. L’objectif est de pratiquer les domaines couverts par la spécialité : conception, vérification et réalisation d’applications et systèmes répartis.

Le travail demandé comporte une grosse part de développement logiciel, aussi il faudra utiliser un gestionnaire de versions concurrentes. Pour cela, l’ARI mettra prochainement à votre disposition un serveur Subversion, dont vous devez lire attentivement la documentation. Tous les systèmes d’exploitation offrent un client Subversion en ligne de commande, vous pouvez aussi installer une version graphique si vous le désirez. Le serveur Subversion de l’ARI doit être utilisé pour que vos encadrants puissent suivre et tester votre travail. Les exceptions à son utilisation doivent faire l’objet d’un accord préalable avec les encadrants.

Le projet sera présenté en soutenance publique, les 14 et 15 mai dans l’après-midi ; réservez dès à présent ces dates.

Prenez connaissance des projets contenus dans la liste ci-dessous, puis contacter les responsables des projets qui vous intéressent, en cliquant sur leur nom. Vous pouvez ainsi poser des questions complémentaires et prendre éventuellement rendez-vous. Lorsqu’un encadrant vous aura donné son accord, vous signalerez votre candidature au responsable de l’UE en vous déclarant dans le menu à gauche du texte de présentation du projet. Vous ne pouvez pas candidater à plusieurs projets simultanément.

Liste chronologique des 18 sujets proposés
les sujets sur fond coloré sont déjà attribués
L

Pour passer du mode abrégé au mode étendu, cliquer sur le bouton ci-dessus.
Pour être prévenu des stages annoncés tardivement, utiliser le fil RSS: il est spécifique à cette rubrique.
Pour ne lister que les stages associés à un mot-clé, cliquer sur une occurrence des mot-clés apparaissant en mode étendu sous le titre des stages.

1. le « Balezator » pour iOS


Lieu :UPMC
Encadrant : kordon.fabrice


2. Gestion de thread multicoeurs


Encadrant : Folliot Bertil


3. Répartiteur de charge des machines


Encadrant : Folliot Bertil


4. Editeur réparti coopératif


Encadrant : Folliot Bertil


5. Mémoire partagée répartie


Encadrant : Folliot Bertil


6. Générateur d’APIs pour la plateforme CosyVerif


Lieu :UPMC
Encadrant : kordon.fabrice


7. Convertisseur de formalismes pour la plateforme CosyVerif


Lieu :UPMC
Encadrant : kordon.fabrice


8. client textuel webservice pour la plate-forme CosyVerif


Lieu :UPMC
Encadrant : kordon.fabrice


9. Réalisation d’un module de transformation de Promela vers GAL


Lieu :UPMC
Encadrant : Yann Thierry-Mieg


10. Plate-forme de tests réseau en C/C++ dans le cadre des jeux vidéo multi-joueurs en ligne


Site :Trac-GameTestingFW-C-C++
Encadrant : Marin Olivier, Monnet Sébastien


11. Réalisation d’un éditeur pour le langage Instantiable Transition System


Lieu :UPMC
Encadrant : Yann Thierry-Mieg


12. Version concurrente et portable d’un logiciel pour la validation de calculs scientifiques


Encadrant : Marin Olivier, Lamotte Jean-Luc


13. Réalisation d’un module de refactoring pour les GAL


Lieu :UPMC
Encadrant : Yann Thierry-Mieg


14. Etude de politique de placement mémoire dans le noyau Linux


Encadrant : Folliot Bertil


15. PNML Framework 3G


Encadrant : Hillah Lom Messan
Dates :01/02/2013 au 15/05/2013


16. Réalisation d’un éditeur graphique pour la conception des systèmes multi-tâches répartis


Site :LIP6
Lieu :UPMC
Encadrant : Ilie Jean-Michel


17. Réalisation d’un système réparti androïd pour le campus


Site :LIP6
Lieu :UPMC
Encadrant : Jean-Michel Ilie


18. Plate-forme de tests réseau en java dans le cadre des jeux vidéo multi-joueurs en ligne


Site :Trac-GameTestingFW-Java
Encadrant : Monnet Sébastien, Marin Olivier