Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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 1987
DIN VDE 0831/08.90 Elektrische Bahn-Signalanlagen
DIN V 19250/01.89 Messen-Steuern-Regeln: Grundlegende Sicherheitsbetrachtungen für MSR-Schutzeinrichtungen
DIN V VDE 0801/01.90 Grundsätze für Rechner in Systemen mit Sicherheitsaufgaben
Grundsätze zur technischen Zulassung in der Signal- und Nachrichtentechnik (Mü 8004), Deutsche Bundesbahn, Bundesbahn-Zentralamt München, 01.02.1993
G. A. Mutone, J. Daubner, Vital Automatic Control of Guided Transports with Real-Time Expert Systems, ITTG ’93, Lille, France, September 1993
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag London Limited
About this paper
Cite this paper
Mutone, G.A., Rothfelder, M. (1993). The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application. In: Górski, J. (eds) SAFECOMP ’93. SAFECOMP 1993. Springer, London. https://doi.org/10.1007/978-1-4471-2061-2_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2061-2_7
Published:
Publisher Name: Springer, London
Print ISBN: 978-3-540-19838-3
Online ISBN: 978-1-4471-2061-2
eBook Packages: Springer Book Archive