1.1 --- a/book/src/document.aux Wed Mar 30 15:52:38 2011 +0200
1.2 +++ b/book/src/document.aux Wed Mar 30 17:44:36 2011 +0200
1.3 @@ -18,54 +18,54 @@
1.4 \@writefile{toc}{\select@language{ngerman}}
1.5 \@writefile{lof}{\select@language{ngerman}}
1.6 \@writefile{lot}{\select@language{ngerman}}
1.7 -\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}}
1.8 +\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{5}{chapter.1}}
1.9 \@writefile{lof}{\addvspace {10\p@ }}
1.10 \@writefile{lot}{\addvspace {10\p@ }}
1.11 \@writefile{lol}{\addvspace {10\p@ }}
1.12 \@writefile{loa}{\addvspace {10\p@ }}
1.13 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1}}
1.14 -\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}}
1.15 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{5}{figure.1.1}}
1.16 +\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{6}{section.1.1}}
1.17 \citation{moderne_flugsicherung}
1.18 \citation{moderne_flugsicherung}
1.19 \citation{moderne_flugsicherung}
1.20 -\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}}
1.21 +\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}}
1.22 \@writefile{lof}{\addvspace {10\p@ }}
1.23 \@writefile{lot}{\addvspace {10\p@ }}
1.24 \@writefile{lol}{\addvspace {10\p@ }}
1.25 \@writefile{loa}{\addvspace {10\p@ }}
1.26 -\@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}}
1.27 -\newlabel{fig:atfm_stats}{{\relax 2.1}{10}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}
1.28 -\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{10}{section.2.1}}
1.29 -\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}}
1.30 -\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{12}{section.2.3}}
1.31 +\@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}}
1.32 +\newlabel{fig:atfm_stats}{{\relax 2.1}{8}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}
1.33 +\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{8}{section.2.1}}
1.34 +\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}}
1.35 +\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{10}{section.2.3}}
1.36 \citation{moderne_flugsicherung}
1.37 -\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}}
1.38 +\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}}
1.39 \@writefile{lof}{\addvspace {10\p@ }}
1.40 \@writefile{lot}{\addvspace {10\p@ }}
1.41 \@writefile{lol}{\addvspace {10\p@ }}
1.42 \@writefile{loa}{\addvspace {10\p@ }}
1.43 -\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}}
1.44 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}}
1.45 -\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}}
1.46 +\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}}
1.47 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}}
1.48 +\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}}
1.49 \citation{moderne_flugsicherung}
1.50 -\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{14}{section*.3}}
1.51 -\newlabel{grundlagen:routensystem}{{3.1.1}{14}{Routensystem\relax }{section*.3}{}}
1.52 -\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}}
1.53 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}}
1.54 -\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}}
1.55 -\newlabel{research:time_separation}{{3.1.2}{15}{Längsstaffelung\relax }{section*.5}{}}
1.56 -\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}}
1.57 -\newlabel{research:flight_level_separation}{{3.1.2}{15}{Höhenstaffelung\relax }{section*.6}{}}
1.58 -\@writefile{toc}{\contentsline {subsubsection}{Slot}{16}{section*.7}}
1.59 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}}
1.60 -\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}}
1.61 -\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{17}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}
1.62 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1}}
1.63 -\newlabel{fig:near_east}{{\relax 3.1}{17}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}
1.64 -\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}}
1.65 -\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}}
1.66 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}}
1.67 -\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}}
1.68 +\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{12}{section*.3}}
1.69 +\newlabel{grundlagen:routensystem}{{3.1.1}{12}{Routensystem\relax }{section*.3}{}}
1.70 +\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}}
1.71 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}}
1.72 +\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}}
1.73 +\newlabel{research:time_separation}{{3.1.2}{13}{Längsstaffelung\relax }{section*.5}{}}
1.74 +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}}
1.75 +\newlabel{research:flight_level_separation}{{3.1.2}{13}{Höhenstaffelung\relax }{section*.6}{}}
1.76 +\@writefile{toc}{\contentsline {subsubsection}{Slot}{14}{section*.7}}
1.77 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}}
1.78 +\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}}
1.79 +\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{15}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}
1.80 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1}}
1.81 +\newlabel{fig:near_east}{{\relax 3.1}{15}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}
1.82 +\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}}
1.83 +\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}}
1.84 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}}
1.85 +\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}}
1.86 \citation{compilers}
1.87 \citation{compilers}
1.88 \citation{compilers}
1.89 @@ -73,228 +73,228 @@
1.90 \citation{compilers}
1.91 \citation{compilers}
1.92 \citation{compilers}
1.93 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}}
1.94 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.2}}
1.95 -\newlabel{fig:compiler}{{\relax 3.2}{22}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}
1.96 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.3}}
1.97 -\newlabel{fig:interpreter}{{\relax 3.3}{22}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}
1.98 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{23}{figure.3.4}}
1.99 -\newlabel{fig:hybrid_compiler}{{\relax 3.4}{23}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}
1.100 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}}
1.101 -\@writefile{toc}{\contentsline {subsubsection}{LLVM}{24}{section*.10}}
1.102 -\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11}}
1.103 -\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12}}
1.104 -\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}}
1.105 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}}
1.106 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2}}
1.107 +\newlabel{fig:compiler}{{\relax 3.2}{20}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}
1.108 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.3}}
1.109 +\newlabel{fig:interpreter}{{\relax 3.3}{20}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}
1.110 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{21}{figure.3.4}}
1.111 +\newlabel{fig:hybrid_compiler}{{\relax 3.4}{21}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}
1.112 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}}
1.113 +\@writefile{toc}{\contentsline {subsubsection}{LLVM}{22}{section*.10}}
1.114 +\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}}
1.115 +\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}}
1.116 +\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}}
1.117 \citation{eurocontrol_dman}
1.118 -\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}}
1.119 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}}
1.120 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}}
1.121 +\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}}
1.122 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}}
1.123 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}}
1.124 \citation{eurocontrol_dman}
1.125 \citation{flugleiter_dman}
1.126 \citation{flugleiter_dman}
1.127 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}}
1.128 -\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}}
1.129 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}}
1.130 +\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}}
1.131 \@writefile{lof}{\addvspace {10\p@ }}
1.132 \@writefile{lot}{\addvspace {10\p@ }}
1.133 \@writefile{lol}{\addvspace {10\p@ }}
1.134 \@writefile{loa}{\addvspace {10\p@ }}
1.135 -\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}}
1.136 +\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}}
1.137 \citation{iec_61508}
1.138 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}}
1.139 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}}
1.140 -\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}}
1.141 -\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{29}{section*.14}}
1.142 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}}
1.143 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}}
1.144 +\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}}
1.145 +\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{27}{section*.14}}
1.146 \citation{icao_4444}
1.147 \citation{icao_4444}
1.148 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}}
1.149 -\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{30}{section*.15}}
1.150 -\@writefile{toc}{\contentsline {subsubsection}{Runway}{31}{section*.16}}
1.151 -\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}}
1.152 -\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{31}{section*.18}}
1.153 -\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{31}{section*.19}}
1.154 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}}
1.155 -\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{31}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}
1.156 -\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}}
1.157 -\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}}
1.158 -\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{34}{section.4.4}}
1.159 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}}
1.160 +\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{28}{section*.15}}
1.161 +\@writefile{toc}{\contentsline {subsubsection}{Runway}{29}{section*.16}}
1.162 +\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}}
1.163 +\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{29}{section*.18}}
1.164 +\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{29}{section*.19}}
1.165 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}}
1.166 +\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{29}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}
1.167 +\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}}
1.168 +\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}}
1.169 +\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{32}{section.4.4}}
1.170 \citation{iec_61508}
1.171 -\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{35}{section.4.5}}
1.172 -\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}}
1.173 +\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{33}{section.4.5}}
1.174 +\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}}
1.175 \citation{ebnf}
1.176 -\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}}
1.177 +\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{35}{chapter.5}}
1.178 \@writefile{lof}{\addvspace {10\p@ }}
1.179 \@writefile{lot}{\addvspace {10\p@ }}
1.180 \@writefile{lol}{\addvspace {10\p@ }}
1.181 \@writefile{loa}{\addvspace {10\p@ }}
1.182 -\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}}
1.183 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}}
1.184 -\@writefile{toc}{\contentsline {subsubsection}{Notation}{38}{section*.20}}
1.185 -\newlabel{EBNF Notation}{{5.1}{38}{EBNF Notation\relax }{lstlisting.5.1}{}}
1.186 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1}}
1.187 -\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}}
1.188 -\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{39}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}
1.189 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2}}
1.190 -\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{39}{section*.22}}
1.191 -\newlabel{ATCCL EBNF Kommentare}{{5.3}{39}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}
1.192 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3}}
1.193 -\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{39}{section*.23}}
1.194 -\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{40}{section*.24}}
1.195 -\newlabel{ATCCL EBNF Bezeichner}{{5.4}{40}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}
1.196 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4}}
1.197 -\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}}
1.198 -\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{40}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}
1.199 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5}}
1.200 -\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}}
1.201 -\newlabel{ATCCL EBNF Datentypen}{{5.6}{41}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}
1.202 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6}}
1.203 -\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}}
1.204 -\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{42}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}
1.205 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7}}
1.206 -\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{43}{section*.28}}
1.207 -\newlabel{ATCCL EBNF Operatoren}{{5.8}{43}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
1.208 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}}
1.209 -\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}}
1.210 -\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{43}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
1.211 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{43}{lstlisting.5.9}}
1.212 -\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{44}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
1.213 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}}
1.214 -\newlabel{ATCCL EBNF Flow Point}{{5.11}{45}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
1.215 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11}}
1.216 -\@writefile{toc}{\contentsline {subsubsection}{Programm}{45}{section*.30}}
1.217 -\newlabel{ATCCL EBNF Konfiguration}{{5.12}{45}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}
1.218 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}}
1.219 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{46}{subsection.5.1.2}}
1.220 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Zielstellung}{46}{section*.31}}
1.221 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Code}{46}{section*.32}}
1.222 -\newlabel{ATCCL Einfaches Beispiel}{{5.13}{46}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
1.223 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}}
1.224 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{46}{section*.33}}
1.225 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Zielstellung}{47}{section*.34}}
1.226 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Code}{47}{section*.35}}
1.227 -\newlabel{ATCCL Komplexes Beispiel}{{5.14}{47}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
1.228 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}}
1.229 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{47}{section*.36}}
1.230 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{48}{subsection.5.1.3}}
1.231 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}}
1.232 -\newlabel{fig:compile_process}{{\relax 5.1}{48}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
1.233 +\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{35}{section.5.1}}
1.234 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{36}{subsection.5.1.1}}
1.235 +\@writefile{toc}{\contentsline {subsubsection}{Notation}{36}{section*.20}}
1.236 +\newlabel{EBNF Notation}{{5.1}{36}{EBNF Notation\relax }{lstlisting.5.1}{}}
1.237 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{36}{lstlisting.5.1}}
1.238 +\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{37}{section*.21}}
1.239 +\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{37}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}
1.240 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{37}{lstlisting.5.2}}
1.241 +\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{37}{section*.22}}
1.242 +\newlabel{ATCCL EBNF Kommentare}{{5.3}{37}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}
1.243 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{37}{lstlisting.5.3}}
1.244 +\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{37}{section*.23}}
1.245 +\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{38}{section*.24}}
1.246 +\newlabel{ATCCL EBNF Bezeichner}{{5.4}{38}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}
1.247 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{38}{lstlisting.5.4}}
1.248 +\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{38}{section*.25}}
1.249 +\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{38}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}
1.250 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{38}{lstlisting.5.5}}
1.251 +\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{39}{section*.26}}
1.252 +\newlabel{ATCCL EBNF Datentypen}{{5.6}{39}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}
1.253 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{39}{lstlisting.5.6}}
1.254 +\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{40}{section*.27}}
1.255 +\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{40}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}
1.256 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{40}{lstlisting.5.7}}
1.257 +\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{41}{section*.28}}
1.258 +\newlabel{ATCCL EBNF Operatoren}{{5.8}{41}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
1.259 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{41}{lstlisting.5.8}}
1.260 +\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{41}{section*.29}}
1.261 +\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{41}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
1.262 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9}}
1.263 +\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{42}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
1.264 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{42}{lstlisting.5.10}}
1.265 +\newlabel{ATCCL EBNF Flow Point}{{5.11}{43}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
1.266 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{43}{lstlisting.5.11}}
1.267 +\@writefile{toc}{\contentsline {subsubsection}{Programm}{43}{section*.30}}
1.268 +\newlabel{ATCCL EBNF Konfiguration}{{5.12}{43}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}
1.269 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{43}{lstlisting.5.12}}
1.270 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{44}{subsection.5.1.2}}
1.271 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Zielstellung}{44}{section*.31}}
1.272 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Code}{44}{section*.32}}
1.273 +\newlabel{ATCCL Einfaches Beispiel}{{5.13}{44}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
1.274 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{44}{lstlisting.5.13}}
1.275 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{44}{section*.33}}
1.276 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Zielstellung}{45}{section*.34}}
1.277 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Code}{45}{section*.35}}
1.278 +\newlabel{ATCCL Komplexes Beispiel}{{5.14}{45}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
1.279 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{45}{lstlisting.5.14}}
1.280 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{45}{section*.36}}
1.281 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{46}{subsection.5.1.3}}
1.282 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{46}{figure.5.1}}
1.283 +\newlabel{fig:compile_process}{{\relax 5.1}{46}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
1.284 \citation{design_patterns}
1.285 -\@writefile{toc}{\contentsline {subsubsection}{Scanner}{49}{section*.37}}
1.286 -\@writefile{toc}{\contentsline {subsubsection}{Parser}{49}{section*.38}}
1.287 -\@writefile{toc}{\contentsline {subsubsection}{Synthese}{49}{section*.39}}
1.288 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}}
1.289 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{51}{figure.5.2}}
1.290 -\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{51}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
1.291 -\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{51}{section*.40}}
1.292 -\newlabel{design:flight_plan}{{5.1.4}{51}{FlightPlan-Interface\relax }{section*.40}{}}
1.293 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}}
1.294 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{54}{subsection.5.1.6}}
1.295 -\newlabel{design:pattern_evaluation}{{5.1.6}{54}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
1.296 -\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{54}{section*.41}}
1.297 -\newlabel{ATCCL Pattern-Beispiel}{{5.15}{54}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}
1.298 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{54}{lstlisting.5.15}}
1.299 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}}
1.300 -\newlabel{design:atot_calculation}{{5.1.7}{55}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
1.301 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{56}{figure.5.3}}
1.302 -\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{56}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}
1.303 -\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{57}{section*.42}}
1.304 -\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{57}{algorithm.1}}
1.305 -\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{58}{algorithm.2}}
1.306 -\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}}
1.307 -\@writefile{toc}{\contentsline {subsubsection}{Alternative}{59}{section*.44}}
1.308 -\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}}
1.309 -\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}}
1.310 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}}
1.311 +\@writefile{toc}{\contentsline {subsubsection}{Scanner}{47}{section*.37}}
1.312 +\@writefile{toc}{\contentsline {subsubsection}{Parser}{47}{section*.38}}
1.313 +\@writefile{toc}{\contentsline {subsubsection}{Synthese}{47}{section*.39}}
1.314 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{48}{subsection.5.1.4}}
1.315 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{49}{figure.5.2}}
1.316 +\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{49}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
1.317 +\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{49}{section*.40}}
1.318 +\newlabel{design:flight_plan}{{5.1.4}{49}{FlightPlan-Interface\relax }{section*.40}{}}
1.319 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{50}{subsection.5.1.5}}
1.320 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{52}{subsection.5.1.6}}
1.321 +\newlabel{design:pattern_evaluation}{{5.1.6}{52}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
1.322 +\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{52}{section*.41}}
1.323 +\newlabel{ATCCL Pattern-Beispiel}{{5.15}{52}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}
1.324 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{52}{lstlisting.5.15}}
1.325 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{53}{subsection.5.1.7}}
1.326 +\newlabel{design:atot_calculation}{{5.1.7}{53}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
1.327 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{54}{figure.5.3}}
1.328 +\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{54}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}
1.329 +\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{55}{section*.42}}
1.330 +\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{55}{algorithm.1}}
1.331 +\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{56}{algorithm.2}}
1.332 +\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{56}{section*.43}}
1.333 +\@writefile{toc}{\contentsline {subsubsection}{Alternative}{57}{section*.44}}
1.334 +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{57}{section*.45}}
1.335 +\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{58}{section.5.2}}
1.336 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{58}{subsection.5.2.1}}
1.337 \citation{design_patterns}
1.338 -\@writefile{toc}{\contentsline {subsubsection}{Map}{61}{section*.46}}
1.339 -\@writefile{toc}{\contentsline {subsubsection}{Notify}{61}{section*.47}}
1.340 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}}
1.341 +\@writefile{toc}{\contentsline {subsubsection}{Map}{59}{section*.46}}
1.342 +\@writefile{toc}{\contentsline {subsubsection}{Notify}{59}{section*.47}}
1.343 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{60}{subsection.5.2.2}}
1.344 \citation{flugleiter_dman}
1.345 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{64}{subsection.5.2.3}}
1.346 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{62}{subsection.5.2.3}}
1.347 \citation{iec_61508}
1.348 \citation{iec_61508}
1.349 \citation{iec_61508}
1.350 -\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}}
1.351 +\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{63}{chapter.6}}
1.352 \@writefile{lof}{\addvspace {10\p@ }}
1.353 \@writefile{lot}{\addvspace {10\p@ }}
1.354 \@writefile{lol}{\addvspace {10\p@ }}
1.355 \@writefile{loa}{\addvspace {10\p@ }}
1.356 -\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}}
1.357 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}}
1.358 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2}}
1.359 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}}
1.360 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{67}{figure.6.1}}
1.361 -\newlabel{uml:stack_vector}{{\relax 6.1}{67}{\texttt {StackVector}\relax }{figure.6.1}{}}
1.362 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}}
1.363 -\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}}
1.364 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}}
1.365 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}}
1.366 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}}
1.367 -\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}}
1.368 -\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}}
1.369 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1}}
1.370 +\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{63}{section.6.1}}
1.371 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{63}{subsection.6.1.1}}
1.372 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{64}{subsection.6.1.2}}
1.373 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{64}{subsection.6.1.3}}
1.374 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{65}{figure.6.1}}
1.375 +\newlabel{uml:stack_vector}{{\relax 6.1}{65}{\texttt {StackVector}\relax }{figure.6.1}{}}
1.376 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{65}{subsection.6.1.4}}
1.377 +\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{65}{section.6.2}}
1.378 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{65}{subsection.6.2.1}}
1.379 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{66}{subsection.6.2.2}}
1.380 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{66}{subsection.6.2.3}}
1.381 +\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{66}{section.6.3}}
1.382 +\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{66}{section.6.4}}
1.383 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{66}{subsection.6.4.1}}
1.384 \citation{lex_paper}
1.385 \citation{lex_yacc_guide}
1.386 \citation{lex_paper}
1.387 \citation{lex_yacc_guide}
1.388 -\newlabel{flex_config1}{{6.1}{69}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}
1.389 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1}}
1.390 -\@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}}
1.391 -\newlabel{flex_metazeichen}{{\relax 6.1}{69}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}
1.392 -\newlabel{flex_config2}{{6.2}{70}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}
1.393 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2}}
1.394 -\newlabel{flex_config3}{{6.3}{70}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}
1.395 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3}}
1.396 -\newlabel{flex_config4}{{6.4}{70}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}
1.397 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4}}
1.398 -\newlabel{flex_config5}{{6.5}{70}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}
1.399 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5}}
1.400 -\newlabel{flex_config6}{{6.6}{71}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}
1.401 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{71}{lstlisting.6.6}}
1.402 -\newlabel{flex_config7}{{6.7}{71}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}
1.403 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7}}
1.404 +\newlabel{flex_config1}{{6.1}{67}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}
1.405 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{67}{lstlisting.6.1}}
1.406 +\@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}}
1.407 +\newlabel{flex_metazeichen}{{\relax 6.1}{67}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}
1.408 +\newlabel{flex_config2}{{6.2}{68}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}
1.409 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{68}{lstlisting.6.2}}
1.410 +\newlabel{flex_config3}{{6.3}{68}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}
1.411 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{68}{lstlisting.6.3}}
1.412 +\newlabel{flex_config4}{{6.4}{68}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}
1.413 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{68}{lstlisting.6.4}}
1.414 +\newlabel{flex_config5}{{6.5}{68}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}
1.415 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{68}{lstlisting.6.5}}
1.416 +\newlabel{flex_config6}{{6.6}{69}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}
1.417 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{69}{lstlisting.6.6}}
1.418 +\newlabel{flex_config7}{{6.7}{69}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}
1.419 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{69}{lstlisting.6.7}}
1.420 \citation{design_patterns}
1.421 -\newlabel{flex_config8}{{6.8}{72}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}
1.422 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{72}{lstlisting.6.8}}
1.423 -\newlabel{flex_config9}{{6.9}{72}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}
1.424 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9}}
1.425 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2}}
1.426 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}}
1.427 -\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}}
1.428 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}}
1.429 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}}
1.430 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}}
1.431 -\newlabel{fig:dflow_displays}{{6.5.3}{74}{AWP\relax }{subsection.6.5.3}{}}
1.432 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2}}
1.433 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}}
1.434 +\newlabel{flex_config8}{{6.8}{70}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}
1.435 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{70}{lstlisting.6.8}}
1.436 +\newlabel{flex_config9}{{6.9}{70}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}
1.437 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{70}{lstlisting.6.9}}
1.438 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{70}{subsection.6.4.2}}
1.439 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{70}{subsection.6.4.3}}
1.440 +\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{71}{section.6.5}}
1.441 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{71}{subsection.6.5.1}}
1.442 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{72}{subsection.6.5.2}}
1.443 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{72}{subsection.6.5.3}}
1.444 +\newlabel{fig:dflow_displays}{{6.5.3}{72}{AWP\relax }{subsection.6.5.3}{}}
1.445 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{72}{figure.6.2}}
1.446 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{73}{subsection.6.5.4}}
1.447 \citation{code_gen}
1.448 -\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}}
1.449 +\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{75}{chapter.7}}
1.450 \@writefile{lof}{\addvspace {10\p@ }}
1.451 \@writefile{lot}{\addvspace {10\p@ }}
1.452 \@writefile{lol}{\addvspace {10\p@ }}
1.453 \@writefile{loa}{\addvspace {10\p@ }}
1.454 -\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}}
1.455 -\@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1}}
1.456 -\newlabel{auto_gen_loc}{{\relax 7.1}{77}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}
1.457 -\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}}
1.458 -\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}}
1.459 -\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}}
1.460 -\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{80}{section.7.5}}
1.461 -\newlabel{verification:efficiency}{{7.5}{80}{Effizienz\relax }{section.7.5}{}}
1.462 -\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}}
1.463 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}}
1.464 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}}
1.465 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{82}{subsection.7.6.3}}
1.466 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1}}
1.467 -\newlabel{fig:atot_etot_atd}{{\relax 7.1}{82}{Abflugzeitkonformität\relax }{figure.7.1}{}}
1.468 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2}}
1.469 -\newlabel{fig:1figs}{{\relax 7.2}{83}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}
1.470 -\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}}
1.471 +\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{75}{section.7.1}}
1.472 +\@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{75}{table.7.1}}
1.473 +\newlabel{auto_gen_loc}{{\relax 7.1}{75}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}
1.474 +\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{76}{section.7.2}}
1.475 +\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{76}{section.7.3}}
1.476 +\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{77}{section.7.4}}
1.477 +\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{78}{section.7.5}}
1.478 +\newlabel{verification:efficiency}{{7.5}{78}{Effizienz\relax }{section.7.5}{}}
1.479 +\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{78}{section.7.6}}
1.480 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{78}{subsection.7.6.1}}
1.481 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{79}{subsection.7.6.2}}
1.482 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{80}{subsection.7.6.3}}
1.483 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{80}{figure.7.1}}
1.484 +\newlabel{fig:atot_etot_atd}{{\relax 7.1}{80}{Abflugzeitkonformität\relax }{figure.7.1}{}}
1.485 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{81}{figure.7.2}}
1.486 +\newlabel{fig:1figs}{{\relax 7.2}{81}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}
1.487 +\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{83}{chapter.8}}
1.488 \@writefile{lof}{\addvspace {10\p@ }}
1.489 \@writefile{lot}{\addvspace {10\p@ }}
1.490 \@writefile{lol}{\addvspace {10\p@ }}
1.491 \@writefile{loa}{\addvspace {10\p@ }}
1.492 -\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}}
1.493 -\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}}
1.494 +\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{83}{section.8.1}}
1.495 +\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{83}{section.8.2}}
1.496 \citation{moderne_flugsicherung}
1.497 \citation{compilers}
1.498 \citation{compilers}
1.499 @@ -317,25 +317,25 @@
1.500 \bibcite{icao_4444}{Org96}
1.501 \bibcite{flex_manual}{PEM07}
1.502 \bibcite{ebnf}{Wir77}
1.503 -\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}}
1.504 +\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{93}{appendix.A}}
1.505 \@writefile{lof}{\addvspace {10\p@ }}
1.506 \@writefile{lot}{\addvspace {10\p@ }}
1.507 \@writefile{lol}{\addvspace {10\p@ }}
1.508 \@writefile{loa}{\addvspace {10\p@ }}
1.509 -\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}}
1.510 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}}
1.511 -\newlabel{uml:factories}{{A.1.1}{95}{Factory\relax }{subsection.A.1.1}{}}
1.512 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}}
1.513 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}}
1.514 -\newlabel{uml:property}{{A.1.3}{96}{Property (Auszug)\relax }{subsection.A.1.3}{}}
1.515 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}}
1.516 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}}
1.517 -\newlabel{uml:flight_plan_interface}{{A.1.5}{97}{Flight Plan Interface\relax }{subsection.A.1.5}{}}
1.518 -\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B}}
1.519 +\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{93}{section.A.1}}
1.520 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{93}{subsection.A.1.1}}
1.521 +\newlabel{uml:factories}{{A.1.1}{93}{Factory\relax }{subsection.A.1.1}{}}
1.522 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{93}{subsection.A.1.2}}
1.523 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{94}{subsection.A.1.3}}
1.524 +\newlabel{uml:property}{{A.1.3}{94}{Property (Auszug)\relax }{subsection.A.1.3}{}}
1.525 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{94}{subsection.A.1.4}}
1.526 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{95}{subsection.A.1.5}}
1.527 +\newlabel{uml:flight_plan_interface}{{A.1.5}{95}{Flight Plan Interface\relax }{subsection.A.1.5}{}}
1.528 +\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{97}{appendix.B}}
1.529 \@writefile{lof}{\addvspace {10\p@ }}
1.530 \@writefile{lot}{\addvspace {10\p@ }}
1.531 \@writefile{lol}{\addvspace {10\p@ }}
1.532 \@writefile{loa}{\addvspace {10\p@ }}
1.533 -\newlabel{bison_config}{{B.1}{99}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}
1.534 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}}
1.535 +\newlabel{bison_config}{{B.1}{97}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}
1.536 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{97}{lstlisting.B.1}}
1.537 \global\@altsecnumformattrue