Formal methods for railway signalling
Formal methods for railway signalling
- Neue Suche nach: Cullyer, W.J.
- Neue Suche nach: Wise, J.W.
- Neue Suche nach: Cullyer, W.J.
- Neue Suche nach: Wise, J.W.
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.
Dokumentinformationen
Formal methods for railway signalling
Signaltheorie für das Eisenbahn-Signalwesen
1989
6 Seiten, 7 Quellen
Aufsatz (Konferenz)
Englisch
FORMALE SPEZIFIKATION , SPEZIFIKATIONSSPRACHE , EISENBAHNSIGNALTECHNIK , SIGNALVERARBEITUNG , SIGNALISIERUNG , VERRIEGELUNG , FAHRPLAN , LEITWEGLENKUNG , SICHERHEITSEINRICHTUNG , BETRIEBSSICHERHEIT , STOERSICHERHEIT , RECHNERUNTERSTUETZUNG , ANWENDERPROGRAMM , VERKEHRSLENKUNG , SCHIENENVERKEHR , PASCAL (PROGRAMMIERSPRACHE)
Ähnliche Titel
A formal approach to railway signalling
| Tema Archiv | 1990
Application of Formal Methods to the Railway Signalling Systems
| British Library Online Contents | 2002
Application on formal methods to the railway signalling system
| IuD Bahn | 2002
A New Formal Methods Guidebook for the Railway Signalling Domain
| TIBKAT | 2023