Journées FAC'2002
26 et 27 mars 2002
LAAS-CNRS - Toulouse

Formalisation des Activités Concurrentes Dixième Edition

Organisées par le groupe SVF / FéR IA : Spécification, Vérification Formelles.

---

Appel à communications / Organisation

     

Programme des Journées

Mardi 26 Mars 2002

09h45-10H      Accueil des participants - Café

10H-11H      Session I : Conférencier Invité

      Francois Terrier       CEA-LIST

               UML, de la programmation à la modélisation :
               vers le développement basé sur les modèles des systèmes embarqués

11H-12H20      Session II : Méthodologie

     · Rémi Delmas - ONERA/DTIM

               Une approche méthodologique orientée composant pour la spécification
               des systèmes avioniques: application à Lustre

     · C. Sibertin-Blanc - IRIT/Univ. Toulouse I

               Un modèle en couches pour l'ingénierie des protocoles d'interaction

14H30-15H50      Session III : Etudes de Cas

     · G. Lussier & H. Waeselynck - LAAS/CNRS

               Analyse d'une preuve informelle pour guider le test

     · F. Boniol & F. Carcenac - ONERA/DTIM

               Une étude de cas pour la vérification formelle de propriétés temporelles

Pause Café

16H20-17H40      Session IV : Temps Réel (I)

     · S. Abdelattif, G. Juanole - LAAS/CNRS

               Cadre basé sur les réseaux de Petri pour l'analyse de la qualité de service

     · Nathalie Chetcuti-Sperandio - IRIT

               Déduction Automatique à bases de tableaux en calcul des durées

Mercredi 27 Mars 2002

9H30-10H30      Session V : Conférencier Invité

      Hubert Garavel       INRIA/VASY

               Panorama des outils CADP

Pause Café

11H-12H20      Session VI : Temps Réel (II)

     · J. Ermont & F. Boniol - ONERA/DTIM

               Une algèbre de processus avec suspension ...

     · N. Rivière, B. Pradin-Chezalviel, R. Valette - LAAS/CNRS

               Propagation de contraintes et ordonnancement de documents multimedias

14H30-16H30      Session VII : Concurrence

     · P.O Ribet, F. Vernadat, B. Berthomieu - LAAS/CNRS

               Graphe de Pas Persistant

     · F Dagnat & M Pantel - IRIT/ENSEEIHT

               Vers un Erlang Typé

     · M. Filali, P. Mauran, G. Padiou, P. Quéinnec - IRIT

               Rejeu d'un calcul d'agents mobiles

Café et Discussion