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.
|Title of host publication||Formal Approaches to Testing of Software (5th International Workshop, FATES 2005, Edinburgh, UK, August 11, 2005, Revised selected papers)|
|Editors||W. Grieskamp, C. Weise|
|Place of Publication||Berlin|
|Publication status||Published - 2006|
|Name||Lecture Notes in Computer Science|
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