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
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 (opens in new window)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 (opens in new window)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 (opens in new window)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. (opens in new window)Description of automated test procedures for integrated TMSPIS test environments
"ISAC prototype verification, validation and test Use-case""" (opens in new window)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) (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)This includes the specification of the Test Scenarios agreed to test the demonstrators.
Moving Block TSI Material (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)This deliverable collects the reference of each independent laboratory Test Bench description
Field Test Result Summary (opens in new window)The field test summary report should describe the main results which will be made public available
FMs guidebook (opens in new window)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) (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)This includes the specification of the Test Scenarios agreed to test the demonstrators
Integrated technical demonstrator report [1/2] (opens in new window)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 (opens in new window)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 (opens in new window)Updated version of Virtual Balise based solution specifications (functional, non-functional and architectural requirements) as result of Subtask 5.2.1
Demonstrator Validation report (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)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 (opens in new window)This deliverable collects the reference of each independent Test Bench description
Proposed extension of specification approach to meet needs of RCA (opens in new window)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 (opens in new window)As result of the Subtask 5.3.1 this includes the results of the Gap Analysis.
Verification Report (opens in new window)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.
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.
Publications
Author(s):
Javier Goikoetxea, Michael Meyer zu Hörste
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 13 - 20, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Paul Zabalegui Landa, Gorka De Miguel Aramburu, David Izquierdo Calzada, Iñigo Adin Marcos, Jaizki
Mendizabal
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 155 - 166, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Nerea Fernandez-Berrueta, Jaizki Mendizabal, Iker Moya
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 21 - 40, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Daniel Schwencke, Arne Borälv, Luis-Fernando Mejia
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 135 - 146, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Terri Richardson, Michael Hutchinson, Paul Zabalegui Landa,
Gorka De Miguel Aramburu, David Izquierdo Calzada
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 147 - 154, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Miriam Grünhäuser, Igor Bier, Katharina Hartmann, Lennart Asbach
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 91 - 100, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Stefanie Schöne
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 129 - 134, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Benjamin Barth, Marcel Grec, Stefan Erl, Norma Montealegre, Alessandro de Rienzo
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 41 - 52, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Marion Berbineau, Michael Hutchinson, Emilie Masson, Jaizki Mendizabal, Michael Meyer zu Hörste
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 1 - 12, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Nerea Fernández-Berrueta, Jaizki Mendizabal, Benoît Faup, Alain Maintrot
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 53 - 66, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Dimitrios Sisiaridis, Sai Lokesh Posa
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 40, 2023, Page(s) 67 - 90, ISSN 1866-721X
Publisher:
Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR) Institute of Transportation Systems
Author(s):
Arne Borälv, Daniel Schwencke
Published in:
Proceedings of the 5th SmartRaCon Scientific Seminar (SRC5SS), Issue 13th WCRR, 2022
Publisher:
UIC
Author(s):
Arne Borälv, Daniel Schwencke
Published in:
Signalling Design Automation Forum (SDAF), Issue 2023, 2023
Publisher:
Prover Technologies
Author(s):
Ben Allen; Benjamin Barth; Marcel Grec; Stefan Erl; Ulrich Geier; Kerstin Keil; Naveen Kumar; Divitha Seetharamdoo; Eder Ollora Zaballa
Published in:
IEEE Communications Magazine, Issue Volume 61, 2023, Page(s) 34 - 40, ISSN 0163-6804
Publisher:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/mcom.001.2200130
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available