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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Application of TTCN-3 for Testing of Railway Interlocking Systems

    Lukasik, Z. / Nowakowski, W. | British Library Conference Proceedings | 2010


    Modelling Railway Interlocking Systems

    Lindegaard, M. P. / Viuf, P. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001


    Micro TTCN - an approach to continuous signals in TTCN-3

    Bräuer, Jens / Kleinwechter, Henning / Leicher, Andreas | Tema Archive | 2007


    Automatic instantiation for railway interlocking systems

    Banci, M. / Gnesi, S. | Tema Archive | 2007


    Interoperability Testing Based on TTCN-3 for V2G Communication Interfaces

    Groning, Sven / Lewandowski, Christian / Schmutzler, Jens et al. | IEEE | 2012