Conference Proceedings

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

Verifying and testing ETCS Train Implementations based on IF specifications

Author(s) : ANA CAVALLI   , DENISA IANCULESCU    , MOUNIR LALLALI    , NATALIA KUSHIK, NINA YEVTUSHENKO

Abstract

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.

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-91
Page(s) : 132 - 136
Electronic ISBN : 978-1-63248-021-7
Views : 639   |   Download(s) : 155