Click here for English.

PRESENTATION DU SUJET

Le problème présenté dans cette étude de cas est issu de l'exemple proposé à l'école d'été CEA, EDF, INRIA de 1995.

Ce exemple a été étudié en détail par Fernando MEJIA (GEC ALSTHOM Transport), Ranan FRAER (INRIA) et Denis SABATIER (STERIA) qui ont développé une première version du logiciel associé au Distributeur Automatique de Billets.

Pour une meilleure diffusion du B et de l'Atelier B, STERIA a tenu à reprendre cet exemple et le mettre à disposition sur INTERNET. Cécile DUMAS (2° année ENSIMAG) et Corinne TOGNETTY (STERIA) se sont attelées à cette tâche cet été avec l'Atelier B version 2.9.

Le DAB est un exemple didactique suffisamment simple pour comprendre facilement le déroulement d'un développement formel.

Quatre mois ont été nécessaire pour réaliser le logiciel (c'est à dire pour obtenir un modèle B prouvé à 100% et une Interface Homme Machine complète) et rédiger toute la documentation de projet ainsi que ces pages explicatives.

Vous trouverez, dans ces pages, tous les éléments nécessaires à la compréhension du logiciel obtenu :

• présentation du cycle de développement adopté,
• documentation de projet,
• matrices de traçabilité justifiant la validité de chaque étape de développement,
• méthodologie appliquée pour la construction du modèle B.

Les codes informatiques C et ADA, inclus dans la fourniture, sont produits automatiquement grâce aux traducteurs de l'Atelier B.

Un exécutable doté d'une Interface Homme Machine est proposé dans la fourniture pour plusieurs types de plateforme (HP, SUN/OS, SUN/SOLARIS, PC/LINUX). Des scenarii d'utilisation du DAB sont fournis, ceux-ci couvrent l'ensemble des exigences du Cahier des Charges.

La fourniture comporte également l'ensemble des documents produits par l'Atelier B (dictionnaire de projet, graphe des dépendances, état du projet, documentation B); la fourniture est utilisable avec ou sans l'Atelier B.

Le modele B obtenu est perfectible, en particulier l'automate décrit dans le composant "Contrôleur" peut être formalisé differemment ; rappelons cependant que le logiciel obtenu repond aux exigences décrites dans le Cahier des Charges.

Click here for English.

INFORMATIONS METHODOLOGIQUES

La méthodologie employée sur ce projet est largement décrite dans les documents REAIMS , rédigés conjointement par les sociétés GEC-ALSTHOM Transport, STERIA et ADELARD (UK), dans le cadre d'un projet ESPRIT .

Ces guides méthodologiques sont accessibles aux adresses suivantes :