Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Moving Block Verification and Validation (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

D63 Report on Dissemination and Exploitation activities MDH M31 document

Location algorithm validation (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

D64 Data Management Plan TUD M4 and then updated dynamically document

Feasibility Report (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

D71 Project Plan M2 This project plan will formalise activities resource management and budgetary allocations for the life of the project

Location algorithm software (si apre in una nuova finestra)

D32 Location algorithm software M13Deliverable D32 will consist on the software implementation of the algorithms developed during the project

Dissemination & Exploitation Plan (si apre in una nuova finestra)

D61 Dissemination and exploitation plan MDH M7 document

Real-time traffic rescheduling algorithms for perturbation management and hazard prevention in moving-block operations (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

D72 Gender mainstreaming report M4

Multi-frequency/constellation GNSS receiver (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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

Pubblicazioni

Toward Usable Formal Models for Safety and Performance Evaluation ofERTMS/ETCS Level 3: The PERFORMINGRAIL Project (si apre in una nuova finestra)

Autori: 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
Pubblicato in: Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022), 2022, Pagina/e 2143-2150
Editore: Research Publishing
DOI: 10.3850/978-981-18-5183-4_s06-13-446-cd

Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks (si apre in una nuova finestra)

Autori: Francesco Flammini; Francesco Flammini; Stefano Marrone; Roberto Nardone; Valeria Vittorini
Pubblicato in: Formal Aspects of Computing Journal, Numero Vol. 33, No. 6, 2021, Pagina/e 989–1007, ISSN 0934-5043
Editore: Springer Verlag
DOI: 10.1007/s00165-021-00560-5

Formal Modelling and Optimal Traffic Management for Future Railways

Autori: Flammini, F., Marrone, S., Chen, L.
Pubblicato in: ERCIM News (article in magazine), Numero 129, 2022, Pagina/e 45-46, ISSN 1564-0094
Editore: ERCIM

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0