Durch das stetige Wachstum des Luftverkehrs sind die Kapazitäten in manchen Regionen der Welt bereits ausgelastet. Wie im Straßenverkehr entstehen auch im Luftverkehrsnetz Engpässe. Neben der Gewährleistung der Sicherheit verfolgt die Flugsicherung auch ökonomische und ökologische Ziele. Regulatorische Eingriffe in den Flugverlauf haben Auswirkung auf den Treibstoffverbrauch und die Flugdauer - wie kann man die Häufigkeit solcher Maßnahmen reduzieren? Wie modelliert man erfolgreich die komplexen und dynamischen Beschränkungen der Lufträume? Die Arbeit dokumentiert den Projektverlauf einer Entwicklung von Softwarekomponenten für die Flugsicherung. Nach einer grundlegenden Einleitung in die Organisation der Flugsicherung, wird die Entwicklung der Komponenten im Detail erläutert. Anschließend werden die Analysemethoden vorgestellt und die Auswertung des Testbetriebs präsentiert. Das Buch richtet sich an Entwickler sicherheitskritischer Software, an Interessierte der Luftfahrt und der Flugsicherung und an alle, die hinter die Kulissen eines solchen Projekts blicken möchten.