On modeling and testing components of the European Train Control System - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

On modeling and testing components of the European Train Control System

Résumé

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.
Fichier non déposé

Dates et versions

hal-01262564 , version 1 (26-01-2016)

Identifiants

Citer

Cesar Andres Sanchez, Ana Rosa Cavalli, Nina Yevtushenko, João Santos, Rui Abreu. On modeling and testing components of the European Train Control System. IPCT 2014 : International Conference on Advances in Information Processing And Communication Technology, Jun 2014, Rome, Italy. pp.31 - 35, ⟨10.15224/978-1-63248-021-7-72⟩. ⟨hal-01262564⟩
86 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More