The ASTRail project falls within the scope of the topic S2R-OC-IP2-01-2017, Operational conditions of the signalling and automation systems...
signalling system hazard analysis and GNSS SIS characterization along with Formal Method application in railway field, which is connected with the complementary topics S2R-CFM-IP2-01-2015 and S2R-CFMIP2-01-2017.
The ASTRail project will act to enhance the signalling and automation system by searching innovative solutions that exploit cutting edge technologies already present in sectors different from the rail such as the avionics or the automotive sector.
Investigation of such technologies and assessment of their reusability in the railway field will be done taking in particular care all issues related to safety and performance in the rail system.
THE ASTRail GROUP

Enhancing the ERTMS with Moving Block System, Automatic Train Operations and GNSS positioning can ensure the competitiveness of the European railway industry, and, in the meanwhile, guarantee a concrete improvement in the quality of the European railway transport system, solving the problem of increasing demand on high density lines.

Read More »

Latest News and Events

Survey on Formal and Semi-formal Methods in Railways

See the link

Within ASTRail WP4, we have designed a short survey oriented to practitioners and academics with an interest in the application of formal and semi-formal methods to the development of railway systems. Our goal is to understand what is the experience of the respondents in the application of ...

Read More»
  • Login here to download Public Documents

    Email

    Password


    Forgot your password?
    Click Here

  • If you wish to receive more information/news, or to participate to one of the public events, please login. If you do not have a password yet, please register here.

EMPHASIS

SOCIAL

 

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No: 777561

Copyright © 2017 - Astrail Consortium