Simulated time for testing railway interlockings with TTCN-3

S.C.C. Blom, N. Ioustinova, J.C. Pol, van de, A. Rennoch, N. Sidorova

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Abstract

Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested separately from the hardware. Here we show that real time and scaled time semantics are inefficient for testing this software. We provide a time semantics with simulated time and show that this semantics is more suitable for testing of software of railway control systems. TTCN-3 is a standardized language for specifying and executing test suites. It supports real time and scaled time but not simulated time. We provide a solution that allows simulated time testing with TTCN-3. Our solution is based on Dijkstra’s distributed termination detection algorithm. The solution is implemented and can be reused for simulated time testing of other systems with similar characteristics.
Original languageEnglish
Title of host publicationFormal Approaches to Testing of Software (5th International Workshop, FATES 2005, Edinburgh, UK, August 11, 2005, Revised selected papers)
EditorsW. Grieskamp, C. Weise
Place of PublicationBerlin
PublisherSpringer
Pages1-15
ISBN (Print)3-540-34454-3
DOIs
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
Volume3997
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Simulated time for testing railway interlockings with TTCN-3'. Together they form a unique fingerprint.

  • Cite this

    Blom, S. C. C., Ioustinova, N., Pol, van de, J. C., Rennoch, A., & Sidorova, N. (2006). Simulated time for testing railway interlockings with TTCN-3. In W. Grieskamp, & C. Weise (Eds.), Formal Approaches to Testing of Software (5th International Workshop, FATES 2005, Edinburgh, UK, August 11, 2005, Revised selected papers) (pp. 1-15). (Lecture Notes in Computer Science; Vol. 3997). Berlin: Springer. https://doi.org/10.1007/11759744_1