bachelorthesis: book/src/document.aux@06d39950b727

     1 \relax

     2 \catcode`"\active

     3 \ifx\hyper@anchor\@undefined

     4 \global \let \oldcontentsline\contentsline

     5 \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}

     6 \global \let \oldnewlabel\newlabel

     7 \gdef \newlabel#1#2{\newlabelxx{#1}#2}

     8 \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}

     9 \AtEndDocument{\let \contentsline\oldcontentsline

    10 \let \newlabel\oldnewlabel}

    11 \else

    12 \global \let \hyper@last\relax

    13 \fi

    15 \bibstyle{alpha}

    16 \citation{*}

    17 \select@language{ngerman}

    18 \@writefile{toc}{\select@language{ngerman}}

    19 \@writefile{lof}{\select@language{ngerman}}

    20 \@writefile{lot}{\select@language{ngerman}}

    21 \@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}}

    22 \@writefile{lof}{\addvspace {10\p@ }}

    23 \@writefile{lot}{\addvspace {10\p@ }}

    24 \@writefile{lol}{\addvspace {10\p@ }}

    25 \@writefile{loa}{\addvspace {10\p@ }}

    26 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1}}

    27 \@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}}

    28 \citation{moderne_flugsicherung}

    29 \citation{moderne_flugsicherung}

    30 \citation{moderne_flugsicherung}

    31 \@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}}

    32 \@writefile{lof}{\addvspace {10\p@ }}

    33 \@writefile{lot}{\addvspace {10\p@ }}

    34 \@writefile{lol}{\addvspace {10\p@ }}

    35 \@writefile{loa}{\addvspace {10\p@ }}

    36 \@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}}}}{10}{figure.2.1}}

    37 \newlabel{fig:atfm_stats}{{\relax 2.1}{10}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}

    38 \@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{10}{section.2.1}}

    39 \@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}}

    40 \@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{12}{section.2.3}}

    41 \citation{moderne_flugsicherung}

    42 \@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}}

    43 \@writefile{lof}{\addvspace {10\p@ }}

    44 \@writefile{lot}{\addvspace {10\p@ }}

    45 \@writefile{lol}{\addvspace {10\p@ }}

    46 \@writefile{loa}{\addvspace {10\p@ }}

    47 \@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}}

    48 \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}}

    49 \@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}}

    50 \citation{moderne_flugsicherung}

    51 \@writefile{toc}{\contentsline {subsubsection}{Routensystem}{14}{section*.3}}

    52 \newlabel{grundlagen:routensystem}{{3.1.1}{14}{Routensystem\relax }{section*.3}{}}

    53 \@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}}

    54 \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}}

    55 \@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}}

    56 \newlabel{research:time_separation}{{3.1.2}{15}{Längsstaffelung\relax }{section*.5}{}}

    57 \@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}}

    58 \newlabel{research:flight_level_separation}{{3.1.2}{15}{Höhenstaffelung\relax }{section*.6}{}}

    59 \@writefile{toc}{\contentsline {subsubsection}{Slot}{16}{section*.7}}

    60 \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}}

    61 \@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}}

    62 \newlabel{research:gcaa:flow_restrictions}{{3.1.3}{17}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}

    63 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1}}

    64 \newlabel{fig:near_east}{{\relax 3.1}{17}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}

    65 \@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}}

    66 \@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}}

    67 \@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}}

    68 \@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}}

    69 \citation{compilers}

    70 \citation{compilers}

    71 \citation{compilers}

    72 \citation{compilers}

    73 \citation{compilers}

    74 \citation{compilers}

    75 \citation{compilers}

    76 \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}}

    77 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph  {Quelle: \cite  {compilers}}}}{22}{figure.3.2}}

    78 \newlabel{fig:compiler}{{\relax 3.2}{22}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}

    79 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph  {Quelle: \cite  {compilers}}}}{22}{figure.3.3}}

    80 \newlabel{fig:interpreter}{{\relax 3.3}{22}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}

    81 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph  {Quelle: \cite  {compilers}}}}{23}{figure.3.4}}

    82 \newlabel{fig:hybrid_compiler}{{\relax 3.4}{23}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}

    83 \@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}}

    84 \@writefile{toc}{\contentsline {subsubsection}{LLVM}{24}{section*.10}}

    85 \@writefile{toc}{\contentsline {subsubsection}{\texttt  {lex} und \texttt  {flex}}{24}{section*.11}}

    86 \@writefile{toc}{\contentsline {subsubsection}{\texttt  {yacc} und \texttt  {bison}}{24}{section*.12}}

    87 \@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}}

    88 \citation{eurocontrol_dman}

    89 \@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}}

    90 \@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}}

    91 \@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}}

    92 \citation{eurocontrol_dman}

    93 \citation{flugleiter_dman}

    94 \citation{flugleiter_dman}

    95 \@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}}

    96 \@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}}

    97 \@writefile{lof}{\addvspace {10\p@ }}

    98 \@writefile{lot}{\addvspace {10\p@ }}

    99 \@writefile{lol}{\addvspace {10\p@ }}

   100 \@writefile{loa}{\addvspace {10\p@ }}

   101 \@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}}

   102 \citation{iec_61508}

   103 \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}}

   104 \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}}

   105 \@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}}

   106 \@writefile{toc}{\contentsline {subsubsection}{Redundanz}{29}{section*.14}}

   107 \citation{icao_4444}

   108 \citation{icao_4444}

   109 \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}}

   110 \@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{30}{section*.15}}

   111 \@writefile{toc}{\contentsline {subsubsection}{Runway}{31}{section*.16}}

   112 \@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}}

   113 \@writefile{toc}{\contentsline {subsubsection}{Flight Type}{31}{section*.18}}

   114 \@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{31}{section*.19}}

   115 \@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}}

   116 \newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{31}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}

   117 \@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}}

   118 \@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}}

   119 \@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{34}{section.4.4}}

   120 \citation{iec_61508}

   121 \@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{35}{section.4.5}}

   122 \@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}}

   123 \citation{ebnf}

   124 \@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}}

   125 \@writefile{lof}{\addvspace {10\p@ }}

   126 \@writefile{lot}{\addvspace {10\p@ }}

   127 \@writefile{lol}{\addvspace {10\p@ }}

   128 \@writefile{loa}{\addvspace {10\p@ }}

   129 \@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}}

   130 \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}}

   131 \@writefile{toc}{\contentsline {subsubsection}{Notation}{38}{section*.20}}

   132 \newlabel{EBNF Notation}{{5.1}{38}{EBNF Notation\relax }{lstlisting.5.1}{}}

   133 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1}}

   134 \@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}}

   135 \newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{39}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}

   136 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2}}

   137 \@writefile{toc}{\contentsline {subsubsection}{Kommentare}{39}{section*.22}}

   138 \newlabel{ATCCL EBNF Kommentare}{{5.3}{39}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}

   139 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3}}

   140 \@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{39}{section*.23}}

   141 \@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{40}{section*.24}}

   142 \newlabel{ATCCL EBNF Bezeichner}{{5.4}{40}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}

   143 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4}}

   144 \@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}}

   145 \newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{40}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}

   146 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5}}

   147 \@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}}

   148 \newlabel{ATCCL EBNF Datentypen}{{5.6}{41}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}

   149 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6}}

   150 \@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}}

   151 \newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{42}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}

   152 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7}}

   153 \@writefile{toc}{\contentsline {subsubsection}{Operatoren}{43}{section*.28}}

   154 \newlabel{ATCCL EBNF Operatoren}{{5.8}{43}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}

   155 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}}

   156 \@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}}

   157 \newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{43}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}

   158 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{43}{lstlisting.5.9}}

   159 \newlabel{ATCCL EBNF Separationsregeln}{{5.10}{44}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}

   160 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}}

   161 \newlabel{ATCCL EBNF Flow Point}{{5.11}{45}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}

   162 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11}}

   163 \@writefile{toc}{\contentsline {subsubsection}{Programm}{45}{section*.30}}

   164 \newlabel{ATCCL EBNF Konfiguration}{{5.12}{45}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}

   165 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}}

   166 \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{46}{subsection.5.1.2}}

   167 \@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Zielstellung}{46}{section*.31}}

   168 \@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Code}{46}{section*.32}}

   169 \newlabel{ATCCL Einfaches Beispiel}{{5.13}{46}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}

   170 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}}

   171 \@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{46}{section*.33}}

   172 \@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Zielstellung}{47}{section*.34}}

   173 \@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Code}{47}{section*.35}}

   174 \newlabel{ATCCL Komplexes Beispiel}{{5.14}{47}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}

   175 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}}

   176 \@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{47}{section*.36}}

   177 \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{48}{subsection.5.1.3}}

   178 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}}

   179 \newlabel{fig:compile_process}{{\relax 5.1}{48}{Der Übersetzungsprozess\relax }{figure.5.1}{}}

   180 \citation{design_patterns}

   181 \@writefile{toc}{\contentsline {subsubsection}{Scanner}{49}{section*.37}}

   182 \@writefile{toc}{\contentsline {subsubsection}{Parser}{49}{section*.38}}

   183 \@writefile{toc}{\contentsline {subsubsection}{Synthese}{49}{section*.39}}

   184 \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}}

   185 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt  {VirtualMachine}}}{51}{figure.5.2}}

   186 \newlabel{fig:virtual_machine_basic}{{\relax 5.2}{51}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}

   187 \@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{51}{section*.40}}

   188 \newlabel{design:flight_plan}{{5.1.4}{51}{FlightPlan-Interface\relax }{section*.40}{}}

   189 \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}}

   190 \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{54}{subsection.5.1.6}}

   191 \newlabel{design:pattern_evaluation}{{5.1.6}{54}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}

   192 \@writefile{toc}{\contentsline {subsubsection}{Beispiel}{54}{section*.41}}

   193 \newlabel{ATCCL Pattern-Beispiel}{{5.15}{54}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}

   194 \@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{54}{lstlisting.5.15}}

   195 \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}}

   196 \newlabel{design:atot_calculation}{{5.1.7}{55}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}

   197 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt  {Pattern}-Evaluation-Beispiel}}{56}{figure.5.3}}

   198 \newlabel{fig:pattern_evaluation1}{{\relax 5.3}{56}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}

   199 \@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{57}{section*.42}}

   200 \@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{57}{algorithm.1}}

   201 \@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{58}{algorithm.2}}

   202 \@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}}

   203 \@writefile{toc}{\contentsline {subsubsection}{Alternative}{59}{section*.44}}

   204 \@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}}

   205 \@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}}

   206 \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}}

   207 \citation{design_patterns}

   208 \@writefile{toc}{\contentsline {subsubsection}{Map}{61}{section*.46}}

   209 \@writefile{toc}{\contentsline {subsubsection}{Notify}{61}{section*.47}}

   210 \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}}

   211 \citation{flugleiter_dman}

   212 \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{64}{subsection.5.2.3}}

   213 \citation{iec_61508}

   214 \citation{iec_61508}

   215 \citation{iec_61508}

   216 \@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}}

   217 \@writefile{lof}{\addvspace {10\p@ }}

   218 \@writefile{lot}{\addvspace {10\p@ }}

   219 \@writefile{lol}{\addvspace {10\p@ }}

   220 \@writefile{loa}{\addvspace {10\p@ }}

   221 \@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}}

   222 \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}}

   223 \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt  {stdbase}}{66}{subsection.6.1.2}}

   224 \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}}

   225 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt  {StackVector}}}{67}{figure.6.1}}

   226 \newlabel{uml:stack_vector}{{\relax 6.1}{67}{\texttt {StackVector}\relax }{figure.6.1}{}}

   227 \@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}}

   228 \@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}}

   229 \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}}

   230 \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}}

   231 \@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}}

   232 \@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}}

   233 \@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}}

   234 \@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt  {flex}-Konfiguration}{68}{subsection.6.4.1}}

   235 \citation{lex_paper}

   236 \citation{lex_yacc_guide}

   237 \citation{lex_paper}

   238 \citation{lex_yacc_guide}

   239 \newlabel{flex_config1}{{6.1}{69}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}

   240 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt  {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1}}

   241 \@writefile{lot}{\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt  {flex}-Metazeichen \emph  {(Quelle: \cite  {lex_paper}, \cite  {lex_yacc_guide})}}}{69}{table.6.1}}

   242 \newlabel{flex_metazeichen}{{\relax 6.1}{69}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}

   243 \newlabel{flex_config2}{{6.2}{70}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}

   244 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt  {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2}}

   245 \newlabel{flex_config3}{{6.3}{70}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}

   246 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt  {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3}}

   247 \newlabel{flex_config4}{{6.4}{70}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}

   248 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt  {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4}}

   249 \newlabel{flex_config5}{{6.5}{70}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}

   250 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt  {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5}}

   251 \newlabel{flex_config6}{{6.6}{71}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}

   252 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt  {flex}-Konfiguration: \texttt  {Constraint}-Token}{71}{lstlisting.6.6}}

   253 \newlabel{flex_config7}{{6.7}{71}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}

   254 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt  {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7}}

   255 \citation{design_patterns}

   256 \newlabel{flex_config8}{{6.8}{72}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}

   257 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt  {flex}-Konfiguration: IDs und Kommentare}{72}{lstlisting.6.8}}

   258 \newlabel{flex_config9}{{6.9}{72}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}

   259 \@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt  {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9}}

   260 \@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt  {bison}-Konfiguration}{72}{subsection.6.4.2}}

   261 \@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}}

   262 \@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}}

   263 \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}}

   264 \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}}

   265 \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}}

   266 \newlabel{fig:dflow_displays}{{6.5.3}{74}{AWP\relax }{subsection.6.5.3}{}}

   267 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2}}

   268 \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}}

   269 \citation{code_gen}

   270 \@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}}

   271 \@writefile{lof}{\addvspace {10\p@ }}

   272 \@writefile{lot}{\addvspace {10\p@ }}

   273 \@writefile{lol}{\addvspace {10\p@ }}

   274 \@writefile{loa}{\addvspace {10\p@ }}

   275 \@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}}

   276 \@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1}}

   277 \newlabel{auto_gen_loc}{{\relax 7.1}{77}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}

   278 \@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}}

   279 \@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}}

   280 \@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}}

   281 \@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{80}{section.7.5}}

   282 \newlabel{verification:efficiency}{{7.5}{80}{Effizienz\relax }{section.7.5}{}}

   283 \@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}}

   284 \@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}}

   285 \@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}}

   286 \@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{82}{subsection.7.6.3}}

   287 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1}}

   288 \newlabel{fig:atot_etot_atd}{{\relax 7.1}{82}{Abflugzeitkonformität\relax }{figure.7.1}{}}

   289 \@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2}}

   290 \newlabel{fig:1figs}{{\relax 7.2}{83}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}

   291 \@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}}

   292 \@writefile{lof}{\addvspace {10\p@ }}

   293 \@writefile{lot}{\addvspace {10\p@ }}

   294 \@writefile{lol}{\addvspace {10\p@ }}

   295 \@writefile{loa}{\addvspace {10\p@ }}

   296 \@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}}

   297 \@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}}

   298 \citation{moderne_flugsicherung}

   299 \citation{compilers}

   300 \citation{compilers}

   301 \citation{compilers}

   302 \citation{lex_paper}

   303 \citation{lex_yacc_guide}

   304 \bibdata{references}

   305 \bibcite{compilers}{ALSU07}

   306 \bibcite{iec_61508}{Com05}

   307 \bibcite{eurocontrol_dman}{DME99}

   308 \bibcite{bison_manual}{DS09}

   309 \bibcite{design_patterns}{GHJV95}

   310 \bibcite{code_gen}{Glo08}

   311 \bibcite{yacc_paper}{Joh}

   312 \bibcite{flugleiter_dman}{Klu07}

   313 \bibcite{lex_paper}{LS}

   314 \bibcite{personal}{May02}

   315 \bibcite{moderne_flugsicherung}{Men04}

   316 \bibcite{lex_yacc_guide}{Nie}

   317 \bibcite{icao_4444}{Org96}

   318 \bibcite{flex_manual}{PEM07}

   319 \bibcite{ebnf}{Wir77}

   320 \@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}}

   321 \@writefile{lof}{\addvspace {10\p@ }}

   322 \@writefile{lot}{\addvspace {10\p@ }}

   323 \@writefile{lol}{\addvspace {10\p@ }}

   324 \@writefile{loa}{\addvspace {10\p@ }}

   325 \@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}}

   326 \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}}

   327 \newlabel{uml:factories}{{A.1.1}{95}{Factory\relax }{subsection.A.1.1}{}}

   328 \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}}

   329 \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}}

   330 \newlabel{uml:property}{{A.1.3}{96}{Property (Auszug)\relax }{subsection.A.1.3}{}}

   331 \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}}

   332 \@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}}

   333 \newlabel{uml:flight_plan_interface}{{A.1.5}{97}{Flight Plan Interface\relax }{subsection.A.1.5}{}}

   334 \@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt  {bison}-Konfiguration}{99}{appendix.B}}

   335 \@writefile{lof}{\addvspace {10\p@ }}

   336 \@writefile{lot}{\addvspace {10\p@ }}

   337 \@writefile{lol}{\addvspace {10\p@ }}

   338 \@writefile{loa}{\addvspace {10\p@ }}

   339 \newlabel{bison_config}{{B.1}{99}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}

   340 \@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}}

   341 \global\@altsecnumformattrue

author	Eugen Sawin <sawine@me73.com>
	Tue, 29 Mar 2011 13:44:35 +0200
changeset 13	06d39950b727
parent 10	2283a18e186c
child 18	a4c2e7afc4d8
permissions	-rw-r--r--