Les journées FAC ont été organisées par le groupe SVF / FéRIA : Spécification, Vérification Formelles.

Les journées FAC'2002 ont eu lieu les 26 et 27 mars 2002, salle de Conférence du LAAS.

Programme des journées :

Mardi 26 mars 2002

  • 09h45-10h00 Accueil des participants - Café

  • 10h00-11h00 Conférencier invité
    François Terrier (LIST-CEA)
    UML, de la programmation à la modélisation : vers le développement basé sur les modèles des systèmes embarqués.

  • 11h00-12h20 Session 1 : Méthodologie

    • Rémi Delmas (DTIM-ONERA) Une approche méthodologique orientée composant pour la spécification des systèmes avioniques : application à Lustre.

    • Christophe Sibertin-Blanc (IRIT - Univ. Toulouse I) Un modèle en couches pour l’ingénierie des protocoles d’interaction.

  • 12h20-14h30 Repas

  • 14h30-15h50 Session 2 : Etudes de cas

    • Guillaume Lussier, Hélène Waeselynck (LAAS-CNRS) Analyse d’une preuve informelle pour guider le test.

    • Frédéric Boniol, François Carcenac (DTIM-ONERA) Une étude de cas pour la vérification formelle de propriétés temporelles.

  • 15h50-16h20 Pause Café

  • 16h20-17h40 Session 3 : Temps Réel I

    • Slim Abdelattif, Guy Juanole (LAAS-CNRS) Cadre basé sur les réseaux de Petri pour l’analyse de la qualité de service.

    • Nathalie Chetcuti-Sperandio (IRIT-UPS) Déduction automatique à bases de tableaux en calcul des durées.

Mercredi 27 mars 2002

  • 09h30-10h30 Conférencier invité
    Hubert Garavel (INRIA-VASY)
    Panorama des outils CADP.

  • 10h30-11h00 Pause Café

  • 11h00-12h20 Session 4 : Temps Réel II

    • Jérôme Ermont, Frédéric Boniol (DTIM-ONERA) Une algèbre de processus avec suspension …

    • Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette (LAAS-CNRS) Propagation de contraintes et ordonnancement de documents multimedias.

  • 12h20-14h30 Repas

  • 14h30-16h30 Session 5 : Concurrence

    • Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu (LAAS-CNRS) Graphe de pas persistant.

    • Fabien Dagnat, Marc Pantel (IRIT-ENSEEIHT) Vers un Erlang Typé.

    • Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec (IRIT-UPS, IRIT-ENSEEIHT) -Rejeu d’un calcul d’agents mobiles._

  • 16h30- … Café et Discussion