ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

Recherche Transports Sécurité

0761-8980
Changement d'éditeur au 1er janvier 2011
 

 ARTICLE VOL 24/95 - 2007  - pp.147-173  - doi:10.3166/rts.95.147-173
TITRE
B-RAIL : d'UML à la méthode B pour modéliser un passage à niveau

TITLE
B-RAIL: from UML to the B method in order to model a level crossing

RÉSUMÉ
La modélisation des systèmes ferroviaires complexes reste difficile, surtout si ceux-ci assurent des fonctions liées à la sécurité. Parmi les différents systèmes ferroviaires, nous avons choisi de nous intéresser plus particulièrement au passage à niveau. Dans le cadre de cet article, nous proposons une méthodologie de modélisation fondée sur l'utilisation couplée de la notation UML et du langage B. La notation UML permet de décrire le système dans son environnement. L'impact des défaillances est formalisé sous forme de cas d'utilisation et de diagrammes de séquence. L'architecture du système est décrite sous forme d'un diagramme de classe et, pour chaque classe, on caractérise son comportement par un diagramme d'états/transitions. L'ensemble du travail présenté est axé sur la modélisation des exigences, plus particulièrement les exigences de sécurité. Nous proposons ensuite un processus de traduction du modèle UML en langage B. Il se focalise pour l'instant sur les diagrammes d'états/transitions, mais nous sommes en train d'intégrer à notre processus la traduction de contraintes OCL en langage B.

ABSTRACT
The modelling of complex railway systems, particularly those that perform safety-related functions, remains a difficult problem. This paper pays particular attention to level crossings and proposes a modelling methodology based on the combined use of the UML notation and the B language. The UML notation is used to describe the system in its environment. The impact of failures is formalized by use cases and sequence diagrams. The system architecture is described by means of a class diagram, the behaviour of each class being characterized by a state and transition diagram. The research presented here focuses on the modelling of requirements, particularly safety requirements. The process of translating the UML model into the B language is at present centred on the state and transition diagrams, but the translation of OCL constraints into the B language is currently being added.


AUTEUR(S)
Jean-Louis BOULANGER, Philippe BON

Reçu le 3 juillet 2006.    Accepté le 12 juin 2007.

MOTS-CLÉS
Méthode B ; Développement formel ; Passage à niveau ; Spécification ; Notation UML ; Vérification ; Système critique.

KEYWORDS
B Method; Formal development; Railway Crossing; Specification; UML notation; Verification; Safety-critical system.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (500 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier