Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 4 Stimmen.
Electronic Interlocking on Indian Railways: With a Safety-Critical Analysis
Mikroprozessorgesteuerte Eisenbahnsignale oder allgemein als elektronische Stellwerke bezeichnet, sind seit Ende der 1980er Jahre bei den Eisenbahnen weltweit in Betrieb und wurden in den 1990er Jahren in Indien eingeführt. Es hat ältere relaisbasierte und elektromechanische Systeme schrittweise ersetzt. Da in solchen Systemen viel Software zum Einsatz kommt, ist neben der Zuverlässigkeit auch die Sicherheit für die Benutzer von größter Bedeutung. Die Methoden zur Gewährleistung der Sicherheit und zur Vermeidung von Gefahren werden in diesem Buch ausführlich behandelt.
-Einzelheiten zu allen Arten von elektronischen Stellwerken, die bei den indischen Eisenbahnen installiert sind, werden dargestellt.
-Der Vorteil eines einzelnen Prozessors mit gleichzeitiger Fehlererkennung im Vergleich zu zwei aus zwei und zwei aus drei modularen Systemen in Bezug auf Zuverlässigkeit, Sicherheit und Wirtschaftlichkeit wird erörtert.
-Einige Methoden der Gefahrenanalyse, die für elektronische Systeme relevant sind, wurden behandelt, mit Vorschlägen zur Verbesserung von Komponenten für Sicherheit und Zuverlässigkeit.
Die Verifizierung von Hard- und Software mit computergestützten Methoden und Simulation wurde beschrieben.
-Die formale Verifizierung von Eisenbahnstellwerken unter Anwendung theoretischer Informatik und Softwaretools wurde erläutert.
-Die Anwendung der Systemtechnik auf den Betrieb und die Wartung elektronischer Stellwerke zur Erhöhung der Sicherheit wird in einem eigenen Kapitel behandelt.
| ISBN: | 9781643242712 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
