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




A UML APPROACH FOR MODELING AND VERIFYING OF RAILWAY SIGNALLING SYSTEMS SPECIFICATIONS - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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



DESCARGAR PDF




Documentos relacionados