Skip to main content

SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation

Deliverables

Local GNSS Effects

Deliverable D1.2 will include the outcome of Task 1.3 that address item g of the work stream 1. This task and its deliverable have been anticipated with respect to what suggested in the text of the Open Call since this activity is preparatory to the tasks of WP1 as detailed in the description of Task T1.3.

Automatic Train Operations: implementation, operation characteristics and technologies for the Railway field

The deliverable D3.2 will provide the outcomes of the analysis of Task 3.2 and Task 3.3. The operation conditions of ATO will be analysed for the different grade of automation, while implementation characteristics that can be borrowed from the automotive sector will be specified. Furthermore, the deliverable will detail the evaluation analysis performed in Task 3.3 to identify which automatic driving technologies, not already exploited in the railway sector, are the most suited to be reused in the rail field.

Report on Preliminary Analysis and on Rankingof Formal Methods

A literature review on the main formal modelling and verification languages and tools used in industrial railway applications will be presented in this deliverable that is associated to Task 4.1. This deliverable will also report a ranking matrix, output of Task 4.2, on the main formal modelling and verification languages and tools aimed at facilitating the identification of a set of languages and tools to be adopted in all the relevant development stages of the systems addressed by this project.

Modelling of the moving block signalling system

The deliverable D2.1 will present the results of Task 2.1 and 2.2 which include the performance of system model and definition of the use cases for further safety analysis.

Preliminary Trial Report

This deliverable will present the trial modelling of the Moving Block according to selected formal modelling techniques done in Task 4.3.

The ERTMS hazards associated with GNSS faults

Deliverable D1.3 will present the results achieved in tasks T1.4 and T1.5. Outcomes of these tasks is associated to items c and d of work stream 1.

State of the Art of Automated Driving technologies

The deliverable D3.1 will present the survey on the automated driving technologies performed in Task 3.1.

Proposed GNSS Minimum Performance Requirements

Deliverable D1.6 will present the results of Task 1.8 corresponding to item h of work stream 1.

GNSS algorithms design

This deliverable will include the results of Task 1.6 that corresponds to the activity expected by item e of work stream 1.

Dissemination and Exploitation activities

The final report summarising the results/impacts of all the dissemination, communication and exploitation activities of ASTRail will be prepared by Task 5.1.

Report on the project results/achievements for future S2R activities

The final report summarising the main results achieved in the project, best practise for future S2R activities, etc… will be provided at the end of the project by Task 5.3.

GNSS Solutions Report

Outcomes of Task 1.7 will be presented in this deliverable that is associated to item f of work stream 1.

Validation Report

This final deliverable will present the full modelling of the Moving Block integrated with Automated Driving Technologies developed in Task 4.4.

Set up a dissemination and exploitation plan for the project

A report defining the project dissemination, communication and exploitation strategies for the project will be prepared by Task 5.1

Moving Block signalling system Hazard Analysis

D2.2 will present the outcomes of Task 2.3 and 2.4 including results of Hazard identification and risk analysis and evaluation of Safety Level of Moving Block Signalling system. The report will contain the description of Safety Related Application Conditions for operational procedures and maintenance activities.

Aeronautical Standards Review

This deliverable will present the results of Task 1.1 and 1.2 and it will address the items a and b of work stream 1 described in the text of the Open call.

Set up public website

This is for the set up, and going live, of a public website for the project. This will be continuously updated with news and results throughout the life of the project. Task 5.1 will take care of this deliverable.

Searching for OpenAIRE data...

Publications

A Refinement Approach to Analyse Critical Cyber-Physical Systems

Author(s): Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Published in: International Conference on Software Engineering and Formal Methods, Issue Lecture Notes in Computer Science, vol 10729, 2017, Page(s) 267-283
DOI: 10.1007/978-3-319-74781-1_19

Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming

Author(s): Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Published in: International Conference on Reliability, Safety and Security of Railway Systems, Issue Lecture Notes in Computer Science, vol 10598, 2017, Page(s) 221-237
DOI: 10.1007/978-3-319-68499-4_15

Survey on Formal Methods and Tools in Railways: The ASTRail Approach

Author(s): Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings, Issue 11495, 2019, Page(s) 226-241
DOI: 10.1007/978-3-030-18744-6_15

Adopting Formal Methods in an Industrial Setting: The Railways Case

Author(s): Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
Published in: Formal Methods – The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Issue 11800, 2019, Page(s) 762-772
DOI: 10.1007/978-3-030-30942-8_46

On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders

Author(s): Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
Published in: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, Issue 11023, 2018, Page(s) 20-29
DOI: 10.1007/978-3-319-98938-9_2

Product line models of large cyber-physical systems - the case of ERTMS/ETCS

Author(s): Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Published in: Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18, Issue 2018, 2018, Page(s) 208-214
DOI: 10.1145/3233027.3233046

Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC

Author(s): Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
Published in: Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings, Issue 11687, 2019, Page(s) 1-21
DOI: 10.1007/978-3-030-27008-7_1

Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook

Author(s): Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Issue 11245, 2018, Page(s) 372-391
DOI: 10.1007/978-3-030-03421-4_24

Performance Comparison of FLL Adaptive Notch Filters to Counter GNSS Jamming

Author(s): Micaela Troglia Gamba, Emanuela Falletti
Published in: 2019 International Conference on Localization and GNSS (ICL-GNSS), 2019, Page(s) 1-6
DOI: 10.1109/icl-gnss.2019.8752751

An HW-In-the-Loop Approach for the Assessment of GNSS Local Channel Effects in the Railway Environment

Author(s): Gianluca Falco, Mario Nicola, Emanuela Falletti
Published in: Proceedings of the 31st International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2018), 2018, Page(s) 3463-3477
DOI: 10.33012/2018.15866

Performance Analysis of FLL Schemes to Track Swept Jammers in an Adaptive Notch Filter

Author(s): Micaela Troglia Gamba, Emanuela Falletti
Published in: 2018 9th ESA Workshop on Satellite NavigationTechnologies and European Workshop on GNSS Signals and Signal Processing (NAVITEC), 2018, Page(s) 1-8
DOI: 10.1109/navitec.2018.8642663

A Comparison of Optimized Mitigation Techniques for Swept-frequency Jammers

Author(s): Wenjian Qin, Fabio Dovis, Micaela Troglia Gamba, Emanuela Falletti
Published in: Proceedings of the 2019 International Technical Meeting of The Institute of Navigation, 2019, Page(s) 233-247
DOI: 10.33012/2019.16691

Simplified GNSS Fusion-based Train Positioning System and its Diagnosis

Author(s): Heekwon No, Jérémy Vezinet, Carl Milner
Published in: Proceedings of the 32nd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2019), 2019, Page(s) 3033-3044
DOI: 10.33012/2019.16967

Diagnostics of GNSS-based Virtual Balise in Railway Using Embedded Odometry and Track Geometry

Author(s): Heekwon No, J�r�my Vezinet, Carl Milner
Published in: Proceedings of the 2019 International Technical Meeting of The Institute of Navigation, 2019, Page(s) 296-305
DOI: 10.33012/2019.16675

Towards formal methods diversity in railways: an experience report with seven frameworks

Author(s): Franco Mazzanti, Alessio Ferrari, Giorgio O. Spagnolo
Published in: International Journal on Software Tools for Technology Transfer, Issue 20/3, 2018, Page(s) 263-288, ISSN 1433-2779
DOI: 10.1007/s10009-018-0488-3

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System

Author(s): Franco Mazzanti, Alessio Ferrari
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 268, 2018, Page(s) 104-149, ISSN 2075-2180
DOI: 10.4204/EPTCS.268.4

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

Author(s): Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
Published in: Empirical Software Engineering, Issue 23/6, 2018, Page(s) 3684-3733, ISSN 1382-3256
DOI: 10.1007/s10664-018-9596-7

Formal Methods for the Railway Sector

Author(s): Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
Published in: ERCIM News, Issue 112, 2018, Page(s) 44-45, ISSN 0926-4981