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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Application of TTCN-3 for Testing of Railway Interlocking Systems


    Beteiligte:


    Erscheinungsdatum :

    01.01.2010


    Format / Umfang :

    8 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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 | Europäisches Patentamt | 2025

    Freier Zugriff

    Railway interlocking

    SAMUEL DAVID BEMMENT | Europäisches Patentamt | 2025

    Freier Zugriff

    Railway interlocking

    Europäisches Patentamt | 2023

    Freier Zugriff