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.

Attention :pour les séances à l’ENST, il vaut mieux vous munir d’une pièce d’identité (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 :

• donner une vision d’ensemble des travaux présentés en dégageant clairement les objectifs et les résultats,
• replacer le travail présenté par rapport à l’état de l’art (pour cela, il faudra butiner des références supplémentaires)
• identifier les avantages et inconvénients des approches présentées.

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 17 Février 2005.

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. Test Generation for Intelligent Networks Using Model Checking,
2. Pi calculus versus Petri nets : Let us eat “humble pie” rather than further inflate the “Pi hype”,
3. Modeling Software Architectures in the Unified Modeling Language,
4. The D-Loop Pattern A technique for optimizing loops containing conditional branches,
5. A Symbolic Symbolic State Space Representation,
6. Automatic Symmetry Detection in Well-Formed Nets,
7. A comparison of three Model Checkers Applied to a Distributed Database Problem,
8. Model-Checking CSP,
9. On liveness and boundedness of asymmetric choice nets,
10. Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs,
11. Context-Sensitive Synchronization-Sensitive Analysis Is Undecidable,
12. Transactions for Software Model Checking,
13. Truly On-The-Fly LTL Model Checking,
14. Tool-Supported Use of UML for Constructing B Specifications,
15. Integrating protocol aspects with software components to address dependability concerns,
16. Theme : An Approach for Aspect-Oriented Analysis and Design,
17. Comparison of Software Product Line Architecture Design Methods : COPA, FAST, FORM, KobrA and QADA,
18. Organization based access control,
19. Graphical Design of Reactive Systems,
20. Interface Automata,
21. Verifying DAML+OIL and Beyond in Z/EVES,
22. Proposed NIST Standard for Role-Based Access Control.
23. Programming Computers Embedded in the PhysicalWorld.
24. Spatial Programming using Smart Messages : Design and Implementation.

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)