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

Les journées FAC'2003 ont eu lieu les 12 et 13 mars 2003, auditorium de l’IRIT.

Programme des journées :

Mercredi 12 mars 2003

  • 9h15 Ouverture des journées Patrick Sallé (Directeur de FéRIA).

  • 9h30-10h30 Conférencier invité
    Serge Haddad (Lamsade - Université Paris-Dauphine)
    Algèbre temporisée pour la conception, l’exécution et l’analyse de services Web.

  • 10h30-11h00 Pause

  • 11h00-12h30 Session 1 : Causalité

    • Omar Tahir, Janette Cardoso, Christophe Sibertin-Blanc (IRIT-UT1) Une nouvelle approche d’intégration de diagrammes de séquence UML basée sur les RdP de haut niveau.

    • Romulus Grigoras, Philippe Mauran, Gérard Padiou, Philippe Quéinnec (IRIT-ENSEEIHT) Ordonnancement causal de flux répartis multimédias.

    • Jean Fanchon (LAAS-CNRS) Langages d’ordres partiels hiérarchiques: régularité et reconnaissabilité.

  • 12h30-14h00 Repas

  • 14h00-15h30 Session 2 : Vérification

    • Jean Fanchon, Nicolas Rivière, Brigitte Pradin-Chézalviel, Robert Valette (LAAS-CNRS) Linear logic proofs and processes in Petri nets.

    • Jérôme Ermont, Frédéric Boniol (DCSD/DTIM-ONERA) La vérification de systèmes temps-réel soumis à la préemption de processus est indécidable.

    • Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu (LAAS-CNRS) Graphe de pas couvrant préservant LTL-X.

  • 15h30-16h00 Pause

  • 16h00-17h30 Session 3 : Systèmes embarqués

    • Alain Fernandez, Christel Seguin, Paul Bourret (DTIM-ONERA) Optimisation du choix d’observable dans un logiciel embarqué.

    • Christophe Kehren, Christel Seguin (DTIM-ONERA) Evaluation qualitative de systèmes physiques pour la sûreté de fonctionnement.

    • Bernard Berthomieu, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali, Pierre Michel, Pierre-Olivier Ribet, François Vernadat (SVF-FéRIA) Développement de logiciels dans les systèmes temps-réel pour l’avionique.

Jeudi 13 mars 2003

  • 09h30-10h30 Conférencier invité
    Bruno Marre (CEA Saclay, DRT/DTSI/SLA)
    GATeL: Génération automatique de séquences de test à partir de descriptions LUSTRE.

  • 10h30-11h00 Pause

  • 11h00-12h30 Session 4 : Formalisation

    • Yamine Ait-Ameur, Rémi Delmas, Virginie Wiels (DTIM-ONERA) Formalisation catégorique d’un calcul de composants dédié au domaine de l’avionique.

    • Matthias Colin, Marc Pantel, Xavier Thirioux (IRIT-ENSEEIHT) Analyse statique de la communication dans un langage d’Acteur.

    • David Chemouil, Sergei Soloviev (IRIT-UPS) Isomorphismes extensionnels de types inductifs dans le lambda-calcul simplement typé.