The safety guaranteeing system at station Hoorn-Kersenboogerd.

Author(s)
Groote, J.F. Vlijmen, S.F.M. van & Koorn, J.W.C.
Year
Abstract

At the Dutch station Hoorn-Kersenboogerd, computer equipment is used for the safe and in time movement of trains. The computer equipment can be divided in two layers. A top layer offering an interface and means to help a human operator in scheduling train movement. And a bottom layer which checks whether commands issued by the top layer can safely be executed by the rail hardware and which acts appropriately on detection of a hazardous situation. The bottom layer is implemented with a programmable piece of equipment namely a Vital Processor Interlocking (VPI). This paper introduces the most important features of the VPI at Hoorn-Kersenboogerd. This particular VPI is modelled in µCRL. Furthermore, the paper touches upon correctness criteria and tool support for VPI's, and suggests ways for verification of properties of VPI's. Experiments show that it is indeed possible to efficiently verify these correctness criteria. (A)

Request publication

2 + 0 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.

Publication

Library number
981259 ST [electronic version only]
Source

In: Proceedings of the tenth annual conference on computer assurance COMPASS 1995, IEEE catalogue number 95CH35802, p. 57-68, 42 ref.

Our collection

This publication is one of our other publications, and part of our extensive collection of road safety literature, that also includes the SWOV publications.