Durch den stetigen 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 die komplexen und dynamischen Beschränkungen von Lufträumen? Die Arbeit dokumentiert den Projektverlauf einer Entwicklung von Softwarekomponenten für die Flugsicherung. Nach einer grundlegenden Einleitung in die Organisation der Flugsicherung, werden die Softwarekomponenten 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.