La journée FAC'94 a eu lieu le vendredi 10 juin 1994, salle du 1er étage, bâtiment hexagonal du CERT-ONERA.

Programme de la journée :

  • 9h30-10h30 Conférencier invité:
    Ivan Lavallée, Professeur à l’Université de Paris VII
    Construire des algorithmes distribués à travers des schémas récursifs.

  • 10h30-11h00 Pause

  • 11h00-12h30 Session 1 : Méthodes

    • Abdelmalek Benzékri, Jean-Michel Bruel, Yves Raynaud (IRIT-UPS)
      Développement formel d’applications réparties.

    • Guy Durrieu, Michel Lemaître (DERI-CERT)
      Conception de systèmes matériels par transformation de descriptions purement fonctionnelles synchrones.

    • Djamel Saidouni (LAAS-CNRS)
      Raffinement syntaxique d’actions dans LOTOS.

  • 12h30-14h00 Repas

  • 14h00-15h30 Session 2 : Environnement-Modèles

    • Didier Plaindoux, Frédéric Cabestre, Nathalie Signés, Jean-Paul Bodeveix, Christian Percebois (IRIT-UPS) Objets et parallélisme: l’approche SLOOP.

    • Martin Adelantado, Fréderic Boniol, Simon de Givry, Bernard Lécussan, R. Porche (DERI-CERT) Saturne: un modèle de description de systèmes multi-agents temps-réel et intelligents.

    • François. Vernadat (LAAS-CNRS) Modélisation de systèmes d’agents mobiles.

  • 15h30-16h00 Pause

  • 16h00-17h00 Session 3 : Vérification

    • Bruno d’Ausbourg (DERI-CERT) Modélisation et vérification en Lustre d’un protocole de contrôle d’accès à un médium de communication.

    • Jean-Paul Bahsoun, Corinne Servières (IRIT-UPS) Formalisation des activités concurrentes - Concepts et Systèmes de Preuves.