Zur Optimierung der Entwicklungsprozesse im Bahnbereich werden die beiden Werkzeuge DOORS (Requirements Engineering) und STATEMATE (integrierte Umgebung zur Analyse, zum Entwurf und zur Dokumentation formaler Methoden für technische Systeme) anhand von verschiedenen Fallstudien vorgestellt. Im Anschluss daran werden die Ergebnisse diskutiert.