Verification Report

Abstract

The main input for this deliverable was the Moving Block Specification (Deliverable D4.1, X2Rail-5), defining an ETCS L3 trackside system with moving block ("L3 trackside"). This document describes safety requirements for L3 trackside, in terms of a fault tree-based approach applied at the system of systems (SoS) level, evaluation and refinement of safety hazards for L3 trackside, and results from Formal Methods (FMs) application for V&V of requirements.Safety requirements for L3 trackside implementations should, if fulfilled, ensure that all relevant safety hazards are mitigated. In principle, this should be possible to achieve by: 1. Using a systematic approach to determine the safety hazards at the system of systems level, and apportion the relevant hazards to the L3 trackside subsystem, and 2. Defining safety requirements that are configurable for the different types of L3 trackside systems, and other static configuration data.