Deliverables Documents, reports (16) 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. Websites, patent fillings, videos etc. (1) 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. Publications Conference proceedings (14) 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, ISBN 978-3-319-74780-4 Publisher: Springer International Publishing 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, ISBN 978-3-319-68498-7 Publisher: Springer International Publishing 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, ISBN 978-3-030-18743-9 Publisher: Springer International Publishing 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, ISBN 978-3-030-30941-1 Publisher: Springer International Publishing 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, ISBN 978-3-319-98937-2 Publisher: Springer International Publishing 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, ISBN 9781-450364645 Publisher: ACM Press 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, ISBN 978-3-030-27007-0 Publisher: Springer International Publishing 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, ISBN 978-3-030-03420-7 Publisher: Springer International Publishing 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, ISBN 978-1-7281-2445-2 Publisher: IEEE 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, ISBN 0936-406100 Publisher: Institute of Navigation 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, ISBN 978-1-5386-7125-2 Publisher: IEEE 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, ISBN 0936-406216 Publisher: Institute of Navigation 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, ISBN 0-936406-23-2 Publisher: Institute of Navigation 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, ISBN 0-936406-21-6 Publisher: Institute of Navigation DOI: 10.33012/2019.16675 Peer reviewed articles (3) 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 Publisher: Springer Verlag 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 Publisher: Cornell University Library 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 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10664-018-9596-7 Non-peer reviewed articles (1) 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 Publisher: ERCIM Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
