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 12/02/09)
F. Kordon : Introduction au groupe de recherche Bât 31/205
13h30-15h30
R. Bendraou :IDM Bât 31/205
16h00-18h00
2 (jeudi 19/02/09)
C. Dutheillet : Introduction à la vérification stochastique Bât 31/205
13h30-15h30
C. Dutheillet : Introduction à la vérification stochastique Bât 31/205
16h00-18h00
3 (jeudi 26/02/09)
L. Hillah : Utilisation des méthodes formelles pour L’autoroute automatique Bât 31/205
13h30-15h30
  • Bastien BOUZERAU, papier 5
  • Youcef MERZOUG, papier 8
  • Anthony HOCQUET, papier 7
  • Florent WEBER, papier 13
Bât 31/205
16h00-18h00
4 (jeudi 05/03/09)
J-B. Voron : méthodes formelles et Intrusion Detection Systems (IDS) Bât 31/205
13h30-15h30
  • Said-Eddine BENSALEM, papier 11
  • Hamid HAMMA, papier 15
  • Henri DEBRAT, papier 10
  • Sandrine GRYSON, papier 6
Bât 31/205
16h00-18h00
5 (jeudi 12/03/09)
Y. Thierry-Mieg : Représentation compacte d’espaces d’états Bât 31/205
13h30-15h30
  • Abdeldjalil HABOUCHE, papier 14
  • Frédéric PASSANITI, papier 9
  • Leonardo BAUTISTA GOMEZ, papier 1
  • Clément DEMOULINS, papier 4
Bât 31/205
16h00-18h00
6 (jeudi 19/03/09)
D. Poitrenaud ou E. Encrenaz : injection de fautes aléatoire dans le model checking (vérification de systèmes soumis à des bombardements cosmiques) Bât 31/205
13h30-15h30
  • Guillaume CHABAILLE, papier 2
  • Stephane LANARRE, papier 3
  • hamid AMEZIANI, papier 12
  • Hossem BELHASSINE, papier 16
Bât 31/205
16h00-18h00

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 09 Février 2009.

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. Computing Accumulated Delays in Real-Time Systems,
  2. Using HYTECH to stnthetize Control Parameters for a Steam Boiler,
  3. CirCUs : A Hybrid Satisfiability Solver,
  4. A Practical Approach to Partial Functions in CVC Lite,
  5. Collision Avoidance in Intelligent Transport Systems : towards an Application of Control Theory,
  6. Model engineering on Petri nets for ISO/IEC 15909-2 : API Framework for Petri Net types metamodels,
  7. The Inevitable Pain of Software Development : Why There Is No Silver Bullet,
  8. From UML Sequence Diagrams and Statecharts to analysable Petri Net models,
  9. Modelling Crutial Information Swithces with Well-formed Nets,
  10. Environment-Sensitive Intrusion Detection,
  11. Adaptive Model Generation for Intrusion Detection Systems,
  12. Summarizing Procedures in Concurrent Programs,
  13. Formal Methods Application : An Empirical Tale of Software Development,
  14. Model-Driven Analysis and Synthesis of Textual Concrete Syntax,
  15. Weaving Executability into Object-Oriented Meta-Languages,
  16. User Guidance for Creating Precise and Accessible Property Specifications,

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