Les journées FAC'96 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, DERI-CERT-ONERA.

Les journées FAC'96 ont eu lieu les 7 et 8 février 1996, auditorium de l’IRIT.

Programme de la journée :

Mercredi 7 février 1996

  • 9h00-10h30 Session 1 : Systèmes temps réel critiques

    • Laurent Lacayrelle, Abdelmalek Benzekri, Jean-Michel Bruel (IRIT-UPS) Modèles Z pour une architecture de communication temps réel.

    • Patricia Giron (IRIT-UPS) Développement de systèmes critiques: une approche par systèmes de transitions étiquetés.

    • Martin Adelantado, Frédéric Boniol, Augusto Burgueño, Simon de Givry, Florence Pagani (DERI-CERT) Un modèle de systèmes hybrides pour le contrôle de processus temps réel interrogeables.

  • 10h30-11h00 Pause

  • 11h00-12h00 Conférencier invité Dominique Mery (CRIN-Université Nancy 1) De la transformation de prédicats à la transformation de programmes.

  • 12h00-14h00 Repas

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

    • François Michel, Pierre Azéma (LAAS-CNRS) Agents permutables et algèbres de processus.

    • François Vernadat (LAAS-CNRS) Graphes de pas couvrant.

  • 15h00-15h30 Pause

  • 15h30-16h30 Session 3 : Vérification II

    • Jean-Paul Bodeveix, Mamoun Filali (IRIT-UPS) Spécification et raffinement de modèles de cohérence mémoire.

    • Philippe Ladagnous (IRIT-UPS) Vers la vérification automatique de programmes UNITY.

Jeudi 8 février 1996

  • 09h00-10h00 Conférencier invité Philippe Schnoebelen (IMAG) Méthodes de traductions pour le model-checking de la logique temporelle avec passé.

  • 10h00-10h30 Pause

  • 10h30-12h00 Session 4 : Modèles

    • Pierre Michel, Virginie Wiels (DERI-CERT) Un calcul de modules pour combiner les développements ascendants et descendants.

    • Jean-Louis Colaço, Marc Pantel, Patrick Sallé, Alain Senteni (IRIT-ENSEEIHT, Université de Montréal) Un calcul d’acteurs primitifs (CAP).

    • Djamel Eddine Saidouni, Jean-Pierre Courtiat (LAAS-CNRS)
      Sémantique de maximalité.