Die Verifikations- und Validations-Prozesse in Bezug auf Stellwerke entwickeln sich in den Niederlanden von impliziten zu expliziten formalen Methoden. Im Aufsatz wird diese Entwicklung mit der Weiterentwicklung der Organisationen und der Signaltechnik gesehen. Die neuen aufgeteilten Organisationsformen mit verschiedenen Zuständigkeiten und die immer komplexer werdenden Techniken fordern die Nutzung formaler Methoden.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification and validation of interlockings in the Netherland


    Weitere Titelangaben:

    Verifikation und Validation von Stellwerken in den Niederlanden



    Erschienen in:

    Signal+Draht ; 94 , 11 ; 29-31


    Erscheinungsdatum :

    2002-01-01


    Format / Umfang :

    3 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Four interlockings combined

    Engineering Index Backfile | 1938


    Four interlockings combined

    Engineering Index Backfile | 1938


    Interlockings installed at two crossings

    Engineering Index Backfile | 1940


    The Netherland

    Van de Velde, Didier | IuD Bahn | 2005


    Compositional Verification of Railway Interlockings: Comparison of Two Methods

    Fantechi, Alessandro / Gori, Gloria / Haxthausen, Anne E. et al. | British Library Conference Proceedings | 2022