Les journées FAC'99 ont été organisées par le groupe de travail FAC (Formalisation des Activités Concurrentes) formé de chercheurs des trois laboratoires toulousains : IRIT-CNRS-UPS-INPT, LAAS-CNRS, DTIM-CERT-ONERA.

Les journées FAC'99 ont eu lieu les 25 et 26 février 1999, salle de Conférence du LAAS.

Programme des journées :

Jeudi 25 février 1999

  • 9h00-10h00 Conférencier invité Guy Juanole (LAAS-CNRS) Sur le modèle réseaux de Petri temporisés stochastiques et le concept d’automate quotient quantifié.

  • 10h00-10h30 Pause

  • 10h30-12h00 Session 1 : Preuve et Vérification

    • Pierre Bieber (DTIM-ONERA)
      Validation modulaire d’une architecture de sécurité répartie.

    • Jean-Paul Bodeveix, Mamoun Filali (IRIT-UPS)
      Preuve automatique par abstraction de problèmes à espace d’états infini ou paramétrés.

  • 12h00-14h00 Repas

  • 14h00-15h00 Conférencier invité
    Olivier Roux (IRCyN, Ecole Centrale de Nantes)
    Temporiser pour réduire: une contribution à la résolution du problème de l’explosion combinatoire.

  • 15h00-17h30 Session 2 : Test et Scénarios

    • Pascale Thévenod-Fosse, Hélène Waeselinck, (LAAS-CNRS)
      Test statistique d’objets concurrents réutilisables : application à une cellule de production.

    • Marielle Doche, Christel Seguin, Virginie Wiels (DTIM-ONERA)
      Approche formelle du test fonctionnel de systèmes modulaires.

    • Brigitte Pradin-Chézalviel, Robert Valette, Luis Allan Künzle (LAAS-CNRS, CEFET-PR)
      Formalisation de scénarios, réseaux de Petri et logique linéaire.

Vendredi 26 février 1999

  • 09h00-10h00 Conférencier invité
    Zoubir Mammeri (IRIT-UPS)
    Problèmes de spécification et de garantie des contraintes temporelles dans les systèmes temps réel.

  • 10h00-10h30 Pause

  • 10h30-12h30 Session 3 : Méthodes et Outils

    • Rami El-Baïda, Hugues-Olivier Yar (IRIT-UPS)
      Procédure de décision pour la logique temporelle des objets concurrents.

    • Pierre Gradit, François Vernadat (LAAS-CNRS)
      Réecriture et intégration de la topologie dans les réseaux de Petri.

    • Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé (IRIT-ENSEEIHT)
      Intégration des typages fonctionnel et concurrent d’un langage fonctionnel d’acteurs.