Title :
The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system
Author :
Tommaso, Pasquale Di ; Flammini, Francesco ; Lazzaro, Armando ; Pellecchia, Raffaele ; Sanseviero, Angela
Author_Institution :
Ansaldo Signal, Naples, Italy
Abstract :
ERTMS/ETCS is going to become the reference standard for modern railway signalling. To develop a safe and reliable automatic train protection system (ATPS) based on ERTMS/ETCS, a detailed functional testing phase is needed, meeting the requirements of international railway safety standards. In this paper we deal with the functional validation of the trackside part of an ERTMS/ETCS compliant system. An extensive set of functional tests have been specified in order to thoroughly verify the system, using an innovative approach based on influence variables and state diagrams. However, such a detailed test specification requires a great amount of time and resources to be entirely executed in the real environment. Moreover, several tests need to generate abnormal safety-critical conditions that are unfeasible on the field. In this paper we describe how we overcame such problems using a specific simulation environment capable to quickly and automatically execute anomaly tests in normal as well as in degraded operating conditions.
Keywords :
formal specification; formal verification; program testing; railway safety; railways; safety-critical software; signalling; ERTMS; ETCS trackside system; automatic train protection system; formal specification; functional testing; functional validation; international railway safety standard; railway signalling; safety-critical system; Automatic testing; Control systems; Degradation; Hazards; Modeling; Performance analysis; Rail transportation; Railway safety; Software testing; System testing; ERTMS/ETCS; Functional Testing; Safety-Critical Systems; Simulation Environments; Verification & Validation;
Conference_Titel :
High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on
Print_ISBN :
0-7695-2377-3
DOI :
10.1109/HASE.2005.24