ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 34/5 - 2015  - pp.495-521  - doi:10.3166/tsi.34.495-521
TITRE
Formalismes basés sur les rôles pour la modélisation et la validation des règles d’exploitation ferroviaires

TITLE
Role-based formalisms for railway operating rules modeling and validation

RÉSUMÉ
Le système européen de gestion du trafic ferroviaire (ERTMS) est un standard de contrôle/commande et de signalisation ferroviaire mettant en œuvre des règles européennes d’exploitation ferroviaires. Ce standard vise à harmoniser la signalisation et à assurer l’interopérabilité en Europe au moyen de documents standard de spécifications. La question principale que nous abordons est de pouvoir modéliser ces règles et de mener rigoureusement des activités de vérification et de validation formelles (V&V) afin de faire face à la complexité et à la criticité de ces systèmes. En effet, ces spécifications contiennent des aspects de sécurité basés sur des autorisations accordées aux rôles pour effectuer des actions. Notre approche consiste à modéliser des scénarios avec des formalismes basés sur les rôles, notamment RBAC et Or-Bac et de les transformer en spécifications formelles B afin de valider les propriétés de sécurité ferroviaire.


ABSTRACT
European Rail Traffic Management System (ERTMS) is the standard control/command and signaling system implementing European railway operating rules. This standard aims to harmonize signaling and ensure interoperability in Europe using standard specification documents. The main issue is to model these rules and conduct formal verification and validation activities (V&V) to tackle the complexity and criticality of these systems. Indeed, these specifications contain safety aspects based on permissions granted to roles to perform actions. Our approach is to model scenarios with role based formalisms, especially RBAC and Or-Bac and to transform them into B formal specifications in order to validate railway safety properties.


AUTEUR(S)
Rahma BEN AYED, Simon COLLART-DUTILLEUL, Philippe BON, Yves LEDRU, Akram IDANI

Reçu le 6 février 2015.    Accepté le 15 juillet 2015.

MOTS-CLÉS
modélisation, sécurité ferroviaire, UML, RBAC, Or-Bac, méthode formelle B.

KEYWORDS
modeling, railway safety, UML, RBAC, Or-Bac, B formal method.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier