1 \BOOKMARK [0][-]{chapter.1}{Vorwort}{}
2 \BOOKMARK [1][-]{section.1.1}{Danksagungen}{chapter.1}
3 \BOOKMARK [0][-]{chapter.2}{Einleitung}{}
4 \BOOKMARK [1][-]{section.2.1}{Zielsetzung}{chapter.2}
5 \BOOKMARK [1][-]{section.2.2}{Aufbau der Arbeit}{chapter.2}
6 \BOOKMARK [1][-]{section.2.3}{Comsoft GmbH}{chapter.2}
7 \BOOKMARK [0][-]{chapter.3}{Grundlagen}{}
8 \BOOKMARK [1][-]{section.3.1}{Flugsicherung}{chapter.3}
9 \BOOKMARK [2][-]{subsection.3.1.1}{Luftraumorganisation}{section.3.1}
10 \BOOKMARK [2][-]{subsection.3.1.2}{Staffelungsverfahren}{section.3.1}
11 \BOOKMARK [2][-]{subsection.3.1.3}{GCAA}{section.3.1}
12 \BOOKMARK [1][-]{section.3.2}{PRISMA-Architektur}{chapter.3}
13 \BOOKMARK [2][-]{subsection.3.2.1}{DMAP}{section.3.2}
14 \BOOKMARK [1][-]{section.3.3}{Compilerbau}{chapter.3}
15 \BOOKMARK [2][-]{subsection.3.3.1}{Compilerarchitekturen}{section.3.3}
16 \BOOKMARK [2][-]{subsection.3.3.2}{Werkzeugunterst\374tzung}{section.3.3}
17 \BOOKMARK [1][-]{section.3.4}{Sicherheitsfaktoren}{chapter.3}
18 \BOOKMARK [1][-]{section.3.5}{Produktvergleich}{chapter.3}
19 \BOOKMARK [2][-]{subsection.3.5.1}{CFMU}{section.3.5}
20 \BOOKMARK [2][-]{subsection.3.5.2}{PATS Departure Manager}{section.3.5}
21 \BOOKMARK [2][-]{subsection.3.5.3}{Departure Manager Frankfurt}{section.3.5}
22 \BOOKMARK [0][-]{chapter.4}{Anforderungsanalyse}{}
23 \BOOKMARK [1][-]{section.4.1}{Modellierung der Luftraumbeschr\344nkungen}{chapter.4}
24 \BOOKMARK [2][-]{subsection.4.1.1}{Benutzerqualifikation}{section.4.1}
25 \BOOKMARK [2][-]{subsection.4.1.2}{Sicherheitsfaktoren}{section.4.1}
26 \BOOKMARK [2][-]{subsection.4.1.3}{Flugplandaten}{section.4.1}
27 \BOOKMARK [2][-]{subsection.4.1.4}{Flussdichtenregelungen}{section.4.1}
28 \BOOKMARK [1][-]{section.4.2}{Abflugplanungskomponente}{chapter.4}
29 \BOOKMARK [1][-]{section.4.3}{Musskriterien}{chapter.4}
30 \BOOKMARK [1][-]{section.4.4}{Sollkriterien}{chapter.4}
31 \BOOKMARK [1][-]{section.4.5}{Abgrenzungskriterien}{chapter.4}
32 \BOOKMARK [1][-]{section.4.6}{Dokumentation}{chapter.4}
33 \BOOKMARK [0][-]{chapter.5}{Entwurf}{}
34 \BOOKMARK [1][-]{section.5.1}{ATCCL}{chapter.5}
35 \BOOKMARK [2][-]{subsection.5.1.1}{Syntax}{section.5.1}
36 \BOOKMARK [2][-]{subsection.5.1.2}{Beispiele}{section.5.1}
37 \BOOKMARK [2][-]{subsection.5.1.3}{Compiler}{section.5.1}
38 \BOOKMARK [2][-]{subsection.5.1.4}{Virtuelle Maschine}{section.5.1}
39 \BOOKMARK [2][-]{subsection.5.1.5}{Compilerprototyp}{section.5.1}
40 \BOOKMARK [2][-]{subsection.5.1.6}{Evaluation von Flugplanmustern}{section.5.1}
41 \BOOKMARK [2][-]{subsection.5.1.7}{Optimierung der Abflugzeit}{section.5.1}
42 \BOOKMARK [1][-]{section.5.2}{DFLOW}{chapter.5}
43 \BOOKMARK [2][-]{subsection.5.2.1}{DMAP-Interaktion}{section.5.2}
44 \BOOKMARK [2][-]{subsection.5.2.2}{Verarbeitungslogik}{section.5.2}
45 \BOOKMARK [2][-]{subsection.5.2.3}{Protokollierung}{section.5.2}
46 \BOOKMARK [0][-]{chapter.6}{Realisierung}{}
47 \BOOKMARK [1][-]{section.6.1}{Programmiersprache \046 Hilfsbibliotheken}{chapter.6}
48 \BOOKMARK [2][-]{subsection.6.1.1}{Compiler}{section.6.1}
49 \BOOKMARK [2][-]{subsection.6.1.2}{Comsoft stdbase}{section.6.1}
50 \BOOKMARK [2][-]{subsection.6.1.3}{CppUnit}{section.6.1}
51 \BOOKMARK [2][-]{subsection.6.1.4}{Code Coverage}{section.6.1}
52 \BOOKMARK [1][-]{section.6.2}{Entwicklungsumgebung}{chapter.6}
53 \BOOKMARK [2][-]{subsection.6.2.1}{IDE}{section.6.2}
54 \BOOKMARK [2][-]{subsection.6.2.2}{Versionsverwaltung}{section.6.2}
55 \BOOKMARK [2][-]{subsection.6.2.3}{Betriebssystem}{section.6.2}
56 \BOOKMARK [1][-]{section.6.3}{Dokumentation \046 Entwurf}{chapter.6}
57 \BOOKMARK [1][-]{section.6.4}{ATCCL}{chapter.6}
58 \BOOKMARK [2][-]{subsection.6.4.1}{flex-Konfiguration}{section.6.4}
59 \BOOKMARK [2][-]{subsection.6.4.2}{bison-Konfiguration}{section.6.4}
60 \BOOKMARK [2][-]{subsection.6.4.3}{Synthese}{section.6.4}
61 \BOOKMARK [1][-]{section.6.5}{DFLOW}{chapter.6}
62 \BOOKMARK [2][-]{subsection.6.5.1}{FDPS}{section.6.5}
63 \BOOKMARK [2][-]{subsection.6.5.2}{Node Manager}{section.6.5}
64 \BOOKMARK [2][-]{subsection.6.5.3}{AWP}{section.6.5}
65 \BOOKMARK [2][-]{subsection.6.5.4}{CWP}{section.6.5}
66 \BOOKMARK [0][-]{chapter.7}{Verifikation}{}
67 \BOOKMARK [1][-]{section.7.1}{Werkzeugeinsatz}{chapter.7}
68 \BOOKMARK [1][-]{section.7.2}{Unit-Tests}{chapter.7}
69 \BOOKMARK [1][-]{section.7.3}{Testspezifikation}{chapter.7}
70 \BOOKMARK [1][-]{section.7.4}{Testdurchf\374hrung}{chapter.7}
71 \BOOKMARK [1][-]{section.7.5}{Effizienz}{chapter.7}
72 \BOOKMARK [1][-]{section.7.6}{Leistungsanalyse}{chapter.7}
73 \BOOKMARK [2][-]{subsection.7.6.1}{Analysewerkzeuge}{section.7.6}
74 \BOOKMARK [2][-]{subsection.7.6.2}{Datensatz}{section.7.6}
75 \BOOKMARK [2][-]{subsection.7.6.3}{Auswertung}{section.7.6}
76 \BOOKMARK [0][-]{chapter.8}{Zusammenfassung}{}
77 \BOOKMARK [1][-]{section.8.1}{Fazit}{chapter.8}
78 \BOOKMARK [1][-]{section.8.2}{Ausblick}{chapter.8}
79 \BOOKMARK [0][-]{appendix.A}{Feinentwurf}{}
80 \BOOKMARK [1][-]{section.A.1}{ATCCL}{appendix.A}
81 \BOOKMARK [2][-]{subsection.A.1.1}{Factory}{section.A.1}
82 \BOOKMARK [2][-]{subsection.A.1.2}{Term-Hierarchy}{section.A.1}
83 \BOOKMARK [2][-]{subsection.A.1.3}{Property \(Auszug\)}{section.A.1}
84 \BOOKMARK [2][-]{subsection.A.1.4}{Virtual Machine}{section.A.1}
85 \BOOKMARK [2][-]{subsection.A.1.5}{Flight Plan Interface}{section.A.1}
86 \BOOKMARK [0][-]{appendix.B}{bison-Konfiguration}{}