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, IDM/MDE, génération automatique de programmes, UML et les techniques de vérification. Les articles choisis portent à la fois sur des aspects théoriques mais aussi sur des applications.

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

Semaine
Séance Lieu
1 (jeudi 04/02/09)
S. Evangelista : NEOPPOD : Modélisation et vérification d’un protocole de base de données répartie à large échelle Bât 31/205
13h30-15h30
S. Evangelista :NEOPPOD : Modélisation et vérification d’un protocole de base de données répartie à large échelle Bât 31/205
16h00-18h00
2 (jeudi 11/02/09)
L. Hillah :Vérification de systèmes de transport intelligents Bât 31/205
13h30-15h30
L. Hillah : Vérification de systèmes de transport intelligents Bât 31/205
16h00-18h00
3 (jeudi 18/02/09)
A. Duret-Lutz :Une approche du model checking avec des automates étiquetés sur les transitions Bât 31/205
13h30-15h30
A. Duret-Lutz : Une approche du model checking avec des automates étiquetés sur les transitions Bât 31/205
16h00-18h00
4 (jeudi 25/02/09)
F. Bonnefoi : Analyse formelle du comportement de systèmes complexes Bât 31/205
13h30-15h30
Exposés :
  • Rachid Habel, article 1
  • Jonathan Michaux, article 15
  • Medhi Ben Haj Abbes, article 2
  • Vincent Moraillon, article 3
Bât 31/205
16h00-18h00
5 (jeudi 04/03/09)
Y. Thierry-Mieg :Model-checking symbolique de systèmes, une approche compositionelle avec les Set Decision Diagrams Bât 31/205
13h30-15h30
Exposés :
  • José Echeveste, article 14
  • Jean-Pierre Lozi, article 4
  • Pierre gaulard, article 13
  • Quentin Bourgerie, article 7
Bât 31/205
16h00-18h00
6 (jeudi 11/03/09)
S. Baarir :Vérification à l’aide de SAT-solver, application aux conséquences du rayonnement cosmique dans les circuits Bât 31/205
13h30-15h30
Exposés :
  • David Averbouch, article 11
  • Mathieu Barbin, article 5
  • Fabrice Troilo, article 16
Bât 31/205
16h00-18h00
7 (jeudi 18/03/09)
Exposés :
  • Samuel Kvaalen, article 8
  • Senim Elhouar, article 10
  • Ismaila Diallo, article 9
Bât 31/205
13h30-15h30

Les articles à présenter

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

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 titre 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)

ATTENTION : le respect de ces contraintes est très important et vos exposés seront interrompus au bout de 20 minutes exactement comme cela se fait dans certaines conférences.

Vous devez choisir un article à présenter avant le 07 Février 2010.

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.

Les articles

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. Generic Model Refactorings (Rachid Habel),
  2. A Model-driven Measurement Approach (Medhi Ben Haj Abbes),
  3. MontiCore : Modular Development of Textual Domain Specific Languages (Vincent Moraillon),
  4. Using Hytech to synthetize Control Parameters for a Steam Boiler (Jean-Pierre Lozi),
  5. Modeling and analysis of transportation networks using Batches Petri nets with controllable batch speed : a case study (Mathieu Barbin),
  6. Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics,
  7. Computing Simulations on Finite and Infinite Graphs (sections 1 et 2 uniquement) (Quentin Bourgerie),
  8. The Inevitable Pain of Software Development : Why There Is No Silver Bullet (Samuel Kvaalen),
  9. Model Checking Programs (Ismaila Diallo),
  10. Test Input Generation with Java PathFinder (Senim Elhouar),
  11. Algorithmic Verification of Linear Temporal Logic Specifications (David Averbouch),
  12. Symbolic Systems, Explicit Properties : on Hybrid Approaches for LTL Symbolic Model Checking,
  13. Larger Automata and Less Work for LTL Model Checking (Pierre Gaulard),
  14. Modal Mu-Calculi (José Echeveste),
  15. Runtime Monitoring of Web Service Conversations (Jonathan Michaux)),
  16. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (Fabrice Troilo),

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é.