Abstract
The assurance of required safety integrity level in the field of railway signalling is essential. The most commonly used verification, validation and testing methods are not exhaustive and can miss errors. This paper describes an alternative verification technique based on the TTCN-3 (Testing and Test Control Notation). The TTCN-3 is an internationally standardized testing language for formal defining of test scenarios and their implementation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blom, S., Ioustinova, N., Van de Pol, J., Rennoch, A., Sidorova, N.: Simulated Time for Testing Railway Interlockings with TTCN-3. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 1–15. Springer, Heidelberg (2006)
Calame, J.R., Goga, N., Ioustinova, N., Van de Pol, J.: TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, Ottawa, Canada (2006)
Hedberg, K., Elestedt, F.: Safety-critical Communication Controllers for Railway Signalling in Public Networks. Chalmers University of Technology, Göteborg (2008)
Łukasik, Z., Nowakowski, W.: ASN.1 notation for exchange of data in computer-based railway control systems. Transport Problems, Silesian University of Technology, Gliwice 4(2) (2009)
Mäki-Asiala, P.: Reuse of TTCN-3 Code, vol. 557. Espoo VTT Publications (2005)
Willcock, C., Deiß, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: An Introduction to TTCN-3. John Wiley & Sons Ltd., New York (2005)
EN 50129:2003- Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling
University of Science and Technology of China, http://ttcn.ustc.edu.cn
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Łukasik, Z., Nowakowski, W. (2010). Application of TTCN-3 for Testing of Railway Interlocking Systems. In: Mikulski, J. (eds) Transport Systems Telematics. TST 2010. Communications in Computer and Information Science, vol 104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16472-9_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-16472-9_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16471-2
Online ISBN: 978-3-642-16472-9
eBook Packages: Computer ScienceComputer Science (R0)