Dependable Computing for Railway Control Systems

  • Giorgio Mongardi
Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 8)


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.


Railway Station Decision Table Operator Interface Triple Modular Redundancy Target Unit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. B. Balliet, J. R. Hoelscher. Microprocessor based interlocking control — concept to application. Proc. APTA Rail Transit Conf., Miami, Fl., 1986, pp. 13.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    M. S. Deutsch. Software verification and validation. Prentice-Hall of Software Engineering, 1982.Google Scholar
  4. [4]
    EWICS. Guideline for verification and validation of safety related software. EWICS TC7 333, 1983.Google Scholar
  5. [5]
    E. K. Holt. The application of microprocessors to interlocking logic. Proc. APTA Rail Transit Conf., Miami, FL, 1986, pp. 13.Google Scholar
  6. [6]
    IEC 65A. Software for computers in the application of industrial safety-related systems. IEC 65A (Secretariat) 122 Std.Google Scholar
  7. [7]
    IRSE 92. Safety system validation. IRSE — International Technical Committee, Rep.n. 1, 1992.Google Scholar
  8. [8]
    D. Nordenfors, A. Sjoeberg. Computer controlled electronic interlocking system, ERILOCK 850. ERICSSON Review, n. 1, 1986, pp. 1-12.Google Scholar
  9. [9]
    I. Okumura. Electronic interlocking to be tried in Japan. Railway Gazette International, n. 12, 1980, pp. 1043-1046.Google Scholar
  10. [10]
    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.Google Scholar
  11. [11]
    H. Strelow, H. Uebel. Das sichere Mikrocomputersystem SIMIS. Signal und Draht, n.4, 1978, pp. 82-86.Google Scholar
  12. [12]
    A. M. Traverso. A tool for specification analysis: complete decision tables. Proc. SAFECOMP 85, Como, Italy, 1985, pp. 53-56.Google Scholar
  13. [13]
    G. Wirthumer. VOTRICS — Fault tolerance realised in software. Proc. SAFECOMP 1989, Vienna, Austria, 1989, pp. 135-140.Google Scholar

Copyright information

© Springer-Verlag Wien 1993

Authors and Affiliations

  • Giorgio Mongardi
    • 1
  1. 1.ANSALDO TrasportiGenovaItaly

Personalised recommendations