|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|
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: http://www.cwi.nl/~jfg
This Page was prepared by Mark Jorgensen.