Deliverables
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 fieldThe 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 MethodsA 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 systemThe 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 ReportThis 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 faultsDeliverable 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 technologiesThe deliverable D3.1 will present the survey on the automated driving technologies performed in Task 3.1.
Proposed GNSS Minimum Performance RequirementsDeliverable D1.6 will present the results of Task 1.8 corresponding to item h of work stream 1.
GNSS algorithms designThis 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 activitiesThe 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 activitiesThe 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 ReportOutcomes of Task 1.7 will be presented in this deliverable that is associated to item f of work stream 1.
Validation ReportThis 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 projectA report defining the project dissemination, communication and exploitation strategies for the project will be prepared by Task 5.1
Moving Block signalling system Hazard AnalysisD2.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 ReviewThis 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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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