Groupe de Recherche Applications Réparties
grar

L’objectif de cette UE est de présenter les techniques de base pour la recherche (étude bibliographique, présentations scientifique, rédaction d’états de l’art). Ces activités seront centrés dans le domaine des applications réparties (modélisation, vérification, réalisation).

Les thèmes abordés varient suivant les années. A titre d’exemple, on peut citer : techniques de représentation d’espace d’états, MDA, génération automatique de programmes, UML et les techniques de vérification.

Le tableau ci après indique le planning des enseignements qui seront dispensés.

Semaine
Séance Lieu
1 (jeudi 08/02/07)
Modélisation et vérification avec Z (S. Vignes) ENST, salle B559
13h00-16h00
2 (jeudi 15/02/07)
Modélisation et vérification avec Z (S. Vignes) ENST, salle B559
14h00-18h00
3 (jeudi 22/02/07)
Model checking avancé, graphe des marquages symboliques et symétries (Y. Thierry-Mieg) UPMC
13h30-18h00
4 (jeudi 01/03/07)
Modélisation et vérification avec Z - soutenances ENST, salle B559 puis TPC221
14h00-18h00
5 (jeudi 08/03/07)
Réseaux de Petri stochastiques (YC. Dutheillet)
Exposés d’étudiants
UPMC
13h30-18h00
6 (jeudi 15/03/07)
Towards Model Construction Constraint Language (X. Blanc)
Exposés d’étudiants
UPMC
13h30-18h00
7 (jeudi 22/03/07)
Exposés d’étudiants UPMC
13h30-18h00

Attention :pour les séances à l’ENST, il faut vous munir d’une pièce d’identité ou de votre carte d’étudiant (plan vigipirate).

Les articles à présenter

L’UE GRAR prévoie des séances dédiées à des exposés d’étudiants. L’objet de ce document est de décrire les modalités de fonctionnement de ces séances.

Modalités de présentation

Les articles sont présentés par un étudiant (pas en binôme donc ;-).

Pour la présentation des articles, il vous est accordé 20 minutes + 5 minutes de questions. Les objectifs de l’exposé sont les suivants :

Les étudiants ne présentant pas le papier doivent lire les papier et identifier quelques questions à poser à l’intervenant. Les étudiants assistant aux exposés pourront être amenés à poser des questions au même titre que les enseignants.

Il vous est demandé de respecter le timing demandé. A ttre indicatif, sachez que la note d’exposé considèrera 4 critères :

  1. compréension de l’article et restitution, recul par raport aux informations présentées
  2. réponses aux questions
  3. présentation orale(respect du timing, aisance, ...)
  4. qualité des transparents (pertinence du contenu principalement)

Choisir un article

Vous devez choisir un article à présenter avant le 16 Février 2007.

Pour ce faire, vous devez envoyer un mail à F. Kordon en précisant le numéro de l’article que vous avez choisi. En cas de conflit, une stratégie de type FIFO sera adoptée ;-).

Les affectations et les dates de présentation seront mises à jour sur cette page.

Dates de présentation

Les articles seront présentés lors des séances prévues à cet effet dans le planning. Les dates précises seront mises à jour au fur et à mesure des informations contenues dans cette page.

Les articles

Voici la liste des articles proposés par vos enseignants pour GRAR :

  1. A Symbolic Symbolic State Space Representation,
  2. Gaining Insight into Executable Models during Run-Time - Architecture and Mappings,
  3. Cluster-Based LTL Model Checking of Large Systems,
  4. Symbolic Data Flow Analysis for detecting Deadlocks in Ada Tasking Programs,
  5. An Approach to Distributed State Space Exploration for Coloured Petri Nets,
  6. A Pattern Language for Efficient, Predictable, Scalable, and Flexible Dispatching Mechanisms for Distributed Object Computing Middleware,
  7. Patterns, Frameworks, and Middleware : their synergistic Relationships,
  8. On the Formal Verification of Middleware Behavioral Properties,
  9. Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths,
  10. Structural Symbolic CTL Model Checking of Asynchronous Systems,
  11. Design of Rules for Transforming UML Sequence Diagrams into Java code,
  12. Behaviour Model Synthesis From Properties and Scenarios,

Certains de ces articles sont issus de revues ; ils sont en général plus longs. D’autres, plus courts, sont issus de conférences internationales. Dans tous les cas, un travail de recherche autour de la problématique introduite par le papier sera demandée (étude de références voisines) afin de replacer les travaux dans le contexte du domaine considéré.

Ordre des présentations à ce jour (13/02/2006)

Jour
Étudiant(e)
Article
08/03/06
J. Delange Article 11
08/03/06
D. Ghaderi Article 07
08/03/06
E. Thomas Article 12
08/03/06
H. Ramananjara Article 04
15/03/06
S. Beauche Article 05
15/03/06
N. Bouchentouf Article 02
15/03/06
C. Malgouyres Article 03
15/03/06
F. Yuan Article 06
22/03/06
C. Mehat Article 01
22/03/06
A. Nguyen Article 08
22/03/06
H. T. Nguyen Quoc Article 10

Localisation


modifier cet emploi du temps   Cours : 205  le dimanche de 22h 1 à 22h 1,
par [ à préciser ].

Calendrier

aujourd'hui : <<<>>>  décembre 2006  calendrier par jourcalendrier par semainecalendrier par mois
lundi mardi mercredi jeudi vendredi samedi dimanche
02/1248 03/1248