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