Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Completion of activities for Adaptable Communication, Moving Block, Fail safe Train Localisation (including satellite), Zero on site Testing, Formal Methods and Cyber Security

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Stand Alone Train Positioning Specification (öffnet in neuem Fenster)

Updated version of Stand-alone Fail-Safe Train Positioning System specifications (functional, non-functional and architectural requirements) as result of Subtask 5.2.2

Recommendations on railway systems' cyber resilience (öffnet in neuem Fenster)

Following the objectives of European Commission Cybersecurity Act 2019 this report linked to the task 116 will provide recommendations to develop and improve railway systems cyber resilience and response capacities

Moving Block Specification Release (öffnet in neuem Fenster)

This deliverable will contain an updated version of X2Rail3 D42 Moving Block Specification The updates will include1 Changes resulting from Level 3 Change Requests 2Any updates resulting from Task 44

Requirements on configuration data (öffnet in neuem Fenster)

Output of Task 104 this deliverable will describe the configuration data for ERTMS L3 trackside and the requirements on configuration data together with results from formal verification of the requirements

The deliverable updates of the test Architecture defined in deliverable of X2Rail-3 by the addition of new FFFIS documents related to new subsystems under test. (öffnet in neuem Fenster)

Description of automated test procedures for integrated TMSPIS test environments

"ISAC prototype verification, validation and test Use-case""" (öffnet in neuem Fenster)

This new deliverable is closely linked to the task 11.5 and will describe the roadmap to a successful implementation of the railway tailored ISAC. It will include process for verification and validation, test-scenarios and test results, plan for implementation with milestones, ISAC operational use-cases and conclusion with recommendations for the next steps.

Summary statement from the perspective of an operator(s) (öffnet in neuem Fenster)

This deliverable prepared by the operator during the task 115 will describe how the results of the X2Rail projects could be used to fulfil their obligations in term of legal organisational and technical security requirements

Contribution to the standardisation activities (öffnet in neuem Fenster)

As result of Subtask 5.2.3 this deliverable includes: 1) Report on the collaboration and contributions to the joint WG EUG-S2R with the focus on “Augmentation” and “Digital Maps”; An initial intermediate version of this deliverable will be made available at Milestone M25 at month 32.2) Initial draft inputs to the future TSIs.

Requirement analysis and scope (öffnet in neuem Fenster)

Output of Task 102 this deliverable will describe the results of requirement analysis and the scope of this WP This will be issued in an interim version at M12 and its final version at M28

System Specification Update (öffnet in neuem Fenster)

The deliverable will be an update of the System Specification Deliverable D33 of X2Rail1 taking into account the findings and results from the field tests

Report on Communication, Dissemination and Exploitation activities (öffnet in neuem Fenster)

Output of Task 131 Task 132 This report will detail the activities undertaken during the life of the project including details on the management and activities of Advisory Group and established contacts to key stakeholders of this project and the use of results for commercial purposes or in public policymaking

VB Train Positioning Updated Test Scenarios (öffnet in neuem Fenster)

This includes the specification of the Test Scenarios agreed to test the demonstrators.

Moving Block TSI Material (öffnet in neuem Fenster)

This deliverable will contain the first draft of all the material created within this WP for use within the TSI 2022 update

Proposed Methodologies based on FMs Guidebook (öffnet in neuem Fenster)

Output of Task 14.2, this deliverable will describe proposed methodologies based on the recommendations and structure in the FMs Guidebook, including two parts I and II. Part 1: Proposed methodology to represent an executable behavioural model in the form of suitable atomic functional requirements for standard tender specifications. Part II: Proposing a methodology enabling to create semiformal/formal specification of interlocking logic, and its representation in the form of suitable atomic functional requirements for standard tender specifications.

Integrated Technical Demonstrator Report (öffnet in neuem Fenster)

The Integrated Technical Demonstrator Report will summarise the systems and equipment used the tests performed and the results including any lessons learntThe expected achievements are Demonstration that ETCS Onboard and Trackside products can communicate over alternative communication systems not restricted to GSMR and GPRS Demonstration that a communications system can enable the use of multiple bearers and agile switching between those bearers without impacting the ETCS application Demonstration that a train integrity monitoring system can be integrated with an ETCS Level 3 Onboard Demonstration that an ETCS Level 3 Trackside reacts correctly upon receipt of position reports which include the status of train integrity Thus the reaction of ETCS Level 3 when there is a degraded situation

Dissemination, Communication & Exploitation Plan (öffnet in neuem Fenster)

Output of Task 132 This will detail the objectives and strategy for the dissemination of the project as well as detailing the methods to be used for exploitation and communication

Stand Alone Fail-Safe Train Positioning Laboratory description (öffnet in neuem Fenster)

This deliverable collects the reference of each independent laboratory Test Bench description

Field Test Result Summary (öffnet in neuem Fenster)

The field test summary report should describe the main results which will be made public available

FMs guidebook (öffnet in neuem Fenster)

Output of Task 101 this deliverable will consist of a guidebook for the use of FMs to enable increased efficiency automation and use of standards and to support a business case study of the impact and use of formal methods to achieve lowered LCC for a modular signalling system reference architecture

FMs guidebook (final) (öffnet in neuem Fenster)

Output of Task 10.1, this deliverable will consist of a guidebook for the use of FMs to enable increased efficiency, automation and use of standards, and to support a business case study of the impact and use of formal methods to achieve lowered LCC for a modular signalling system reference architecture. This is the final issue.

Stand Alone Fail-Safe Train Positioning additional urban Demonstrator: Prototypes Developments, Analysis and Test Report (öffnet in neuem Fenster)

This includes the additional urban Demonstrator Definitions and high-level prototype description especially the architecture of the system and sensors applied (without confidential information). The report contains the definition of the method for analysis as well we their results with respect to the tests prepared in sub-task 7.4.3 and performed in sub-task 7.5.4. It includes as well the specifically adopted test scenarios for the urban test case.

FMs guidebook second intermediate issue (öffnet in neuem Fenster)

Output of Task 10.1, this deliverable will consist of a guidebook for the use of FMs to enable increased efficiency, automation and use of standards, and to support a business case study of the impact and use of formal methods to achieve lowered LCC for a modular signalling system reference architecture. The guidebook will be issued in two incremental draft versions, before the final issue. This is the second of it.

Stand Alone Fail-Safe Train Positioning Demonstrators: Prototypes Developments, Analysis and Test Report (öffnet in neuem Fenster)

This includes Demonstrator Definitions and high-level prototypes description (without confidential information), as well as the report of analysis and tests performed in subtasks 7.5.1 to 7.5.3 excluding the “broader statistical evaluation on a dedicated commercial line for error repeatability analysis” task from sub-task 7.5.1.

Results of the broader statistical evaluation on a dedicated commercial line for error repeatability analysis (öffnet in neuem Fenster)

This deliverable contains the description of the method applied for the error repeatability analysis as well as the results of the specific dedicated commercial line used in sub-task 7.5.1.

Stand Alone Fail-Safe Train Positioning Demonstrator Definitions and Test Scenarios (öffnet in neuem Fenster)

This includes the specification of the Test Scenarios agreed to test the demonstrators

Integrated technical demonstrator report [1/2] (öffnet in neuem Fenster)

This deliverable is linked to the tasks 113 and 114 and will provide the conclusion of the integrated technical demonstrator This deliverable consists of two different parts The first part describes the cybersecurity demonstrator used to validate and assess the Shift2Rail protection profiles This description will include the implemented process for protection profile assessment and validation the detail of the scenarios considered the test case implementation and the related results The second part focusses on the implementation cybersecurity protection profile on the integrated technical demonstrator common with the TD 21 and on its assessment using the cybersecurity demonstrator

Cybersecurity assessment of other TD's (öffnet in neuem Fenster)

This report is closely linked to the task 112 and resumes the conclusions of the cybersecurity analyses of the other TDs

VB Train Positioning Specification (öffnet in neuem Fenster)

Updated version of Virtual Balise based solution specifications (functional, non-functional and architectural requirements) as result of Subtask 5.2.1

Demonstrator Validation report (öffnet in neuem Fenster)

Each demonstrator will deliver a Demonstrator Validation Report describing the features implemented and validated through a test of each of the implemented features The Demonstrator Validation Report will be based on the report from X2Rail3 and provide an update to it

Roadmap and migration strategy (öffnet in neuem Fenster)

As result of the Subtask 5.3.2 this includes: 1) Analysis on the possible commonalities and synergies between Stream 1 and Stream 2; 2) The roadmap and the migration strategy for complete inclusion of fail-safe and interoperable train positioning solutions to the future TSIs; 3) The Cost Benefits and Impact Analysis for the analysed solutions.

VB Train Positioning Demonstrators: Prototypes Developments, Analysis and Test Report (öffnet in neuem Fenster)

This includes Demonstrator Definitions and high-level prototypes description (without confidential information), as well as the report of analysis and tests performed in task 6.5.- Specifically, for the AZD demonstrator, the impact of the extended track database on demonstrator performance will be included in the report. - Specifically, for the HSTS demonstrator, the impact of the alternative architecture will be included in the report.

Additional sections for the ACS specification (öffnet in neuem Fenster)

Output of Task 14.1 - Contribution of additional chapters to WP3 ACS deliverables in the area of Specification and Requirements.

Report for Moving Block Technical Demonstrators (öffnet in neuem Fenster)

This Deliverable will summarise the systems and equipment use the tests performed and the results obtained for each of the three Technical Demonstrators

VB Train Positioning prototypes test bench (öffnet in neuem Fenster)

This deliverable collects the reference of each independent Test Bench description

Proposed extension of specification approach to meet needs of RCA (öffnet in neuem Fenster)

Output of Task 103 this deliverable will describe proposed extensions of the semiformal EULYNX MBSE approach to specify different types of behaviour to meet the needs of RCA to be used as input for the current EULYNXRCA modelling standard and other tasks of this WP

Gap Analysis (öffnet in neuem Fenster)

As result of the Subtask 5.3.1 this includes the results of the Gap Analysis.

Verification Report (öffnet in neuem Fenster)

Output of Task 10.4-10.7, this deliverable will document the safety requirements defined, the results from formal verification of the requirements against an implementation model, and evaluation and refinement of safety hazards for moving block. This deliverable will also describe how the L3 implementation model can be used in test-based verification as a complementary activity to safety analyses based on formal verification.

Automated transformation and verification (methodology and toolchain) (öffnet in neuem Fenster)

Output of Task 10.8, this deliverable will consist of a proposed methodology and toolchain to automate transformation of specification models, and to perform formal verification of such models. A proposal for how to integrate this process into the EULYNX/RCA MBSE approach will be described, together with a verification report created for the RCA component selected and verified against user-supplied properties.

Veröffentlichungen

Paving the way towards digital, automatic Rail Operation: The TAURO and X2Rail-5 contributions to the CCS-Systems of Future

Autoren: Javier Goikoetxea, Michael Meyer zu Hörste
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 13 - 20, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Ground truth and validation tools for the development of on-board railway positioning systems

Autoren: Paul Zabalegui Landa, Gorka De Miguel Aramburu, David Izquierdo Calzada, Iñigo Adin Marcos, Jaizki Mendizabal
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 155 - 166, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Regional and Freight demonstrator testing Adaptable Communication System including Channel Characterization Tool

Autoren: Nerea Fernandez-Berrueta, Jaizki Mendizabal, Iker Moya
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 21 - 40, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

A New Formal Methods Guidebook for the Railway Signalling Domain

Autoren: Daniel Schwencke, Arne Borälv, Luis-Fernando Mejia
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 135 - 146, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Fail-Safe Train Positioning: Key Performance Indicators and Analysis Tools.

Autoren: Terri Richardson, Michael Hutchinson, Paul Zabalegui Landa, Gorka De Miguel Aramburu, David Izquierdo Calzada
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 147 - 154, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Functional test of EULYNX Components in RailSiTe® Laboratory

Autoren: Miriam Grünhäuser, Igor Bier, Katharina Hartmann, Lennart Asbach
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 91 - 100, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Introduction to Moving Block Specification

Autoren: Stefanie Schöne
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 129 - 134, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Satellite Communication for the Adaptable Railway Communication System, Lab-Test Results and Field Test Preparation

Autoren: Benjamin Barth, Marcel Grec, Stefan Erl, Norma Montealegre, Alessandro de Rienzo
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 41 - 52, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Towards integrated digital automatic train operation - the perspective by SmartRaCon

Autoren: Marion Berbineau, Michael Hutchinson, Emilie Masson, Jaizki Mendizabal, Michael Meyer zu Hörste
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 1 - 12, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

ETCS testing environment including ACS and saboteur

Autoren: Nerea Fernández-Berrueta, Jaizki Mendizabal, Benoît Faup, Alain Maintrot
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 53 - 66, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Cyber security studies on the ATO and NG-TCMS TD’s

Autoren: Dimitrios Sisiaridis, Sai Lokesh Posa
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 40, 2023, Seite(n) 67 - 90, ISSN 1866-721X
Herausgeber: Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems

Holistic Study of Formal Methods and Standardization in Specification, Development, Verification and Validation of Railway Signalling System Software

Autoren: Arne Borälv, Daniel Schwencke
Veröffentlicht in: Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Ausgabe 13th WCRR, 2022
Herausgeber: UIC

Dissemination presentation of X2Rail-5 Deliverable D10.9 Formal Methods (FMs) Guidebook: Background, Purpose, Fundamentals

Autoren: Arne Borälv, Daniel Schwencke
Veröffentlicht in: Signalling Design Automation Forum (SDAF), Ausgabe 2023, 2023
Herausgeber: Prover Technologies

Next-Generation Connectivity in a Heterogenous Railway World (öffnet in neuem Fenster)

Autoren: Ben Allen; Benjamin Barth; Marcel Grec; Stefan Erl; Ulrich Geier; Kerstin Keil; Naveen Kumar; Divitha Seetharamdoo; Eder Ollora Zaballa
Veröffentlicht in: IEEE Communications Magazine, Ausgabe Volume 61, 2023, Seite(n) 34 - 40, ISSN 0163-6804
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/mcom.001.2200130

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0