On Modeling and Testing Components of the European Train Control System

ANA, CAVALLI and CESAR, ANDRES and JOAO, SANTOS and NINA, YEVTUSHENKO and RUI, ABREU (2014) On Modeling and Testing Components of the European Train Control System. In: International Conference on Advances in Information Processing and Communication Technology - IPCT 2014, 07- 08 June,2014, Rome, Italy.

20140712_043342.pdf - Published Version

Download (648kB) | Preview
Official URL: https://www.seekdl.org/conferences/paper/details/3...


This paper studies the abilities of the formal model of a Timed Extended Finite State Machine (TEFSM) to represent the safety properties of the European Train Control System (ETCS). The model is based on Finite State Machines augmented with continuous variables and time information, which allows representing the basic functioning of the units in this real-time system. In order to represent temporal requirements, timeouts are used for modeling some aspects of the (internal) critical behavior of the train control system. The model abilities to represent safety properties are evaluated using different testing scenarios for model implementations in IF, XML and JAVA languages. Tests are automatically generated using the tool TestGen-IF where corresponding safety properties are specified as test objectives. Based on the obtained experimental results the advantages and disadvantages of a developed model are briefly discussed.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: European Train Control System, formal model, Timed Extended FSM, active testing, safety properties.
Depositing User: Mr. John Steve
Date Deposited: 20 May 2019 12:08
Last Modified: 20 May 2019 12:08
URI: http://publications.theired.org/id/eprint/2522

Actions (login required)

View Item View Item