sawine@1: \relax 
sawine@1: \catcode`"\active
sawine@1: \ifx\hyper@anchor\@undefined
sawine@1: \global \let \oldcontentsline\contentsline
sawine@1: \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
sawine@1: \global \let \oldnewlabel\newlabel
sawine@1: \gdef \newlabel#1#2{\newlabelxx{#1}#2}
sawine@1: \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
sawine@1: \AtEndDocument{\let \contentsline\oldcontentsline
sawine@1: \let \newlabel\oldnewlabel}
sawine@1: \else
sawine@1: \global \let \hyper@last\relax 
sawine@1: \fi
sawine@1: 
sawine@1: \bibstyle{alpha}
sawine@1: \citation{*}
sawine@1: \select@language{ngerman}
sawine@1: \@writefile{toc}{\select@language{ngerman}}
sawine@1: \@writefile{lof}{\select@language{ngerman}}
sawine@1: \@writefile{lot}{\select@language{ngerman}}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{5}{chapter.1}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{5}{figure.1.1}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{6}{section.1.1}}
sawine@1: \citation{moderne_flugsicherung}
sawine@1: \citation{moderne_flugsicherung}
sawine@1: \citation{moderne_flugsicherung}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph  {Quelle: \cite  {moderne_flugsicherung}}}}{8}{figure.2.1}}
sawine@18: \newlabel{fig:atfm_stats}{{\relax 2.1}{8}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{8}{section.2.1}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{10}{section.2.3}}
sawine@1: \citation{moderne_flugsicherung}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}}
sawine@1: \citation{moderne_flugsicherung}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Routensystem}{12}{section*.3}}
sawine@18: \newlabel{grundlagen:routensystem}{{3.1.1}{12}{Routensystem\relax }{section*.3}{}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}}
sawine@18: \newlabel{research:time_separation}{{3.1.2}{13}{Längsstaffelung\relax }{section*.5}{}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}}
sawine@18: \newlabel{research:flight_level_separation}{{3.1.2}{13}{Höhenstaffelung\relax }{section*.6}{}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Slot}{14}{section*.7}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}}
sawine@18: \newlabel{research:gcaa:flow_restrictions}{{3.1.3}{15}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1}}
sawine@18: \newlabel{fig:near_east}{{\relax 3.1}{15}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}}
sawine@1: \citation{compilers}
sawine@1: \citation{compilers}
sawine@1: \citation{compilers}
sawine@1: \citation{compilers}
sawine@1: \citation{compilers}
sawine@1: \citation{compilers}
sawine@1: \citation{compilers}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph  {Quelle: \cite  {compilers}}}}{20}{figure.3.2}}
sawine@18: \newlabel{fig:compiler}{{\relax 3.2}{20}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph  {Quelle: \cite  {compilers}}}}{20}{figure.3.3}}
sawine@18: \newlabel{fig:interpreter}{{\relax 3.3}{20}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph  {Quelle: \cite  {compilers}}}}{21}{figure.3.4}}
sawine@18: \newlabel{fig:hybrid_compiler}{{\relax 3.4}{21}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{LLVM}{22}{section*.10}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{\texttt  {lex} und \texttt  {flex}}{22}{section*.11}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{\texttt  {yacc} und \texttt  {bison}}{22}{section*.12}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}}
sawine@1: \citation{eurocontrol_dman}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}}
sawine@1: \citation{eurocontrol_dman}
sawine@1: \citation{flugleiter_dman}
sawine@1: \citation{flugleiter_dman}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}}
sawine@1: \citation{iec_61508}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Redundanz}{27}{section*.14}}
sawine@1: \citation{icao_4444}
sawine@1: \citation{icao_4444}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{28}{section*.15}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Runway}{29}{section*.16}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Flight Type}{29}{section*.18}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{29}{section*.19}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}}
sawine@18: \newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{29}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{32}{section.4.4}}
sawine@1: \citation{iec_61508}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{33}{section.4.5}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}}
sawine@1: \citation{ebnf}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{35}{chapter.5}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{35}{section.5.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{36}{subsection.5.1.1}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Notation}{36}{section*.20}}
sawine@18: \newlabel{EBNF Notation}{{5.1}{36}{EBNF Notation\relax }{lstlisting.5.1}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{36}{lstlisting.5.1}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{37}{section*.21}}
sawine@18: \newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{37}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{37}{lstlisting.5.2}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Kommentare}{37}{section*.22}}
sawine@18: \newlabel{ATCCL EBNF Kommentare}{{5.3}{37}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{37}{lstlisting.5.3}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{37}{section*.23}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{38}{section*.24}}
sawine@18: \newlabel{ATCCL EBNF Bezeichner}{{5.4}{38}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{38}{lstlisting.5.4}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{38}{section*.25}}
sawine@18: \newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{38}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{38}{lstlisting.5.5}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{39}{section*.26}}
sawine@18: \newlabel{ATCCL EBNF Datentypen}{{5.6}{39}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{39}{lstlisting.5.6}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{40}{section*.27}}
sawine@18: \newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{40}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{40}{lstlisting.5.7}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Operatoren}{41}{section*.28}}
sawine@18: \newlabel{ATCCL EBNF Operatoren}{{5.8}{41}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{41}{lstlisting.5.8}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{41}{section*.29}}
sawine@18: \newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{41}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9}}
sawine@18: \newlabel{ATCCL EBNF Separationsregeln}{{5.10}{42}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{42}{lstlisting.5.10}}
sawine@18: \newlabel{ATCCL EBNF Flow Point}{{5.11}{43}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{43}{lstlisting.5.11}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Programm}{43}{section*.30}}
sawine@18: \newlabel{ATCCL EBNF Konfiguration}{{5.12}{43}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{43}{lstlisting.5.12}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{44}{subsection.5.1.2}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Zielstellung}{44}{section*.31}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Code}{44}{section*.32}}
sawine@18: \newlabel{ATCCL Einfaches Beispiel}{{5.13}{44}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{44}{lstlisting.5.13}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{44}{section*.33}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Zielstellung}{45}{section*.34}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Code}{45}{section*.35}}
sawine@18: \newlabel{ATCCL Komplexes Beispiel}{{5.14}{45}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{45}{lstlisting.5.14}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{45}{section*.36}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{46}{subsection.5.1.3}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{46}{figure.5.1}}
sawine@18: \newlabel{fig:compile_process}{{\relax 5.1}{46}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
sawine@1: \citation{design_patterns}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Scanner}{47}{section*.37}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Parser}{47}{section*.38}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Synthese}{47}{section*.39}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{48}{subsection.5.1.4}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt  {VirtualMachine}}}{49}{figure.5.2}}
sawine@18: \newlabel{fig:virtual_machine_basic}{{\relax 5.2}{49}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{49}{section*.40}}
sawine@18: \newlabel{design:flight_plan}{{5.1.4}{49}{FlightPlan-Interface\relax }{section*.40}{}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{50}{subsection.5.1.5}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{52}{subsection.5.1.6}}
sawine@18: \newlabel{design:pattern_evaluation}{{5.1.6}{52}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Beispiel}{52}{section*.41}}
sawine@18: \newlabel{ATCCL Pattern-Beispiel}{{5.15}{52}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{52}{lstlisting.5.15}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{53}{subsection.5.1.7}}
sawine@18: \newlabel{design:atot_calculation}{{5.1.7}{53}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt  {Pattern}-Evaluation-Beispiel}}{54}{figure.5.3}}
sawine@18: \newlabel{fig:pattern_evaluation1}{{\relax 5.3}{54}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{55}{section*.42}}
sawine@18: \@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{55}{algorithm.1}}
sawine@18: \@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{56}{algorithm.2}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{56}{section*.43}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Alternative}{57}{section*.44}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{57}{section*.45}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{58}{section.5.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{58}{subsection.5.2.1}}
sawine@1: \citation{design_patterns}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Map}{59}{section*.46}}
sawine@18: \@writefile{toc}{\contentsline {subsubsection}{Notify}{59}{section*.47}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{60}{subsection.5.2.2}}
sawine@1: \citation{flugleiter_dman}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{62}{subsection.5.2.3}}
sawine@1: \citation{iec_61508}
sawine@1: \citation{iec_61508}
sawine@1: \citation{iec_61508}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{63}{chapter.6}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{63}{section.6.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{63}{subsection.6.1.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt  {stdbase}}{64}{subsection.6.1.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{64}{subsection.6.1.3}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt  {StackVector}}}{65}{figure.6.1}}
sawine@18: \newlabel{uml:stack_vector}{{\relax 6.1}{65}{\texttt {StackVector}\relax }{figure.6.1}{}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{65}{subsection.6.1.4}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{65}{section.6.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{65}{subsection.6.2.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{66}{subsection.6.2.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{66}{subsection.6.2.3}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{66}{section.6.3}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{66}{section.6.4}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt  {flex}-Konfiguration}{66}{subsection.6.4.1}}
sawine@1: \citation{lex_paper}
sawine@1: \citation{lex_yacc_guide}
sawine@1: \citation{lex_paper}
sawine@1: \citation{lex_yacc_guide}
sawine@18: \newlabel{flex_config1}{{6.1}{67}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt  {flex}-Konfiguration: Zeichenklassen}{67}{lstlisting.6.1}}
sawine@18: \@writefile{lot}{\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt  {flex}-Metazeichen \emph  {(Quelle: \cite  {lex_paper}, \cite  {lex_yacc_guide})}}}{67}{table.6.1}}
sawine@18: \newlabel{flex_metazeichen}{{\relax 6.1}{67}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}
sawine@18: \newlabel{flex_config2}{{6.2}{68}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt  {flex}-Konfiguration: Flugplaneigenschaften}{68}{lstlisting.6.2}}
sawine@18: \newlabel{flex_config3}{{6.3}{68}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt  {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{68}{lstlisting.6.3}}
sawine@18: \newlabel{flex_config4}{{6.4}{68}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt  {flex}-Konfiguration: Typ der Regeldefinition}{68}{lstlisting.6.4}}
sawine@18: \newlabel{flex_config5}{{6.5}{68}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt  {flex}-Konfiguration: Operatoren}{68}{lstlisting.6.5}}
sawine@18: \newlabel{flex_config6}{{6.6}{69}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt  {flex}-Konfiguration: \texttt  {Constraint}-Token}{69}{lstlisting.6.6}}
sawine@18: \newlabel{flex_config7}{{6.7}{69}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt  {flex}-Konfiguration: Basisdatentypen}{69}{lstlisting.6.7}}
sawine@1: \citation{design_patterns}
sawine@18: \newlabel{flex_config8}{{6.8}{70}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt  {flex}-Konfiguration: IDs und Kommentare}{70}{lstlisting.6.8}}
sawine@18: \newlabel{flex_config9}{{6.9}{70}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt  {flex}-Konfiguration: Fehlerbehandlung}{70}{lstlisting.6.9}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt  {bison}-Konfiguration}{70}{subsection.6.4.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{70}{subsection.6.4.3}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{71}{section.6.5}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{71}{subsection.6.5.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{72}{subsection.6.5.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{72}{subsection.6.5.3}}
sawine@18: \newlabel{fig:dflow_displays}{{6.5.3}{72}{AWP\relax }{subsection.6.5.3}{}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{72}{figure.6.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{73}{subsection.6.5.4}}
sawine@1: \citation{code_gen}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{75}{chapter.7}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{75}{section.7.1}}
sawine@18: \@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{75}{table.7.1}}
sawine@18: \newlabel{auto_gen_loc}{{\relax 7.1}{75}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{76}{section.7.2}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{76}{section.7.3}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{77}{section.7.4}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{78}{section.7.5}}
sawine@18: \newlabel{verification:efficiency}{{7.5}{78}{Effizienz\relax }{section.7.5}{}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{78}{section.7.6}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{78}{subsection.7.6.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{79}{subsection.7.6.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{80}{subsection.7.6.3}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{80}{figure.7.1}}
sawine@18: \newlabel{fig:atot_etot_atd}{{\relax 7.1}{80}{Abflugzeitkonformität\relax }{figure.7.1}{}}
sawine@18: \@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{81}{figure.7.2}}
sawine@18: \newlabel{fig:1figs}{{\relax 7.2}{81}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{83}{chapter.8}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{83}{section.8.1}}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{83}{section.8.2}}
sawine@1: \citation{moderne_flugsicherung}
sawine@1: \citation{compilers}
sawine@1: \citation{compilers}
sawine@1: \citation{compilers}
sawine@1: \citation{lex_paper}
sawine@1: \citation{lex_yacc_guide}
sawine@1: \bibdata{references}
sawine@1: \bibcite{compilers}{ALSU07}
sawine@1: \bibcite{iec_61508}{Com05}
sawine@1: \bibcite{eurocontrol_dman}{DME99}
sawine@1: \bibcite{bison_manual}{DS09}
sawine@1: \bibcite{design_patterns}{GHJV95}
sawine@1: \bibcite{code_gen}{Glo08}
sawine@1: \bibcite{yacc_paper}{Joh}
sawine@1: \bibcite{flugleiter_dman}{Klu07}
sawine@1: \bibcite{lex_paper}{LS}
sawine@1: \bibcite{personal}{May02}
sawine@1: \bibcite{moderne_flugsicherung}{Men04}
sawine@1: \bibcite{lex_yacc_guide}{Nie}
sawine@1: \bibcite{icao_4444}{Org96}
sawine@1: \bibcite{flex_manual}{PEM07}
sawine@1: \bibcite{ebnf}{Wir77}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{93}{appendix.A}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{93}{section.A.1}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{93}{subsection.A.1.1}}
sawine@18: \newlabel{uml:factories}{{A.1.1}{93}{Factory\relax }{subsection.A.1.1}{}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{93}{subsection.A.1.2}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{94}{subsection.A.1.3}}
sawine@18: \newlabel{uml:property}{{A.1.3}{94}{Property (Auszug)\relax }{subsection.A.1.3}{}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{94}{subsection.A.1.4}}
sawine@18: \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{95}{subsection.A.1.5}}
sawine@18: \newlabel{uml:flight_plan_interface}{{A.1.5}{95}{Flight Plan Interface\relax }{subsection.A.1.5}{}}
sawine@18: \@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt  {bison}-Konfiguration}{97}{appendix.B}}
sawine@1: \@writefile{lof}{\addvspace {10\p@ }}
sawine@1: \@writefile{lot}{\addvspace {10\p@ }}
sawine@1: \@writefile{lol}{\addvspace {10\p@ }}
sawine@1: \@writefile{loa}{\addvspace {10\p@ }}
sawine@18: \newlabel{bison_config}{{B.1}{97}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}
sawine@18: \@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{97}{lstlisting.B.1}}
sawine@1: \global\@altsecnumformattrue