Skip to main content

Enhancing railway signalling systems based on train satellite positioning, on-board safe train integrity, formal methods approach and standard interfaces, enhancing Traffic Management System functions

Deliverables

System Requirement Specification (SRS) for WEB-IF

Output of Task 6.7 - Provide functional and non-functional Requirements for the interface between Integration Layer and Web based on specified Use cases.

Train Integrity Concept and Functional Requirements Specifications

Output of Task 4.1 and Task 4.2 - Document describing the existing Train Integrity technologies & related products. For each product or technology, the document shall contain the technical suitability analysis for train interruption detection and train completeness monitoring. It also shall describe the functional requirements for a Train Integrity Management System.

System Architecture Specification and System Functional Hazard Analysis of the Fail-Safe Train Positioning subsystem

Output of Task 3.2, This deliverable provides the architecture specification of the Fail-Safe Train Positioning Functional Block and the related System Functional Hazard Analysis

Formal Methods (taxonomy and survey), Proposed Methods and Applications

Output of Task 5.2.1 and Task 5.2.2, This deliverable describes the principle of the classification, provides the results of the survey, the proposed methods and their possible application.

Test scenarios & test cases specifications

Output of Task 4.3 - Document containing test scenarios & test cases useful to cover the defined requirements.

System Requirement Specification (SRS) for standardized Operators Workstation

Output of Task 6.6 - Provide functional and non-functional Requirements for Operators workstation including architecture, and Interface to Integration Layer based on specified Use cases.

System Requirement Specification of the Fail-Safe Train Positioning Functional Block

Output of Task 3.2, This deliverable provides the requirement specification of the Fail-Safe Train Positioning Functional Block and its integration into ERTMS

Description of Key Principles for Design & Test of Prototypes

Output of Task 6.5 - Provide Key Principles for execution of development of for Design & Test Concepts for Prototypes incl. Report Structure.

Selection of standard interface(s)

Output of Task 5.3.1, deliverable with proposed approach to standard interfaces and interface(s) selection. The updated version will evaluate the interfaces defined in X2Rail-2 and, if possible, will select some of these interfaces where formal methods can be applied.

Functional architecture & Interfaces specifications & Candidate technologies selection

Output of Task 4.3 and Task 4.4 - Document containing functional architecture specifications taking into account SIL4 requirements. This document shall also include interfaces specifications according with TD2.4 and TD2.1 outcomes.

Project website

Output of Task 7.1 - Setting up and going live of the X2Rail-2 contents of the public website. It will be regularly updated with news and public deliverables.

Searching for OpenAIRE data...