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.
Verification and validation of interlockings in the Netherland
Verifikation und Validation von Stellwerken in den Niederlanden
Signal+Draht ; 94 , 11 ; 29-31
2002-01-01
3 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Engineering Index Backfile | 1938
Engineering Index Backfile | 1938
Interlockings installed at two crossings
Engineering Index Backfile | 1940
IuD Bahn | 2005
|Compositional Verification of Railway Interlockings: Comparison of Two Methods
British Library Conference Proceedings | 2022
|