CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
D23 Moving Block Verification and Validation UNI EIFFEL M21Deliverable D23 will describe the outcomes of Tasks 24 and 25 It will contain the definition and instantiation of proper property specifications and will report on the results of the VV regarding the specifications elaborated in Task T23 IThe extension of some available verification engines can be envisaged The deliverable will illustrate the safety and performance analysis conducted on the system models and the obtained results
Guidelines for a safe and optimised moving-block traffic management system architecture (opens in new window)D42 Guidelines for a safe and optimised movingblock traffic management system architecture TUD M27 The deliverable will contain the outcomes of T43 providing a detailed description of the inputoutput stream of traffic information and the functionalities of each module defined to achieve an advanced traffic management architecture that optimally reschedules train operations while supporting the prevention of safetycritical events under movingblock
Report on dissemination and exploitation activities (opens in new window)D63 Report on Dissemination and Exploitation activities MDH M31 document
Location algorithm validation (opens in new window)D34 Location algorithm validation report M29The results of the simulated and real scenarios for the location algorithms will constitute the D34deliverable Emphasis will be placed on algorithm benchmarking and performance assessment in terms ofaccuracy availability and robustness This deliverable will also include the analysis of the real datagathered in train operations using the GNSS receivers provided in the activity
Design document of the Location algorithms (opens in new window)D31 Design document of the Location algorithms M10Deliverable D31 will include the mathematical definition of the algorithms underlying the UUDP andsensor fusion
Data Management Plan (opens in new window)D64 Data Management Plan TUD M4 and then updated dynamically document
Feasibility Report (opens in new window)D51 feasibility report led by CERTIFER M19This deliverable will present the results of the preassessment process that has the objective of verifying that the proposed development fits the minimum needs in order to pass by a certification process further on
Assessment Report (opens in new window)D52 Assessment report led by CERTIFER M29Deliverable D52 will provide an independent assessment on the developed Proof of Concept for whole of this project
Project Plan (opens in new window)D71 Project Plan M2 This project plan will formalise activities resource management and budgetary allocations for the life of the project
Location algorithm software (opens in new window)D32 Location algorithm software M13Deliverable D32 will consist on the software implementation of the algorithms developed during the project
Dissemination & Exploitation Plan (opens in new window)D61 Dissemination and exploitation plan MDH M7 document
Real-time traffic rescheduling algorithms for perturbation management and hazard prevention in moving-block operations (opens in new window)D41 Realtime traffic rescheduling algorithms for perturbation management and hazard prevention in movingblock operations TUD M23 The deliverable will describe the constraints resulting from the mathematical translation of safe movingblock signalling and train localisation specifications performed in T41 Also the deliverable will illustrate outputs of T42 giving modelling details of the realtime traffic rescheduling algorithms and the integrated model for predicting and preventing hazardous movingblock events
Best practice, recommendations and standardisation to definition of the Railway Minimum Operational Performance Standards (opens in new window)D12 Best practices recommendations and standardisation to definition of the Railway Minimum Operational Performance Standards TUD M31D12 is to summarise all the findings best practices and recommendations from WP2 WP3WP4 and WP5in a format of a standard document to definition of the Railway Minimum Operational Performance standards
Baseline system specification and definition for Moving Block Systems (opens in new window)D11 Baseline system specification and definition for Moving Block Systems UOB M7D11 will incorporate all the reviews undertaken in T11 and document the baseline system specification and definition of moving block systems undertaken in T12
Moving Block Specification Development (opens in new window)D22 Moving Block Specification Development CINI M16Deliverable D22 will describe the outcomes of Task 23 and Task 24 The deliverable will define the moving block generic models and their instantiation to concrete implementation and system configurations including the virtual coupling scenarios It will also define the model transformations needed to perform the automatic instantiation of the models
Gender Mainstreaming Report (opens in new window)D72 Gender mainstreaming report M4
Multi-frequency/constellation GNSS receiver (opens in new window)D33 Multifrequencyconstellation GNSS receiver M13Deliverable D33 are the 2 units of the GNSS receiver developed during the project that will be also used inthe validation and testing campaign
Modelling guidelines and Moving Block Use Cases characterization (opens in new window)D21 Modelling guidelines and Moving Block Use Cases characterization MHD M7Deliverable D21 will describe the outcomes of Task 21 and Task 22 The deliverable will contain theapproach and the resulting guidelines for moving block modelling including recommendation forintegration in CENELEC process It will specify the parameters and the variants of the moving blockimplementations and relevant scenarios
D62 Project website and social channels UOB M4 webpage and social channels
Publications
Author(s):
Rim Saddem-Yagoubi, Muhammad Usman Sanwal, Simone Libutti, Massimo Benerecetti,
Julie Beugin, Francesco Flammini, Mohamed Ghazel, Bob Janssen, Stefano Marrone, Fabio
Mogavero, Roberto Nardone, Adriano Peron, Cristina Seceleanu, and Valeria Vittorini
Published in:
Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022), 2022, Page(s) 2143-2150
Publisher:
Research Publishing
DOI:
10.3850/978-981-18-5183-4_s06-13-446-cd
Author(s):
Francesco Flammini; Francesco Flammini; Stefano Marrone; Roberto Nardone; Valeria Vittorini
Published in:
Formal Aspects of Computing Journal, Issue Vol. 33, No. 6, 2021, Page(s) 989–1007, ISSN 0934-5043
Publisher:
Springer Verlag
DOI:
10.1007/s00165-021-00560-5
Author(s):
Flammini, F., Marrone, S., Chen, L.
Published in:
ERCIM News (article in magazine), Issue 129, 2022, Page(s) 45-46, ISSN 1564-0094
Publisher:
ERCIM
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available