The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application

  • G. A. Mutone
  • M. Rothfelder
Conference paper


This paper starts with a general description of the AEG Transportation Systems, Inc. Automatic People Mover System. Subsequently, the specific safety requirements of the ATP, and the consequent design features to meet these requirements are described. Following this introduction, details of the relationship between designer and certifier, the utilization of embedded rules-based systems, the concurrence of the design and certification process, and the de-coupling of the safety functions from the hardware are given. It is described how the dramatic improvements in the traditional large costs and long schedules normally associated with both the design and certification of safe computer systems are made possible.


Certification Process Safety Function Software Requirement Specification Track Circuit Automatic Train 
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.
    Verordnung über den Bau und Betrieb der Straßenbahnen (Straßenbahn-Bau- und Betriebsordnung — BOStrab) vom 11. Dezember 1987, Bundesgesetzblatt Teil I Nr. 58 vom 18. Dezember 1987Google Scholar
  2. 2.
    DIN VDE 0831/08.90 Elektrische Bahn-SignalanlagenGoogle Scholar
  3. 3.
    DIN V 19250/01.89 Messen-Steuern-Regeln: Grundlegende Sicherheitsbetrachtungen für MSR-SchutzeinrichtungenGoogle Scholar
  4. 4.
    DIN V VDE 0801/01.90 Grundsätze für Rechner in Systemen mit SicherheitsaufgabenGoogle Scholar
  5. 5.
    Grundsätze zur technischen Zulassung in der Signal- und Nachrichtentechnik (Mü 8004), Deutsche Bundesbahn, Bundesbahn-Zentralamt München, 01.02.1993Google Scholar
  6. 6.
    G. A. Mutone, J. Daubner, Vital Automatic Control of Guided Transports with Real-Time Expert Systems, ITTG ’93, Lille, France, September 1993Google Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • G. A. Mutone
    • 1
  • M. Rothfelder
    • 2
  1. 1.AEG Transportation Systems, Inc.PittsburghUSA
  2. 2.Institute for Software, ElectronicsRailroad Technology (ISEB) of TÜV RheinlandCologneGermany

Personalised recommendations