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

Les journées FAC'2006 ont eu lieu les 23 et 24 mars 2006, auditorium de l’IRIT.

Programme des journées :

Jeudi 23 mars 2006

  • 10h15 Accueil

  • 10h30-11h30 Conférencier invité
    Langages Synchrones - Applications, Fondements et Evolutions.
    Charles André. Université de Nice-Sophia Antipolis/CNRS

  • Session 1 : Modèles

    • 11h30-12h00 A propos du problème de la composition des services électroniques. Philippe Balbiani, Fahima Cheikh IRIT

    • 12h00-12h30 A state/event temporal deontic logic. Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali IRIT

  • Session 2 : Validation

    • 14h-14h30 Recherche d’allocations sûres pour des applications avioniques. Laurent Sagaspe, Gérard Bel, Pierre Bieber, Fréderic Boniol, Charles Castel ONERA-CERT

    • 14h30-15h00 Vérification automatique de propriétés Bossa. Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller IRIT, DIKU, EMN

  • 15h00-15h30 Pause

    • 15h30-16h00 Vers une Méthodologie de Validation Formelle des Interfaces Homme-Machine (IHM). Alexandre Cortier, Yamine Aït-Ameur, Bruno d’Ausbourg ONERA-CERT, ENSMA

    • 16h00-16h30 Vers une vérification d’un procédé de développement modélisé en SPEM. Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette, Angel Garcia IRIT, ISYCOM, Tectosages

Vendredi 24 mars 2006

  • Session 3 : Sémantique

    • 9h30-10h00 From UML 1.x to UML 2.0 semantics for sequence diagrams. Omar Tahir, Christophe Sibertin-Blanc IRIT-UT1

    • 10h00-10h30 A Buchi theorem for finitely generated pomsets without autoconcurrency. Jean Fanchon LAAS

    • 10h30-11h00 Minimalité des Scénarios dans le Cadre des Réseaux de Petri. Nabil Sadou, Hamid Demmou, Robert Valette LAAS

  • 11h-11h20 Pause

  • Session 4 : Temps Réel

    • 11h20-11h50 Extensions de RT-LOTOS pour la spécification et vérification de systèmes préemptifs. Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat, Marc Boyer LAAS-CNRS, ENSICA, IRIT

    • 11h50-12h20 Un graphe de classes pour les réseaux de Petri p-temporels. Janette Cardoso, Robert Valette IRIT, LAAS

    • 12h20-12h50 Incremental validation of real-time systems. David Doose, Zoubir Mammeri IRIT