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


    RAILWAY INTERLOCKING

    BEMMENT SAMUEL DAVID | European Patent Office | 2025

    Free access

    Railway interlocking

    SAMUEL DAVID BEMMENT | European Patent Office | 2025

    Free access

    Railway interlocking

    European Patent Office | 2023

    Free access