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."
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01166630
Contributor : Alexandre Voisin <>
Submitted on : Tuesday, June 23, 2015 - 12:14:19 PM
Last modification on : Thursday, August 30, 2018 - 11:51:46 AM
Document(s) archivé(s) le : Tuesday, September 15, 2015 - 9:15:42 PM

File

paper_177.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01166630, version 1

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⟩

Share

Metrics

Record views

105

Files downloads

1329