Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Moving Block Verification and Validation (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

D63 Report on Dissemination and Exploitation activities MDH M31 document

Location algorithm validation (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

D64 Data Management Plan TUD M4 and then updated dynamically document

Feasibility Report (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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

Location algorithm software (odnośnik otworzy się w nowym oknie)

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

Dissemination & Exploitation Plan (odnośnik otworzy się w nowym oknie)

D61 Dissemination and exploitation plan MDH M7 document

Real-time traffic rescheduling algorithms for perturbation management and hazard prevention in moving-block operations (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

D72 Gender mainstreaming report M4

Multi-frequency/constellation GNSS receiver (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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

Publikacje

Toward Usable Formal Models for Safety and Performance Evaluation ofERTMS/ETCS Level 3: The PERFORMINGRAIL Project (odnośnik otworzy się w nowym oknie)

Autorzy: 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
Opublikowane w: Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022), 2022, Strona(/y) 2143-2150
Wydawca: Research Publishing
DOI: 10.3850/978-981-18-5183-4_s06-13-446-cd

Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks (odnośnik otworzy się w nowym oknie)

Autorzy: Francesco Flammini; Francesco Flammini; Stefano Marrone; Roberto Nardone; Valeria Vittorini
Opublikowane w: Formal Aspects of Computing Journal, Numer Vol. 33, No. 6, 2021, Strona(/y) 989–1007, ISSN 0934-5043
Wydawca: Springer Verlag
DOI: 10.1007/s00165-021-00560-5

Formal Modelling and Optimal Traffic Management for Future Railways

Autorzy: Flammini, F., Marrone, S., Chen, L.
Opublikowane w: ERCIM News (article in magazine), Numer 129, 2022, Strona(/y) 45-46, ISSN 1564-0094
Wydawca: ERCIM

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0