Fixed minor error.
1 \select@language {ngerman}
2 \contentsline {chapter}{\numberline {1}Vorwort}{5}{chapter.1}
3 \contentsline {section}{\numberline {1.1}Danksagungen}{6}{section.1.1}
4 \contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}
5 \contentsline {section}{\numberline {2.1}Zielsetzung}{8}{section.2.1}
6 \contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}
7 \contentsline {section}{\numberline {2.3}Comsoft GmbH}{10}{section.2.3}
8 \contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}
9 \contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}
10 \contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}
11 \contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}
12 \contentsline {subsubsection}{Routensystem}{12}{section*.3}
13 \contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}
14 \contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}
15 \contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}
16 \contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}
17 \contentsline {subsubsection}{Slot}{14}{section*.7}
18 \contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}
19 \contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}
20 \contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}
21 \contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}
22 \contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}
23 \contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}
24 \contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}
25 \contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}
26 \contentsline {subsubsection}{LLVM}{22}{section*.10}
27 \contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}
28 \contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}
29 \contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}
30 \contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}
31 \contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}
32 \contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}
33 \contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}
34 \contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}
35 \contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}
36 \contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}
37 \contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}
38 \contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}
39 \contentsline {subsubsection}{Redundanz}{27}{section*.14}
40 \contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}
41 \contentsline {subsubsection}{Aerodrome}{28}{section*.15}
42 \contentsline {subsubsection}{Runway}{29}{section*.16}
43 \contentsline {subsubsection}{Aircraft Type}{29}{section*.17}
44 \contentsline {subsubsection}{Flight Type}{29}{section*.18}
45 \contentsline {subsubsection}{True Airspeed}{29}{section*.19}
46 \contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}
47 \contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}
48 \contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}
49 \contentsline {section}{\numberline {4.4}Sollkriterien}{32}{section.4.4}
50 \contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{33}{section.4.5}
51 \contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}
52 \contentsline {chapter}{\numberline {5}Entwurf}{35}{chapter.5}
53 \contentsline {section}{\numberline {5.1}ATCCL}{35}{section.5.1}
54 \contentsline {subsection}{\numberline {5.1.1}Syntax}{36}{subsection.5.1.1}
55 \contentsline {subsubsection}{Notation}{36}{section*.20}
56 \contentsline {subsubsection}{Buchstaben und Ziffern}{37}{section*.21}
57 \contentsline {subsubsection}{Kommentare}{37}{section*.22}
58 \contentsline {subsubsection}{Terminatoren}{37}{section*.23}
59 \contentsline {subsubsection}{Bezeichner}{38}{section*.24}
60 \contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{38}{section*.25}
61 \contentsline {subsubsection}{Datentypen und Konstanten}{39}{section*.26}
62 \contentsline {subsubsection}{Flugplaneigenschaften}{40}{section*.27}
63 \contentsline {subsubsection}{Operatoren}{41}{section*.28}
64 \contentsline {subsubsection}{Regeldefinitionen}{41}{section*.29}
65 \contentsline {subsubsection}{Programm}{43}{section*.30}
66 \contentsline {subsection}{\numberline {5.1.2}Beispiele}{44}{subsection.5.1.2}
67 \contentsline {subsubsection}{Bsp. 1: Zielstellung}{44}{section*.31}
68 \contentsline {subsubsection}{Bsp. 1: Code}{44}{section*.32}
69 \contentsline {subsubsection}{Bsp. 1: Bemerkungen}{44}{section*.33}
70 \contentsline {subsubsection}{Bsp. 2: Zielstellung}{45}{section*.34}
71 \contentsline {subsubsection}{Bsp. 2: Code}{45}{section*.35}
72 \contentsline {subsubsection}{Bsp. 2: Bemerkungen}{45}{section*.36}
73 \contentsline {subsection}{\numberline {5.1.3}Compiler}{46}{subsection.5.1.3}
74 \contentsline {subsubsection}{Scanner}{47}{section*.37}
75 \contentsline {subsubsection}{Parser}{47}{section*.38}
76 \contentsline {subsubsection}{Synthese}{47}{section*.39}
77 \contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{48}{subsection.5.1.4}
78 \contentsline {subsubsection}{FlightPlan-Interface}{49}{section*.40}
79 \contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{50}{subsection.5.1.5}
80 \contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{52}{subsection.5.1.6}
81 \contentsline {subsubsection}{Beispiel}{52}{section*.41}
82 \contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{53}{subsection.5.1.7}
83 \contentsline {subsubsection}{Algorithmus}{55}{section*.42}
84 \contentsline {subsubsection}{Komplexit\IeC {\"a}t}{56}{section*.43}
85 \contentsline {subsubsection}{Alternative}{57}{section*.44}
86 \contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{57}{section*.45}
87 \contentsline {section}{\numberline {5.2}DFLOW}{58}{section.5.2}
88 \contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{58}{subsection.5.2.1}
89 \contentsline {subsubsection}{Map}{59}{section*.46}
90 \contentsline {subsubsection}{Notify}{59}{section*.47}
91 \contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{60}{subsection.5.2.2}
92 \contentsline {subsection}{\numberline {5.2.3}Protokollierung}{62}{subsection.5.2.3}
93 \contentsline {chapter}{\numberline {6}Realisierung}{63}{chapter.6}
94 \contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{63}{section.6.1}
95 \contentsline {subsection}{\numberline {6.1.1}Compiler}{63}{subsection.6.1.1}
96 \contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{64}{subsection.6.1.2}
97 \contentsline {subsection}{\numberline {6.1.3}CppUnit}{64}{subsection.6.1.3}
98 \contentsline {subsection}{\numberline {6.1.4}Code Coverage}{65}{subsection.6.1.4}
99 \contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{65}{section.6.2}
100 \contentsline {subsection}{\numberline {6.2.1}IDE}{65}{subsection.6.2.1}
101 \contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{66}{subsection.6.2.2}
102 \contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{66}{subsection.6.2.3}
103 \contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{66}{section.6.3}
104 \contentsline {section}{\numberline {6.4}ATCCL}{66}{section.6.4}
105 \contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{66}{subsection.6.4.1}
106 \contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{70}{subsection.6.4.2}
107 \contentsline {subsection}{\numberline {6.4.3}Synthese}{70}{subsection.6.4.3}
108 \contentsline {section}{\numberline {6.5}DFLOW}{71}{section.6.5}
109 \contentsline {subsection}{\numberline {6.5.1}FDPS}{71}{subsection.6.5.1}
110 \contentsline {subsection}{\numberline {6.5.2}Node Manager}{72}{subsection.6.5.2}
111 \contentsline {subsection}{\numberline {6.5.3}AWP}{72}{subsection.6.5.3}
112 \contentsline {subsection}{\numberline {6.5.4}CWP}{73}{subsection.6.5.4}
113 \contentsline {chapter}{\numberline {7}Verifikation}{75}{chapter.7}
114 \contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{75}{section.7.1}
115 \contentsline {section}{\numberline {7.2}Unit-Tests}{76}{section.7.2}
116 \contentsline {section}{\numberline {7.3}Testspezifikation}{76}{section.7.3}
117 \contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{77}{section.7.4}
118 \contentsline {section}{\numberline {7.5}Effizienz}{78}{section.7.5}
119 \contentsline {section}{\numberline {7.6}Leistungsanalyse}{78}{section.7.6}
120 \contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{78}{subsection.7.6.1}
121 \contentsline {subsection}{\numberline {7.6.2}Datensatz}{79}{subsection.7.6.2}
122 \contentsline {subsection}{\numberline {7.6.3}Auswertung}{80}{subsection.7.6.3}
123 \contentsline {chapter}{\numberline {8}Zusammenfassung}{83}{chapter.8}
124 \contentsline {section}{\numberline {8.1}Fazit}{83}{section.8.1}
125 \contentsline {section}{\numberline {8.2}Ausblick}{83}{section.8.2}
126 \contentsline {chapter}{\numberline {A}Feinentwurf}{93}{appendix.A}
127 \contentsline {section}{\numberline {A.1}ATCCL}{93}{section.A.1}
128 \contentsline {subsection}{\numberline {A.1.1}Factory}{93}{subsection.A.1.1}
129 \contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{93}{subsection.A.1.2}
130 \contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{94}{subsection.A.1.3}
131 \contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{94}{subsection.A.1.4}
132 \contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{95}{subsection.A.1.5}
133 \contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{97}{appendix.B}