• DocumentCode
    3091089
  • 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
  • fYear
    2005
  • fDate
    12-14 Oct. 2005
  • Firstpage
    131
  • Lastpage
    139
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on
  • ISSN
    1530-2059
  • Print_ISBN
    0-7695-2377-3
  • Type

    conf

  • DOI
    10.1109/HASE.2005.24
  • Filename
    1581290