ASTRail will in particular, address the following specific technical objectives:

• leveraging the expertise of the aeronautic sector on GNSS technology to improve localization of trains; ASTRail will define which assumptions and requirements about GNSS technology can be transferred from the aeronautical standards to the railway system; ASTRail will define architecture, specific algorithms, and the software definition for testing purposes in order to assess the minimum achievable performance by GNSS technology in the railway system; the overall result will be an informed setting of “Minimum Performance Requirements for GNSS technology in the ERTMS Signalling System”;
• defining a model of the Moving Block Signalling system and perform its Hazard Analysis considering use cases that will be defined by parameters such a system state (degraded operation, transition phases), traffic type, environmental condition (tunnels, urban areas, etc.) and Grade of Automation;
• identifying which automatic driving technologies can be reused in the railway sector from the automotive or other application fields, such as maritime and aeronautics sectors, or even agriculture; ASTRail will further contribute to the development of Automatic Train Operation by analysing which characteristics and requirements of the identified technologies can be also applicable to the railway field and it will assess the most suitable technologies that can be reused in the railway;
• reviewing and assess the main formal modelling and verification languages and tools used in industrial railway applications, as well as the most promising ones highlighted by the scientific literature;  ASTRail will take further the analysis to define the optimal set of languages and tools and will validate them with representative components deriving from  other tasks of the project.