Modelado del protocolo de seguridad Euroradio

Abstract

[ES]Este proyecto tiene por objetivo modelar el funcionamiento de un protocolo de seguridad llamado EURORADIO. Este protocolo forma parte de la pila de protocolos del est andard actual del sistema de se~nalizaci on europeo ERTMS, una especi caci on creada para controlar de forma remota el funcionamiento del tren. Este sistema de se~nalizaci on abarca, desde la limitaci on de la velocidad, hasta el establecimiento de puntos de parada obligatorios a lo largo del recorrido. M as all a del mero dise~no del modelado, como objetivo del proyecto se busca incluir dicho modelado en un entorno de simulaci on ya existente (Railway Control Simulation Platform), basado en el software de Riverbed R

Modeler Technology, para evaluar el rendimiento del protocolo. El objetivo nal, es la construcci on de una herramienta software que facilite y permita realizar estudios de una potencial migraci on de ERTMS hacia el mundo IP as como permita realizar an alisis de seguridad bajo este nuevo escenario. Esta herramienta de simulaci on reducir a el n umero de pruebas en campo necesarias. En este sentido, es de vital importancia incluir el modelo de EURORADIO dentro de la pila de protocolos previamente mencionada.

[EN]The aim of this project is to model the functionality of the security protocol known as EURORADIO. This protocol is part of the stack of the current European standard signalling ERTMS system, a speci cation created to remotely control train operation. This control goes from getting under the speed of the train up to establishing points of the track at which the train must stop. Furthermore, apart from just designing the model, the project goes to include it in an ongoing simulation framework (Railway Control Simulation Platform), based on Riverbed R Modeler Technology software, in order to assess its performance. As a nal goal, it will be possible to build a software tool which allows for carrying out studies for a potential migration from ERTMS to the IP technology, as well as making security analysis in the new scenery. This simulation tool will reduce the e ective number of necessary eld tests. In the same way, it is vital to add the EURORADIO model within the aforementioned protocol stack.

[EU]Proiektu honen helburua EURORADIO segurtasun protokoloaren funtzionamendua modelatzea da. Protokolo hori Europar ERTMS seinaleztapen sistema estandarraren barne dago, trenaren funtzionamendua urrunetik kontrolatzeko sortutako espezi kazioa. Seinleztapen sistema horrek abiaduta murrizteko erabili daiteke, eta aldi berean, ibilbidean geldiune puntu zehatzak adierazteko balio du ere. EUORADIO ereduaren diseinua egiteaz gain, piektuaren helburu gisa, eredu hori aldez aurretik existitzen den eta Riverbed R

Modeler Technology softwarrean oinarrituta dagoen simulazio gune batean (Railway Control Simulation Platform) txertatuko da, errendimendua elbaluatzeko asmoarekin. Helmuga moduan harzten da, ERTMS-tik IP mundurako migrazio potentzial bat ikerkertzeak ahalbidetzen duen software tresna bat eraikitzea. Are gehiago, halako eszenatoki batean segurtasun azterketak egiteko gai izango den herraminta bururatuko da. Orokorrean, derrigorrezkoak diren, eta benetako trenekin egiten diren zelai probak murriztea loruko da. Esan den bezala, EURORADIO eredua ERTMS espezi kazioaren barne dauden beste protokoloekin bateratzea guztiz garrantzitsua da.