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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification and validation of interlockings in the Netherland


    Additional title:

    Verifikation und Validation von Stellwerken in den Niederlanden



    Published in:

    Signal+Draht ; 94 , 11 ; 29-31


    Publication date :

    2002-01-01


    Size :

    3 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    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