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.