ASTRAIL

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

Product line models of large cyber-physical systems: the case of ERTMS/ETCS 20 August 2018

See the link

to be submitted to the Systems and Software Product Line Conference (SPLC), Gothenburg, Sweden, September 2018. The paper applies a product line approach to the family of ERTMS/ETCS train control systems and to some of their foreseen extensions, as studied in the context of Shift2Rail ...

Read More»

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System 20 August 2018

See the link

by Franco Mazzanti and Alessio Ferrari (ISTI). The paper has been presented at the 3rd Workshop on Models for Formal Analysis of Real Systems, Thessaloniki, Greece. Electronic Proceedings in Theoretical Computer Science Issue 268. Describes the encoding a train dispatching problem in the ...

Read More»

On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders 20 August 2018 by Davide Basile, Maurice H. ter Beek, Alessandro Fantechi Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, and Alessio Ferrari. The paper will be presented at the iFM conference on Formal Methods, Dublin, Ireland, September 2018. To appear in the Lecture Notes in ...

Read More»

Performance Analysis of FLL Schemes to Track Swept Jammers in an Adaptive Notch Filter 20 August 2018 by Micaela Troglia Gamba and Emanuela Falletti, Istituto Superiore Mario Boella, Italy. Paper submitted to the NAVITEC 2018 conference, ESA-ESTEC, The Netherlands, December 5-7, 2018. The paper is focused on the activity performed in the framework of WP 1, T1.6-GNSS Algorithm Analysis and ...

Read More»

Towards Formal Methods Diversity in Railways: an Experience Report with Seven Frameworks 20 August 2018

See the link

by Franco Mazzanti, Alessio Ferrari and Giorgio O. Spagnolo (ISTI-CNR). Software Tools for Technology Transfer Vol 20 (2018) (http://rdcu.be/ID78 ). The paper exemplifies the issue of formal methods diversity by applying seven different verification frameworks for the verification of a ...

Read More»

An HW-In-the-Loop Approach for the Assessment of GNSS Local Channel Effects in the Railway Environment 20 August 2018 by Gianluca Falco, Mario Nicola, and Emanuela Falletti, Istituto Superiore Mario Boella, Italy. Paper to be published at ION GNSS+ 2018 conference, Miami (Florida), September 24-28, 2018 The paper describes the insertion of state-of-the-art channel model, named Land Mobile Satellite Channel ...

Read More»

Formal Methods for the Railway Sector 20 August 2018

See the link

by Maurice ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi (ISTI-CNR, Italy), and Riccardo Scopigno (ISMB, Italy). Published in the ERCIM NEWS, January 2018. Researchers from the Formal Methods and Tools group of ISTI-CNR are working on a review and assessment of the main formal ...

Read More»

Survey on Formal and Semi-formal Methods in Railways 6 December 2017

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»