ASTRail - SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation (DIT.AD003.072)
Area tematica
Ingegneria, ICT e tecnologie per l'energia e i trasporti
Area progettuale
Internet del futuro (DIT.AD003)Struttura responsabile del progetto di ricerca
Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo" (ISTI)
Responsabile di progetto
STEFANIA GNESI
Telefono: +39 050 621 2918
E-mail: stefania.gnesi@isti.cnr.it
Abstract
The ASTRail project will act to enhance the signalling and automation system by leveraging cutting-edge technologies from different sectors, such as the avionics or the automotive ones. Investigation of such technologies and assessment of their reusability in the railway field will be done taking in particular care all the issues related to safety and performance in the rail system.
Obiettivi
The ASTRail project will:
1) Transfer the knowledge of aeronautical standard and existing integrity monitoring solutions to the application of fail-safe moving block localisation by performing an assessment of local error modelling, hazard analysis and verification activities before proposing minimum performance standards for such equipment for use in the rail domain;
2) Perform Hazard Analysis of the railway system examining safety level of Moving Block Signalling System operating without trackside detection, from technical and operational point of view, along with the hazard identification in the most significant operative conditions defined by the use cases;
3) Identify the most suitable technologies to be implemented in the railway field for performing automated driving;
4) Based on the state of the art, on the past experiences of the partners and on ad-hoc experiments, it will identify the most promising formal and semi-formal methods for the different development phases of railway equipment, and, particularly, for the signalling solutions targeted by ASTRail.
Data inizio attività
01/09/2017
Parole chiave
Formal Methods, Moving Block Signalling System, Automated Driving, Hazard Analysis
Ultimo aggiornamento: 01/04/2025