A mathematical model of the railway signaling rules used in the United Kingdom is presented as an example of the application of formal methods to the design of high-integrity computer equipment. A theory which can be used to specify a general railway network and the proving of the safety of routes within that network has been constructed by use of higher order logic (HOL). The HOL system and the railway signaling model are reviewed. Representation of rail networks and route finding and proving are discussed.
A formal approach to railway signalling
Ein formales Modell für die Spezifikation eines sicheren Eisenbahnnetzes
1990
7 Seiten, 7 Quellen
Conference paper
English
Formal methods for railway signalling
Tema Archive | 1989
|Formal specifications of railway signalling systems using Stateflow
Tema Archive | 2007
|Application on formal methods to the railway signalling system
IuD Bahn | 2002
|Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|