Simulated time for testing railway interlockings with TTCN-3

Authors:
Stefan Blom;Natalia Ioustinova;Jaco van de Pol;Axel Rennoch;Natalia Sidorova
Affiliations:
Institute of Computer Science, University of Innsbruck, Innsbruck, Austria;Centrum voor Wiskunde en Informatica, SEN2, Amsterdam, The Netherlands;Centrum voor Wiskunde en Informatica, SEN2, Amsterdam, The Netherlands;Fraunhofer FOKUS, Berlin, Germany;Dept. of Math. and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Year:
2005

Citing 5
Cited 1

What Good Are Digital Clocks?

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
EURIS, a Specification Method for Distributed Interlockings

SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
An Automatic SPIN Validation of a Safety Critical Railway Control System

DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
An Overview and Synthesis on Timed Process Algebras

Proceedings of the Real-Time: Theory in Practice, REX Workshop
An introduction to the testing and test control notation (TTCN-3)

Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)

TTCN-3 for distributed testing embedded software

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics

Quantified Score

Hi-index	0.00

Visualization

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.