A UML APPROACH FOR MODELING AND VERIFYING OF RAILWAY SIGNALLING SYSTEMS SPECIFICATIONS

Abstract : "This paper proposes a UML based approach for the modeling and the verification of Railway signalling Systems specifications. Particularly, we consider the European Rail Traffic Management System (ERTMS) and the European Train Control System (ETCS) specifications. First, the architecture of ERTMS/ETCS is described. The validation and verification procedure is also introduced. Then, class, sequences and use case diagrams related to the technical specifications of ERTMS/ETCS are presented. Finally, a case study from the technical specification of ERTMS/ETCS which represents the operation of "Establishing a communication session" between ERTMS/ETCS On-board equipment and RBC (Radio Block Center) to initiate a communication session is proposed."
Type de document :
Communication dans un congrès
MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01166630
Contributeur : Alexandre Voisin <>
Soumis le : mardi 23 juin 2015 - 12:14:19
Dernière modification le : mardi 23 juin 2015 - 14:16:31
Document(s) archivé(s) le : mardi 15 septembre 2015 - 21:15:42

Fichier

paper_177.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01166630, version 1

Collections

Citation

Zaibi Kais, Mohamed Sallak, Walter Schon, Subeer Rangra, Roberto Sacile. A UML APPROACH FOR MODELING AND VERIFYING OF RAILWAY SIGNALLING SYSTEMS SPECIFICATIONS . MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France. 〈hal-01166630〉

Partager

Métriques

Consultations de la notice

57

Téléchargements de fichiers

780