At the moment, railway signalling systems are designed in a manner which is based on concepts of interlocking and signalling which have grown up over the last 150 years. Considerable use is made of 'relay diagrams' and tables to define interlocking and routing. The excellent safety record of railways worldwide is due to a large extent to the rigour of the regulations which have been evolved by generations of signalling and telecommunications engineers. With the increasing use of microelectronics and computing in railway signalling, it is reasonable to ask if the rules promulgated by the UK Institute of Railway Signalling Engineers can be formulated in a mathematical way, which will suit the development of computer-controlled interlocking and routing. In particular, this paper considers the application of the specification language HOL and computer languages such as Pascal.
Formal methods for railway signalling
Signaltheorie für das Eisenbahn-Signalwesen
1989
6 Seiten, 7 Quellen
Conference paper
English
FORMALE SPEZIFIKATION , SPEZIFIKATIONSSPRACHE , EISENBAHNSIGNALTECHNIK , SIGNALVERARBEITUNG , SIGNALISIERUNG , VERRIEGELUNG , FAHRPLAN , LEITWEGLENKUNG , SICHERHEITSEINRICHTUNG , BETRIEBSSICHERHEIT , STOERSICHERHEIT , RECHNERUNTERSTUETZUNG , ANWENDERPROGRAMM , VERKEHRSLENKUNG , SCHIENENVERKEHR , PASCAL (PROGRAMMIERSPRACHE)
Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|A formal approach to railway signalling
Tema Archive | 1990
|Application on formal methods to the railway signalling system
IuD Bahn | 2002
|Formal specifications of railway signalling systems using Stateflow
Tema Archive | 2007
|