Académique Documents
Professionnel Documents
Culture Documents
Heiko Frischmann Software-Fehler in RailSys Dr. Christoph Engelhardt Richtlinienverste nicht entkrftet
Folie 2
1. Wie stellt sich der Fehler dar? 2. Welche Auswirkungen hat der Fehler? 3. Wie kann der Fehler kompensiert werden? 4. Darstellung Rmcon ( Software-Hersteller) 5. Abschtzungen fr Stresstest Stuttgart 21 6. Der Beweis Was wurde eigentlich auditiert??? 7. Logische Konsequenzen
Folie 3
Ausfahrtssignale von allen Zgen, die sich in Bahnhfen verspteten, werden zu spt geschaltet Im realen Betriebsablauf wird sptestens zur angenommenen Abfahrt grngeschaltet In Railsys wird zur verspteten Abfahrt, grngeschaltet
Folie 4
Die Signalstellung in Railsys weicht um die Dauer der Versptungen von der Realitt ab!
Folie 5
2. Welche Auswirkungen hat der Fehler? Die Zge behindern sich weniger Folgeversptungen sind geringer Kritische Streckenelemente; also Kreuzungen, Weichen und Einmndungen verlieren an Brisanz In der Simulation werden betrieblich unmgliche Zugfahrten abgewickelt! Signalstellung ist nicht optimistisch modelliert, sondern einfach falsch Deshalb kann die simulierte Leistung reell nicht reproduziert werden!
Stuttgart 21-Leistungsnachweis endgltig gescheitert, 12.03.2012 Folie 7
3. Wie kann der Fehler kompensierten werden? Die einzige Programmoption, die den Fehler umgeht, wurde nicht verwendet (gestellte Ausfahrt)
Der Fehler ist nicht pauschal kompensierbar! Die Hhe des Simulationsfehlers ist von zu vielen Einflssen abhngig, insbesondere Zufallsgren, der Fahrplangestaltung und der jeweiligen Infrastruktur Beispiel fr Zufallsgre: Hhe der Versptungen Railsys hat keine Skriptsprache die das Problem angemessen behandeln knnte Rmcon muss den Fehler beheben! Nur eine Nachsimulation mit einem Update lst das Problem!
Stuttgart 21-Leistungsnachweis endgltig gescheitert, 12.03.2012 Folie 8
4. Darstellung Rmcon
eine Modellunschrfe ein Dadurch werde die Leistungsfhigkeit prinzipiell positiv beeinflut Die Auswirkungen auf die modellierte Leistungsfhigkeit seien nicht erheblich
Folie 9
4. Darstellung Rmcon
Behauptet auch SMA, jedoch eine Schutzbehauptung Wie sollen die anderen Handlungen konkret Aussehen?
Folie 10
Wirkung des SW-Fehlers bei Stuttgart 21 aufgrund der engen Belegung besonders gro: - Geringe Pufferzeiten! - Kurze Kreuzungsintervalle! - Gleisplan von Stuttgart 21 knapp und unflexibel! - Doppelbelegungen! - Viele kurze Haltezeiten SW-Fehler tritt hufiger auf! SW-Fehler bei Stuttgart 21 extrem kritisch!!!
Folie 11
Wie viele Zge muss die Bahn aus ihrem Fahrplan streichen?
Grob geschtzt ist die Leistung um rund 5% (2-3 Zge) zu hoch angegeben: Es sind noch etwa 46 Zge pro Stunde erreichbar
Stuttgart 21-Leistungsnachweis endgltig gescheitert, 12.03.2012 Folie 12
6. Der Beweis
Sperrzeitdiagramm
Streckenspiegel
Folie 13
Der Sachverhalt wurde von RMCon besttigt Der Sachverhalt wurde von RMCon besttigt telefonisch gegenber WikiReal telefonisch gegenber WikiReal nach eingehender Prfung des Sachverhalts nach eingehender Prfung des Sachverhalts telefonisch gegenber dem Verkehrsministerium BW telefonisch gegenber dem Verkehrsministerium BW (Email-Gesprchsvermerk) (Email-Gesprchsvermerk) Schriftliche Besttigung von einem der angesehensten Schriftliche Besttigung von einem der angesehensten Bahntechnik-Institutsleiter Bahntechnik-Institutsleiter Deutschlands (Email) Deutschlands (Email) Beweis: RailSys Screenshot Beweis: RailSys Screenshot Sperrzeitentreppe Sperrzeitentreppe
Folie 14
6. Der Beweis
6. Der Beweis
Soll-Weg-Linie
Versptung
Ist-Weg-Linie
6. Der Beweis
7. Logische Konsequenzen
Der Software-Fehler ist unabhngig von einem Eingestndnis der Bahn nachgewiesen und kann nicht wegdiskutiert werden Der Stresstest kann nicht als gltiger Leistungsnachweis anerkannt werden!
Folie 18
7. Schlusswort
Folie 19
Heiko Frischmann Software-Fehler in RailSys Dr. Christoph Engelhardt Richtlinienverste nicht entkrftet
Folie 20
Versptungsaufbau (Sek.)
60
30
wirtschaftlich optimal
risikobehaftet
Acceptable punctuality (delta delay near 0) Projektleister S21-Stresstest Dr. Thorsten Schaer, DB Netz AG, 21.06.2011: Wenn die Versptung konstant bleibt, dann spricht man von optimaler Betriebsqualtit
0 Premium
3
Fachbuch, Th. Schaer Co-Autor: Gute Betriebsqualitt bedeutet Versptungsabbau
-30
angestrebter Qualittsbereich
Prof. Herrmann Knoflacher 22.11.2011: Die Grenzen sind immer weiter nach unten gesetzt worden, damit man die Latte berspringt.
-60
Stresstest
Richtlinie 405
405.0104 S. 21
Bahnwissenschaft
Soll-Auswertezeitraum Schlichterspruch 38 32 32 26
32
19
10
Stunde
Es fehlen 24 Zge des Vorlaufs und der Hauptverkehrszeit! Hinzu kommt die Mittelung ber 4 Stunden: ca. 13,5 % Fehler! Eine Korrektur wrde bedeuten, 6 Zge weniger als 49!
Stuttgart 21-Leistungsnachweis endgltig gescheitert, 12.03.2012
(3) Die von der Bahn zugrunde gelegten Anknfte lassen die in Stuttgart eingesetzten Zge aus
Stuttgart Hbf 2011, Zge und Anknfte Stuttgart Hbf Zge
40 40
Zge (Zughalte) Zge (Zughalte) Anknfte Anknfte Bei Wahl der
37 37 35 35 29 29 25 25
24 19
30 30
20 20
24 24
16 16
10 10
3 0 0 4:00 5 5
11
6:00 10:00
Folie 23
7:00
5:00
8:00
4:00
5:00
6:00
7:00
8:00
9:00
Stunde
Die heute in Stuttgart eingesetzten Zge sind Teil des Verkehrsbedarfs und knnen nicht zuknftig entfallen
Stuttgart 21-Leistungsnachweis endgltig gescheitert, 12.03.2012
9:00
Ein Rettungsboot soll 49 Personen aufnehmen, trgt aber nur 32. Ein Test soll es zeigen. Der Schiffseigner setzt 49 Kinder in das Boot. Dem Auditor ist das nicht ganz geheuer, also lsst er fr den Nachweis probeweise ein oder hchstens zwei Kinder durch Erwachsene austauschen, und: Test bestanden!
In praktisch smtlichen Auswertungen erweist sich die Einfahrt in den neuen Hauptbahnhof als stark versptungsaufbauend
Stuttgart 21-Leistungsnachweis endgltig gescheitert, 12.03.2012 Folie 25
Stuttgart Hbf
Pragtunnel +4
Die fr Stuttgart 21 neu gebaute Infrastruktur baut deutlich Versptungen auf, die Altstruktur kaum
Folie 26
Die Leistungsfhigkeit von Stuttgart 21 musste wiederholt nach unten korrigiert werden
90
Kopfbahnhof
Bedarf
+100%
Ausbau
49 WikiReal-
Konflikttrchtiger Fahrplan
38 32
Prof. Schwanhuer
32
32
30 31
Vgl. Grobahnhfe
1997
Die realistisch zu erwartende Kapazitt liegt deutlich unter der des Kopfbahnhofs
Stuttgart 21-Leistungsnachweis endgltig gescheitert, 12.03.2012 Folie 27
Belegungsgrade
44
Kritik
50
+35%
Fehler-Korrekt.
Folie 30
Was ist die Anwenderrichtlinie KNS? Nach welchen Erfahrungswerten schtzt die SMA anzurechnende Fahrzeitberschsse ab?
Stuttgart 21-Leistungsnachweis endgltig gescheitert, 12.03.2012 Folie 31
Folie 32
Folie 33