@inproceedings{cc2f85f45ae54bc5b948d43384831f68,
title = "Simulated time for testing railway interlockings with TTCN-3",
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{\textquoteright}s distributed termination detection algorithm. The solution is implemented and can be reused for simulated time testing of other systems with similar characteristics.",
author = "S.C.C. Blom and N. Ioustinova and {Pol, van de}, J.C. and A. Rennoch and N. Sidorova",
year = "2006",
doi = "10.1007/11759744_1",
language = "English",
isbn = "3-540-34454-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--15",
editor = "W. Grieskamp and C. Weise",
booktitle = "Formal Approaches to Testing of Software (5th International Workshop, FATES 2005, Edinburgh, UK, August 11, 2005, Revised selected papers)",
address = "Germany",
}