Projet Sar


(psar)

Présentation des projets SAR

Vous trouverez ci-après une liste de projets proposés dans le cadre de la spécialité SAR (Systèmes et Applications Répartis). Certains de ces projets se placent clairement dans le cadre de travaux de recherches effectués au LIP6. D’autres sont plus académiques.

Le choix de votre projet doit être terminé le mercredi 22 Février 2006. Nous vous suggérons de mettre à profit la période "sans cours" que vous subissez actuellement pour rencontrer les différentes personnes proposant les stages.

Une présentation de l’UE PSAR aura lieu le 13 février 2006 à 13h30, salle 203-205 Bât 41 . Votre présence y est très fortement recommandée.

Procédure de choix d’un projet

Le choix d’un projet implique l’accord de l’encadrant. Vous devez donc contacter celui-ci pour signifier votre intérêt. En cas de compétition sur un stage, c’est l’encadrant qui fera le choix final. La liste des étudiants suivis pour un stage est ensuite communiquée (via un email) par l’enseignant responsable à Bertil Folliot (responsable de l’UE de stage) avec copie aux étudiants concernés. Les enseignants sont tenus de prévenir également les étudiants qui ne sont pas pris sur un projet.

Déroulement du projet

Le nombre et la nature des contraintes à intégrer rend nécessaire l’utilisation d’une méthodologie de conception rigoureuse. En particulier, vous vous attacherez à proposer une solution modulaire (i.e. composée de modules regroupant des entités de même nature) et extensible (i.e. devant permettre l’intégration de fonctionnalités supplémentaires.

Les différentes étapes du projet

L’analyse et la réalisation du projet constitueront deux étapes du projet. Chaque étape est concrétisée par un rapport permettant d’évaluer le travail fourni.

Étape 1 : analyse modulaire du problème

Cette étape est sanctionnée par un rapport qui donnera lieu à une note de contrôle continu pour l’UE de projet. Vous devez donc réaliser les actions suivantes :

Étape 2 : réalisation du programme

Cette étape est sanctionnée par un rapport de réalisation et de test ainsi qu’un documentation. Cette phase donnera lieu à une soutenance. L’ensemble permettra de construire une note d’examen. Vous devez donc réaliser les actions suivantes :

Liste des projets proposés

Encadrant Nb d’étudiants Titre
01
B. Folliot
2-3
Analyseur syntaxique de bytecode Java
02
B. Folliot
2-3
Benchmark d’une application Web
03
F. Kordon
2
Outil d’aide à la modélisation dans la plate-forme CPN-AMI
04
B. Folliot
3
Communication par bus à diffusion
05
B. Folliot
2-3
Protocole de diffusion fiable
06
B. Folliot
3-4
Éditeur réparti et coopératif
07
B. Folliot
2-3
Membership (surveillance des machines actives et des fautes)
08
B. Folliot
3-4
Mémoire Partagée Répartie
09
B. Folliot
3
Observation graphique d’applications réparties
10
M. Shapiro
1
Analyse et documentation du protocole de synchronisation "iSync"
11
B. Folliot
2-3
Réalisation d’un gestionnaire de processus répartis
12
L. Arantes, JM. Busca & P. Sens
2
Déploiement et suivi d’applications
13
L. Arantes, JM. Busca & P. Sens
2-3
Entrepôt réparti en mémoire
14
B. Folliot
2-3
Répartiteur de charge
15
B. Folliot
2
Sémaphores répartis
16
F. Kordon & T. Vergnaud
3
Générateur de code depuis AADL vers les réseaux de Petri
17
E. Saint-James
3-4
Projets M1 à l’IRCAM
18
H. Naacke
4
Traitement de transactions dans un environnement pair à pair  : Simulation avec PeerSim
19
H. Naacke
4
Interrogation de données XML répliquées avec XLive
20
C. Le Pape & S. Gançarski
2
Evaluation du contrôle de fraîcheur de données relationnelles répliquées dans
une configuration multimaître
.
21
C. Besse & T. Ziadi
1
Extension du prototype PLiBS basé sur Eclipse :
Implémentation et intégration d’algorithmes de composition de machines à états
22
JM Busca & P. Sens
1-2
Modèle réseau réaliste pour simulateur LS3
23
X. Blanc, P. Sriplakich & A. Sadovykh
1
Approche « CVS » pour le développement collaboratif de modèles
24
X. Blanc, P. Sriplakich & A. Sadovykh
1
Convertisseur de format de modèles pour l’intégration des outils
d’atelier logiciel
25
X. Blanc, P. Sriplakich & A. Sadovykh
1
Support visuel pour la résolution de conflits dans le développement collaboratif de modèles
26
X. Blanc, P. Sriplakich & A. Sadovykh
1
Optimisation du mécanisme d’échange de messages SOAP
27
X. Blanc, P. Sriplakich & A. Sadovykh
1
Support d’invocation asynchrone pour l’intégration des outils d’atelier logiciel
28
JM Busca & P. Sens
1-2
Gestion pratique de la sécurité dans Pastis
29
JM Busca, L. Arantes & P. Sens
1-2
Système de fichiers pour la librairie libsched
30
JM Busca, L. Arantes & P. Sens
1-
Gestion de signaux et de processus pour la librairie libsched


logo-spip E. Saint-James & F. Kordon - Master Informatique - UPMC Valid XHTML 1.0!
Calculé le 7 avril 2020 à 13h31min