L’atelier AFADL'97 a été organisé par : Le groupe ADER : Développement de Spécifications et de Programmes du GDR de programmation - Pôle preuves et spécifications algébriques et le groupe FAC : Formalisation des Activités Concurrentes (Toulouse).

L’atelier AFADL'97 s’est tenu les 28 et 29 mai 1997 dans l’auditorium du CERT-ONERA.

Programme de la journée :

Mercredi 28 mai 1997

  • 09h15-09h45 Accueil des participants

  • 09h45-10h00 Allocution d’ouverture de l’atelier AFADL René Jacquart (directeur du département DERI-CERT)

  • 10h00-11h00 Conférencier invité Jean-Raymond Abrial (Consultant indépendant) Construction d’automatismes industriels avec B.

  • 11h00-11h30 Pause

  • 11h30-12h30 Session 1 : Conception de systèmes

    • 11h30-12h00 Brunot Mermet, Dominique Méry (CRIN) Détection d’interactions de services : une approche avec B.

    • 12h00-12h30 Frédéric Boniol (DERI-CERT) Discussion autour des approches synchrones pour la conception de systèmes avioniques.

  • 12h30-14h00 Repas

  • 14h00-15h30 Session 2 : Intégration d’approches

    • 14h00-14h30 José-Celso Freire Junior, Jean-Pierre Giraudin (IMAG) Atelier MODSI : un outil de méta-modélisation et de multi-modélisation.

    • 14h30-15h00 Claude Jard, Jean-Marc Jézéquel (IRISA) Vers l’utilisation d’outils de validation dans un processus de conception objet de protocoles.

    • 15h00-15h30 Pierre Azéma, Jean-Paul Bahsoun, Pierre Michel, Virginie Wiels (LAAS, IRIT, CERT) Interaction de formalismes logiques et algébriques. Une étude de cas.

  • 15h30-16h00 Pause

  • 16h00-17h00 Session 3 : Processus de développement

    • 16h00-16h30 Thomas Lambolais, Nicole Lévy, Jeanine Souquières (CRIN) Assistance au développement de spécifications de protocoles de communication.

    • 16h30-17h00 Samira Sadaoui, Jeanine Souquières (CRIN) Quelques approches de la réutilisation dans le modèle Proplane.

  • 17h00-18h00 Table ronde «Evolution du champ d’application des méthodes formelles.»
    Jean-Raymond Abrial, Didier Bert, René Jacquart, Nicole Levy, Michel Sintzoff.

Jeudi 29 mai 1997

  • 09h00-10h00 Conférencier invité
    Michel Sintzoff (Université de Louvain-La-Neuve)
    Abstraction et composition en conception de logiciel.

  • 10h00-10h30 Pause

  • 10h30-12h00 Session 4 : Génération de Tests

    • 10h30-11h00 Lionel Van Aertryck, Marc Benveniste, Daniel Le Métayer (Alliance Qualité logiciel - IRISA) CASTING : une méthode formelle pour la génération de tests.

    • 11h00-11h30 Agnès Arnould, Pascale Le Gall, Bruno Marre (LRI, LaMI) Génération automatique de tests à partir de spécifications de structures de données bornées.

    • 11h30-12h00 Ioannis Parissis (IMAG) Vers une approche mixte de validation de logiciels synchrones : preuve, test, animation.

  • 12h00-14h00 Repas

  • 14h00-15h00 Session 5 : Transformations et Preuves - I -

    • 14h00-14h30 Patrick Bellot (ENST) Synthèse de programmes impératifs sémantiquement décrits.

    • 14h30-15h00 Francis Alexandre, Khaled Bsaies (CRIN) Une méthode de construction de programmes logiques basée sur un démonstrateur.

  • 15h00-15h30 Pause

  • 15h30-16h30 Session 6 : Transformations et Preuves - II -

    • 15h30-16h00 Jean-Paul Bodeveix, Mamoun Filali (IRIT-UPS) Validation de développements.

    • 16h00-16h30 Xavier Thirioux, Gérard Padiou (IRIT-ENSEEIHT) Etude comparative de deux techniques de preuves de programmes Unity.