WP30 Automated authorisation by modelling techniques

Authorisation of products and of modifications of railway assets is still widely based on human judgement. It is a big risk and therefore a major cost driver in commercial projects. Modelling techniques and their continuous evolution have the potential to enable a rigid and robust verification of a product or asset against predefined functional requirements. Building upon 5 years of research and development in semiformal and Formal Methods in Shift2Rail, this work package will allow the use of modelling techniques incorporating formal methods to address the basic needs of rail stakeholders This work package is focused on modelling techniques for automated formalisation thus enabling also automated authorisation. 

WP31 Automated Train Supervision and Control

This WP builds upon the objectives and principles of WP 30 and extends it further. This work package is focused on delivering and developing (a) a functional correct model for ATO Onboard and Remote Supervision & Control, and (b) formal modelling and specification of TCMS Data Service.