ASTRail - SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation (DIT.AD003.072)
Project areaInternet del futuro (DIT.AD003)
Structure responsible for the research project
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.
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.
Start date of activity
Formal Methods, Moving Block Signalling System, Automated Driving, Hazard Analysis
Last update: 08/12/2023