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




A UML APPROACH FOR MODELING AND VERIFYING OF RAILWAY SIGNALLING SYSTEMS SPECIFICATIONS - Download this document for free, or read online. Document in PDF available to download.

1 Compiegne University of Technology 2 University of Genova

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.-

Keywords : Railway signalling systems ERTMS-ETCS UML Verification





Author: Zaibi Kais - Mohamed Sallak - Walter Schon - Subeer Rangra - Roberto Sacile -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents