Conference Proceedings

International Conference on Advances in Information Processing and Communication Technology - IPCT 2014

On Modeling and Testing Components of the European Train Control System

Author(s) : ANA CAVALLI   , CESAR ANDRES    , JOAO SANTOS   , NINA YEVTUSHENKO, RUI ABREU

Abstract

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.

Conference Title : International Conference on Advances in Information Processing and Communication Technology - IPCT 2014
Conference Date(s) : 07- 08 June,2014
Place : Hotel Novotel Roma La Rustica, Rome, Italy
No fo Author(s) : 5
DOI : 10.15224/978-1-63248-021-7-72
Page(s) : 31 - 35
Electronic ISBN : 978-1-63248-021-7
Views : 820   |   Download(s) : 147