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.

BibTeX

@inproceedings{BIPRS-FATES05,
  author      = "Stefan Blom and Natalia Ioustinova and Jaco van de Pol
                 and Axel Rennoch and Natalia Sidorova",
  title       = "Simulated Time for Testing Railway Interlockings with
                 TTCN-3",
  booktitle   = "Proceedings of the 5th International Workshop on Formal
                 Approaches to Software Testing",
  series      = "Lecture Notes in Computer Science",
  volume      = 3997,
  pages       = "1--15",
  publisher   = "Springer-Verlag",
  year        = 2006
}