Verifying and testing ETCS Train Implementations based on IF specifications

ANA, CAVALLI and DENISA, IANCULESCU and MOUNIR, LALLALI and NATALIA, KUSHIK, and NINA, YEVTUSHENKO (2014) Verifying and testing ETCS Train Implementations based on IF specifications. In: International Conference on Advances in Information Processing and Communication Technology - IPCT 2014, 07- 08 June,2014, Rome, Italy.

20140712_061957.pdf - Published Version

Download (710kB) | Preview
Official URL:


This paper presents test generation scenarios for a train implementation based on the requirements for European Train Control System (ETCS). The formal model used for the test derivation is the model of a Timed Extended Finite State Machine (TEFSM) given in the IF language. This language allows to capture some important properties such as safety properties that should be checked for train implementations represented as corresponding test objectives. The tool TestGen-IF is then used for automatic generation of test cases.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: —Timed Extended FSM, ETCS, IF language, TestGen-IF tool.
Depositing User: Mr. John Steve
Date Deposited: 21 May 2019 09:07
Last Modified: 21 May 2019 09:07

Actions (login required)

View Item View Item