CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Livrables
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
Auteurs:
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Publié dans:
International Conference on Software Engineering and Formal Methods, Numéro Lecture Notes in Computer Science, vol 10729, 2017, Page(s) 267-283, ISBN 978-3-319-74780-4
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-74781-1_19
Auteurs:
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Publié dans:
International Conference on Reliability, Safety and Security of Railway Systems, Numéro Lecture Notes in Computer Science, vol 10598, 2017, Page(s) 221-237, ISBN 978-3-319-68498-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-68499-4_15
Auteurs:
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
Publié dans:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings, Numéro 11495, 2019, Page(s) 226-241, ISBN 978-3-030-18743-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-18744-6_15
Auteurs:
Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
Publié dans:
Formal Methods – The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Numéro 11800, 2019, Page(s) 762-772, ISBN 978-3-030-30941-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-30942-8_46
Auteurs:
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
Publié dans:
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, Numéro 11023, 2018, Page(s) 20-29, ISBN 978-3-319-98937-2
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-98938-9_2
Auteurs:
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Publié dans:
Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18, Numéro 2018, 2018, Page(s) 208-214, ISBN 9781-450364645
Éditeur:
ACM Press
DOI:
10.1145/3233027.3233046
Auteurs:
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
Publié dans:
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings, Numéro 11687, 2019, Page(s) 1-21, ISBN 978-3-030-27007-0
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-27008-7_1
Auteurs:
Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
Publié dans:
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Numéro 11245, 2018, Page(s) 372-391, ISBN 978-3-030-03420-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-03421-4_24
Auteurs:
Micaela Troglia Gamba, Emanuela Falletti
Publié dans:
2019 International Conference on Localization and GNSS (ICL-GNSS), 2019, Page(s) 1-6, ISBN 978-1-7281-2445-2
Éditeur:
IEEE
DOI:
10.1109/icl-gnss.2019.8752751
Auteurs:
Gianluca Falco, Mario Nicola, Emanuela Falletti
Publié dans:
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
Éditeur:
Institute of Navigation
DOI:
10.33012/2018.15866
Auteurs:
Micaela Troglia Gamba, Emanuela Falletti
Publié dans:
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
Éditeur:
IEEE
DOI:
10.1109/navitec.2018.8642663
Auteurs:
Wenjian Qin, Fabio Dovis, Micaela Troglia Gamba, Emanuela Falletti
Publié dans:
Proceedings of the 2019 International Technical Meeting of The Institute of Navigation, 2019, Page(s) 233-247, ISBN 0936-406216
Éditeur:
Institute of Navigation
DOI:
10.33012/2019.16691
Auteurs:
Heekwon No, Jérémy Vezinet, Carl Milner
Publié dans:
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
Éditeur:
Institute of Navigation
DOI:
10.33012/2019.16967
Auteurs:
Heekwon No, J�r�my Vezinet, Carl Milner
Publié dans:
Proceedings of the 2019 International Technical Meeting of The Institute of Navigation, 2019, Page(s) 296-305, ISBN 0-936406-21-6
Éditeur:
Institute of Navigation
DOI:
10.33012/2019.16675
Auteurs:
Franco Mazzanti, Alessio Ferrari, Giorgio O. Spagnolo
Publié dans:
International Journal on Software Tools for Technology Transfer, Numéro 20/3, 2018, Page(s) 263-288, ISSN 1433-2779
Éditeur:
Springer Verlag
DOI:
10.1007/s10009-018-0488-3
Auteurs:
Franco Mazzanti, Alessio Ferrari
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 268, 2018, Page(s) 104-149, ISSN 2075-2180
Éditeur:
Cornell University Library
DOI:
10.4204/EPTCS.268.4
Auteurs:
Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
Publié dans:
Empirical Software Engineering, Numéro 23/6, 2018, Page(s) 3684-3733, ISSN 1382-3256
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s10664-018-9596-7
Auteurs:
Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
Publié dans:
ERCIM News, Numéro 112, 2018, Page(s) 44-45, ISSN 0926-4981
Éditeur:
ERCIM
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible