Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires.

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. [ABSTRACT FROM AUTHOR]