Abstract
This paper deals with a dependable microprocessor system applied to control equipment and train movements in a railway station. First, application general requirements are outlined and basic principles and adopted techniques for dependability are shown; hardware and software vital architecture are described. Then some details about application special features are given, in order to present a suitable software verification and validation environment and to explain procedures and tools for system design. At last, some hints about first installations and relevant results are given.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. B. Balliet, J. R. Hoelscher. Microprocessor based interlocking control — concept to application. Proc. APTA Rail Transit Conf., Miami, Fl., 1986, pp. 13.
A. H. Cribbens, M. J. Furniss, H. A. Ryland. The solid state interlocking project. Proc. IRSE Symposium “Railways in the Electronic Age”, London, UK, 1981, pp. 1-5.
M. S. Deutsch. Software verification and validation. Prentice-Hall of Software Engineering, 1982.
EWICS. Guideline for verification and validation of safety related software. EWICS TC7 333, 1983.
E. K. Holt. The application of microprocessors to interlocking logic. Proc. APTA Rail Transit Conf., Miami, FL, 1986, pp. 13.
IEC 65A. Software for computers in the application of industrial safety-related systems. IEC 65A (Secretariat) 122 Std.
IRSE 92. Safety system validation. IRSE — International Technical Committee, Rep.n. 1, 1992.
D. Nordenfors, A. Sjoeberg. Computer controlled electronic interlocking system, ERILOCK 850. ERICSSON Review, n. 1, 1986, pp. 1-12.
I. Okumura. Electronic interlocking to be tried in Japan. Railway Gazette International, n. 12, 1980, pp. 1043-1046.
ORE A155, Office de Recherches et d’Essais de l’Union Internationale de Chemins de Fer, Question A155.2. Use of electronics in railway signalling — Software for safety systems. Utrecht, NL, 1985–87.
H. Strelow, H. Uebel. Das sichere Mikrocomputersystem SIMIS. Signal und Draht, n.4, 1978, pp. 82-86.
A. M. Traverso. A tool for specification analysis: complete decision tables. Proc. SAFECOMP 85, Como, Italy, 1985, pp. 53-56.
G. Wirthumer. VOTRICS — Fault tolerance realised in software. Proc. SAFECOMP 1989, Vienna, Austria, 1989, pp. 135-140.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Wien
About this paper
Cite this paper
Mongardi, G. (1993). Dependable Computing for Railway Control Systems. In: Landwehr, C.E., Randell, B., Simoncini, L. (eds) Dependable Computing for Critical Applications 3. Dependable Computing and Fault-Tolerant Systems, vol 8. Springer, Vienna. https://doi.org/10.1007/978-3-7091-4009-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-7091-4009-3_11
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-4011-6
Online ISBN: 978-3-7091-4009-3
eBook Packages: Springer Book Archive