Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

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

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Moving Block Verification and Validation (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

D63 Report on Dissemination and Exploitation activities MDH M31 document

Location algorithm validation (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

D64 Data Management Plan TUD M4 and then updated dynamically document

Feasibility Report (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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

Location algorithm software (se abrirá en una nueva ventana)

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

Dissemination & Exploitation Plan (se abrirá en una nueva ventana)

D61 Dissemination and exploitation plan MDH M7 document

Real-time traffic rescheduling algorithms for perturbation management and hazard prevention in moving-block operations (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

D72 Gender mainstreaming report M4

Multi-frequency/constellation GNSS receiver (se abrirá en una nueva ventana)

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 (se abrirá en una nueva ventana)

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

Publicaciones

Toward Usable Formal Models for Safety and Performance Evaluation ofERTMS/ETCS Level 3: The PERFORMINGRAIL Project (se abrirá en una nueva ventana)

Autores: 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
Publicado en: Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022), 2022, Página(s) 2143-2150
Editor: Research Publishing
DOI: 10.3850/978-981-18-5183-4_s06-13-446-cd

Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks (se abrirá en una nueva ventana)

Autores: Francesco Flammini; Francesco Flammini; Stefano Marrone; Roberto Nardone; Valeria Vittorini
Publicado en: Formal Aspects of Computing Journal, Edición Vol. 33, No. 6, 2021, Página(s) 989–1007, ISSN 0934-5043
Editor: Springer Verlag
DOI: 10.1007/s00165-021-00560-5

Formal Modelling and Optimal Traffic Management for Future Railways

Autores: Flammini, F., Marrone, S., Chen, L.
Publicado en: ERCIM News (article in magazine), Edición 129, 2022, Página(s) 45-46, ISSN 1564-0094
Editor: ERCIM

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0