Dottorato Di Ricerca in Informatica, Sistemi E Telecomunicazioni
Total Page:16
File Type:pdf, Size:1020Kb
DOTTORATO DI RICERCA IN INFORMATICA, SISTEMI E TELECOMUNICAZIONI TELEMATICA E SOCIETA' DELL'INFORMAZIONE CICLO XXVIII COORDINATORE Prof. Nesi Paolo Automatic Train Operation System for light rail and metro using a model-driven approach and Social Network Monitoring to quantify public attention on services and events Settore Scientifico Disciplinare ING-INF/05 Dottorando Tutori Dott. Menabeni Simone Prof. Nesi Paolo _______________________________ _________________________ (firma) (firma) Prof. Fantechi Alessandro _________________________ (firma) Coordinatore Prof. Chisci Luigi _______________________________ (firma) Anni 2012/2015 Table of contents Preface ........................................................................................................................................ 6 Part 1........................................................................................................................................... 8 1 Introduction to Railway Signalling Systems ........................................................................ 8 1.1 Railway Signalling Systems technology........................................................................ 8 1.1.1 ERTMS/ETCS standard ........................................................................................ 11 1.1.2 Braking Model and Speed Profiles ..................................................................... 15 1.2 CBTC Overview ........................................................................................................... 16 1.2.1 Domain Analysis and existing technologies ....................................................... 17 1.2.2 Reference Standards .......................................................................................... 18 2 ATO System Analysis ......................................................................................................... 21 2.1 Main challenges ......................................................................................................... 21 2.2 ATO Preliminary System Specification ....................................................................... 22 2.3 ATO System Requirements Specification................................................................... 26 2.3.1 ATO-ATS Communication Protocol..................................................................... 30 2.3.2 ATO-TRAIN Communication Protocol ................................................................. 30 2.3.3 ATO-ATC Communication Protocol .................................................................... 30 2.4 Initialization Phase ..................................................................................................... 31 2.4.1 Procedure Start of Mission ................................................................................. 33 3 ATO System Modelling ..................................................................................................... 43 3.1 Model Based Systems Engineering ............................................................................ 43 3.2 IBM Rational Rhapsody .............................................................................................. 44 3.3 Package Init Design .................................................................................................... 46 4 Model Verification and Testing ........................................................................................ 55 4.1 Adopted Methodology ............................................................................................... 56 4.2 Critical aspects of the model ..................................................................................... 57 4.3 Model Testing ............................................................................................................ 58 4.4 Integration Testing ..................................................................................................... 59 Part 2......................................................................................................................................... 60 1 Introduction to Social Media Monitoring ......................................................................... 60 1.1 Social Media Monitoring ............................................................................................ 60 1.2 Twitter ........................................................................................................................ 65 2 Twitter Vigilance Analisys ................................................................................................. 67 2.1 Requirements ............................................................................................................. 68 2.2 Twitter API ................................................................................................................. 69 2.3 Main challenges ......................................................................................................... 82 3 Twitter Vigilance Design ................................................................................................... 84 3.1 Backend ...................................................................................................................... 84 3.1.1 Requirements ..................................................................................................... 85 3.1.2 Backend Architecture ......................................................................................... 86 3.1.3 DB structure ........................................................................................................ 86 3.1.4 Crawler ................................................................................................................ 98 3.1.5 Scheduler .......................................................................................................... 100 3.1.6 Other Scripts ..................................................................................................... 104 3.2 Dashboard ................................................................................................................ 105 3.2.1 Requirements ................................................................................................... 105 3.2.2 Frontend Architecture ...................................................................................... 107 4 Testing and Validation .................................................................................................... 123 Conclusions ............................................................................................................................. 127 Bibliography ............................................................................................................................ 129 Table of Figures ...................................................................................................................... 133 List of Tables ........................................................................................................................... 135 Preface The research activities during the entire course of PhD was carried out at the DISIT laboratory (Distributed Data Intelligence and Technologies) of DINFO (Department of Information Engineering) of the University of Florence. The research activity is essentially divided into 2 parts and concerns two arguments: Analysis and Modelling of Automatic Train Operation Systems Social Network Monitoring The first part of the research was conducted within the project TRACE-IT in collaboration with ECM, with the Department of Industrial Engineering of the University of Florence and the Institute of Science and Technology of the CNR Pisa. Inside the lab DISIT, the activity was carried out together with other two PhD students, Giacomo Martelli and Mariano DiClaudio, responsible respectively for designing communication protocols and the management system for train running. The research project deals with the study, design, development and testing of systems of protection of the train running (Automatic Train Protection, or ATC Automatic Train Control, ATC) of railway vehicles that use leading edge technologies and are applicable both in the context of interoperable European Rail System and in applications of light rail and metro. In particular, the research has focused on protection systems and automatic drive of train in the field of light rail and subway called CBTC (Communication Based Train Control). Starting from the study of standards and products already on the market carried out during the first year of the course has decided to model and implement an ATO (Automatic Train Operation) able to be at the forefront over existing systems. To achieve this has decided to create a system compatible with an ATC system compliant to ERTMS / ETCS standard. In particular, the ATO system is designed to interface with the ERTMS / ETCS Level 2: to meet this requirement, the system must implement both the behaviour of the driver interacting with the DMI (Driver Machine Interface) either the behaviour of the DMI itself. In addition to these requirements the ATO must comply with other specifications such as the initialization of the entire system on board the train, the automatic adjustment of the running of the train, the opening and closing of the doors, etc. My research has focused on the analysis, modelling, implementation, and testing of the initialization phase of the onboard system. 6 Preface In the second part of the research activity, has designed and built a platform