next up previous

Final Report of the COST-247 Action

Verification of a railway safety box

Jan Friso Groote

Centrum voor Wiskunde en Informatica
Specification and Analysis of Embedded Systems
P.O. Box 94079
1090 GB Amsterdam
The Netherlands
Tel. +31-20-5924232
Fax. +31-20-5924199


We formulate safety requirements for railyard control and model these using modal logic. We transform code used by the Dutch Railway Company to safeguard stations as well as the requirements into propositional logic and verify these using a propositional logical checker. In this way we have established safety of railway control at the stations Hoorn-Kersenboogerd and HeerHugowaard.

This presentation has been given during the COST-247 3rd Management Committee Meeting (Evry, France, September 19--20, 1994).

COST-247 Working Group(s): 2

Web link:

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page