The page lists 6 deliverables related to the research project "X2RAIL-2".
title and desprition | type | last update |
---|---|---|
System Architecture Specification and System Functional Hazard Analysis of the Fail-Safe Train Positioning subsystemOutput 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 Programme: H2020-EU.3.4.8.2. - Topic(s): S2R-CFM-IP2-01-2017 |
Documents, reports | 2019-11-22 |
System Requirement Specification of the Fail-Safe Train Positioning Functional BlockOutput of Task 3.2, This deliverable provides the requirement specification of the Fail-Safe Train Positioning Functional Block and its integration into ERTMS Programme: H2020-EU.3.4.8.2. - Topic(s): S2R-CFM-IP2-01-2017 |
Documents, reports | 2019-11-22 |
Train Integrity Concept and Functional Requirements SpecificationsOutput 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. Programme: H2020-EU.3.4.8.2. - Topic(s): S2R-CFM-IP2-01-2017 |
Documents, reports | 2019-11-22 |
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. Programme: H2020-EU.3.4.8.2. - Topic(s): S2R-CFM-IP2-01-2017 |
Documents, reports | 2019-11-20 |
Project websiteOutput 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. Programme: H2020-EU.3.4.8.2. - Topic(s): S2R-CFM-IP2-01-2017 |
Websites, patent fillings, videos etc. | 2019-11-20 |
Formal Methods (taxonomy and survey), Proposed Methods and ApplicationsOutput 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. Programme: H2020-EU.3.4.8.2. - Topic(s): S2R-CFM-IP2-01-2017 |
Documents, reports | 2019-11-20 |