1.1 --- a/book/klappentext.txt Thu Mar 24 01:11:45 2011 +0100
1.2 +++ b/book/klappentext.txt Thu Mar 24 13:42:41 2011 +0100
1.3 @@ -1,1 +1,1 @@
1.4 -Durch den stetigen Wachstum des Luftverkehrs sind die Kapazitäten in manchen Regionen der Welt bereits ausgelastet. Wie im Straßenverkehr entstehen auch im Luftverkehrsnetz Engpässe. Neben der Gewährleistung der Sicherheit verfolgt die Flugsicherung auch ökonomische und ökologische Ziele. Regulatorische Eingriffe in den Flugverlauf haben Auswirkung auf den Treibstoffverbrauch und die Flugdauer - wie kann man die Häufigkeit solcher Maßnahmen reduzieren? Wie modelliert man die komplexen und dynamischen Beschränkungen von Lufträumen? Die Arbeit dokumentiert den Projektverlauf einer Entwicklung von Softwarekomponenten für die Flugsicherung. Nach einer grundlegenden Einleitung in die Organisation der Flugsicherung, werden die Softwarekomponenten im Detail erläutert. Anschließend werden die Analysemethoden vorgestellt und die Auswertung des Testbetriebs präsentiert. Das Buch richtet sich an Entwickler sicherheitskritischer Software, an Interessierte der Luftfahrt und der Flugsicherung und an Alle, die hinter die Kulissen eines solchen Projekts blicken möchten.
1.5 +Durch das stetige Wachstum des Luftverkehrs sind die Kapazitäten in manchen Regionen der Welt bereits ausgelastet. Wie im Straßenverkehr entstehen auch im Luftverkehrsnetz Engpässe. Neben der Gewährleistung der Sicherheit verfolgt die Flugsicherung auch ökonomische und ökologische Ziele. Regulatorische Eingriffe in den Flugverlauf haben Auswirkung auf den Treibstoffverbrauch und die Flugdauer - wie kann man die Häufigkeit solcher Maßnahmen reduzieren? Wie modelliert man erfolgreich die komplexen und dynamischen Beschränkungen der Lufträume? Die Arbeit dokumentiert den Projektverlauf einer Entwicklung von Softwarekomponenten für die Flugsicherung. Nach einer grundlegenden Einleitung in die Organisation der Flugsicherung, wird die Entwicklung der Komponenten im Detail erläutert. Anschließend werden die Analysemethoden vorgestellt und die Auswertung des Testbetriebs präsentiert. Das Buch richtet sich an Entwickler sicherheitskritischer Software, an Interessierte der Luftfahrt und der Flugsicherung und an alle, die hinter die Kulissen eines solchen Projekts blicken möchten.
2.1 Binary file book/out/buchblock.pdf has changed
3.1 --- a/book/src/abstract.tex Thu Mar 24 01:11:45 2011 +0100
3.2 +++ b/book/src/abstract.tex Thu Mar 24 13:42:41 2011 +0100
3.3 @@ -1,5 +1,5 @@
3.4 \renewcommand\abstractname{Abstract}
3.5 -\begin{abstract}
3.6 +\begin{chapter}
3.7 Moderne Flugsicherung hat das Ziel, Luftfahrzeuge effizient und sicher vom Startflughafen bis zum Ziel zu begleiten. Der stetige Wachstum des Luftverkehrs hat eine Verdichtung des Flugraums zur Folge, eine effektive Regelung des Flugbetriebs wird dadurch notwendig. Dabei konkurriert der Sicherheitsaspekt mit ökonomischen und ökologischen Zielen.
3.8
3.9 Gegenstand dieser Arbeit ist die Entwicklung einer \emph{domänenspezifischen Sprache} zur Modellierung des Regelwerks der Flugsicherung im Bereich \emph{Air Traffic Flow Management} und die Realisierung einer \emph{Abflugplanungskomponente} zur Optimierung der Abflugzeitenbestimmung.
3.10 @@ -10,5 +10,5 @@
3.11 \includegraphics[width=15.5cm]{images/title_page.pdf}
3.12 \caption[Luftverkehrsrouten]{Abstraktion der Luftverkehrsrouten ausgehend von den Vereinigten Arabischen Emiraten. \emph{Quelle (Weltkarte): Wikipedia}}
3.13 \end{figure}
3.14 -\end{abstract}
3.15 +\end{chapter}
3.16
4.1 --- a/book/src/analysis.tex Thu Mar 24 01:11:45 2011 +0100
4.2 +++ b/book/src/analysis.tex Thu Mar 24 13:42:41 2011 +0100
4.3 @@ -125,7 +125,7 @@
4.4 Die Abflugplanungskomponente soll Position bzw. Gate des Luftfahrzeugs, Rollzeiten oder Startbahnbelegung bei der Bestimmung von Abflugzeiten \emph{nicht} berücksich"-tigen. Die übermittelte früheste Abflugzeit soll bereits diese Details berücksichtigen -- dies ist Aufgabe des Planers.
4.5
4.6 \item \textbf{Keine globale Optimierung}\\
4.7 -Die Abflugplanungskomponente soll keine Neuberechnung der Abflugzeiten und Flugflächen aller erfassten Flüge durchführen, sobald Änderungen in dem Berechnungsvektor stattfinden. Solch eine Änderung kann z.B. durch manuelle Übersteuerung durch das Flugsicherungspersonal oder durch Abweichungen der Flugvektoren eines Verkehrsfahrzeugs entstehen. Tritt eine Abweichung von den vergebenen Slot-Zeiten ein, sodass Potential für eine Optimierung bereits vergebener Slots entsteht, sollen alle vergebenen Slots unverändert bestehen bleiben.
4.8 +Die Abflugplanungskomponente soll keine Neuberechnung der Abflugzeiten und Flugflächen aller erfassten Flüge durchführen, sobald Änderungen in dem Berechnungsvektor stattfinden. Solch eine Änderung kann z.B. durch manuelle Über\-steuerung durch das Flugsicherungspersonal oder durch Abweichungen der Flugvektoren eines Verkehrsfahrzeugs entstehen. Tritt eine Abweichung von den vergebenen Slot-Zeiten ein, sodass Potential für eine Optimierung bereits vergebener Slots entsteht, sollen alle vergebenen Slots unverändert bestehen bleiben.
4.9
4.10 \item \textbf{Keine automatische Slot-Zeitenkorrektur}\\
4.11 Bedingung von 2. gilt mit folgender Änderung: durch die eintretende Abweichung von den vergebenen Slot-Zeiten entsteht Potential zur Verletzung einer Luftraumbeschränkung. Die vergebenen Slots sollen unverändert bestehen bleiben -- die Gewähr\-leistung der Einhaltung der Luftraumbeschränkung fällt in die Zuständigkeit der Fluglotsen und Luftfahrzeugführer.
5.1 --- a/book/src/design.tex Thu Mar 24 01:11:45 2011 +0100
5.2 +++ b/book/src/design.tex Thu Mar 24 13:42:41 2011 +0100
5.3 @@ -52,7 +52,7 @@
5.4 \subsubsection{Datentypen und Konstanten}
5.5 Zur erfolgreichen Modellierung der Flussdichtenbeschränkungen eines Fluginformationsgebiets müssen sowohl alle Einträge eines Flugplans als auch Zeitangaben von der Sprache unterstützt werden.
5.6
5.7 -Die Flugplaneinträge sind in sechs verschiedenen Datentypen erfasst. Als Grundtypen gelten einzelne Zeichen, zusammengesetzte Zeichenketten (Wörter) und die natürlichen Zahlen. Für jeden Grundtyp gibt es die Möglichkeit mehrere Werte in einer Liste zusammenzufassen.\\\\
5.8 +Die Flugplaneinträge sind in sechs verschiedenen Datentypen erfasst. Als Grundtypen gelten einzelne Zeichen, zusammengesetzte Zeichenketten (Wörter) und die natür\-lichen Zahlen. Für jeden Grundtyp gibt es die Möglichkeit mehrere Werte in einer Liste zusammenzufassen.\\\\
5.9 Zur Festlegung von Separationsregeln ist es notwendig Zeitangaben sowohl in Minuten und in seltenen Fällen sekundengenau zu definieren. Um Regeln bestimmten Uhrzeiten zuzuweisen, ist es notwendig, minutengenau die Tageszeit festzulegen.\\\\
5.10 ATCCL kennt folgende Datentypen:
5.11 \begin{itemize}
6.1 --- a/book/src/document.aux Thu Mar 24 01:11:45 2011 +0100
6.2 +++ b/book/src/document.aux Thu Mar 24 13:42:41 2011 +0100
6.3 @@ -18,54 +18,54 @@
6.4 \@writefile{toc}{\select@language{ngerman}}
6.5 \@writefile{lof}{\select@language{ngerman}}
6.6 \@writefile{lot}{\select@language{ngerman}}
6.7 -\@writefile{lof}{\contentsline {figure}{\numberline {0.1}{\ignorespaces Luftverkehrsrouten}}{2}{figure.0.1}}
6.8 -\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{3}{chapter.1}}
6.9 +\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}}
6.10 \@writefile{lof}{\addvspace {10\p@ }}
6.11 \@writefile{lot}{\addvspace {10\p@ }}
6.12 \@writefile{lol}{\addvspace {10\p@ }}
6.13 \@writefile{loa}{\addvspace {10\p@ }}
6.14 -\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{3}{section.1.1}}
6.15 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1}}
6.16 +\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}}
6.17 \citation{moderne_flugsicherung}
6.18 \citation{moderne_flugsicherung}
6.19 \citation{moderne_flugsicherung}
6.20 -\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}}
6.21 +\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}}
6.22 \@writefile{lof}{\addvspace {10\p@ }}
6.23 \@writefile{lot}{\addvspace {10\p@ }}
6.24 \@writefile{lol}{\addvspace {10\p@ }}
6.25 \@writefile{loa}{\addvspace {10\p@ }}
6.26 -\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{7}{section.2.1}}
6.27 -\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}}}{8}{figure.2.1}}
6.28 -\newlabel{fig:atfm_stats}{{2.1}{8}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}
6.29 -\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}}
6.30 -\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{9}{section.2.3}}
6.31 +\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{9}{section.2.1}}
6.32 +\@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}}
6.33 +\newlabel{fig:atfm_stats}{{\relax 2.1}{10}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}
6.34 +\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}}
6.35 +\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{11}{section.2.3}}
6.36 \citation{moderne_flugsicherung}
6.37 -\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}}
6.38 +\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}}
6.39 \@writefile{lof}{\addvspace {10\p@ }}
6.40 \@writefile{lot}{\addvspace {10\p@ }}
6.41 \@writefile{lol}{\addvspace {10\p@ }}
6.42 \@writefile{loa}{\addvspace {10\p@ }}
6.43 -\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}}
6.44 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}}
6.45 -\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}}
6.46 +\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}}
6.47 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}}
6.48 +\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}}
6.49 \citation{moderne_flugsicherung}
6.50 -\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{12}{section*.3}}
6.51 -\newlabel{grundlagen:routensystem}{{3.1.1}{12}{Routensystem\relax }{section*.3}{}}
6.52 -\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}}
6.53 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}}
6.54 -\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}}
6.55 -\newlabel{research:time_separation}{{3.1.2}{13}{Längsstaffelung\relax }{section*.5}{}}
6.56 -\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}}
6.57 -\newlabel{research:flight_level_separation}{{3.1.2}{13}{Höhenstaffelung\relax }{section*.6}{}}
6.58 -\@writefile{toc}{\contentsline {subsubsection}{Slot}{14}{section*.7}}
6.59 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}}
6.60 -\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}}
6.61 -\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{15}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}
6.62 -\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1}}
6.63 -\newlabel{fig:near_east}{{3.1}{15}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}
6.64 -\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}}
6.65 -\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}}
6.66 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}}
6.67 -\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}}
6.68 +\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{14}{section*.3}}
6.69 +\newlabel{grundlagen:routensystem}{{3.1.1}{14}{Routensystem\relax }{section*.3}{}}
6.70 +\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}}
6.71 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}}
6.72 +\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}}
6.73 +\newlabel{research:time_separation}{{3.1.2}{15}{Längsstaffelung\relax }{section*.5}{}}
6.74 +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}}
6.75 +\newlabel{research:flight_level_separation}{{3.1.2}{15}{Höhenstaffelung\relax }{section*.6}{}}
6.76 +\@writefile{toc}{\contentsline {subsubsection}{Slot}{16}{section*.7}}
6.77 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}}
6.78 +\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}}
6.79 +\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{17}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}
6.80 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1}}
6.81 +\newlabel{fig:near_east}{{\relax 3.1}{17}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}
6.82 +\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}}
6.83 +\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}}
6.84 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}}
6.85 +\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}}
6.86 \citation{compilers}
6.87 \citation{compilers}
6.88 \citation{compilers}
6.89 @@ -73,228 +73,228 @@
6.90 \citation{compilers}
6.91 \citation{compilers}
6.92 \citation{compilers}
6.93 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}}
6.94 -\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2}}
6.95 -\newlabel{fig:compiler}{{3.2}{20}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}
6.96 -\@writefile{lof}{\contentsline {figure}{\numberline {3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.3}}
6.97 -\newlabel{fig:interpreter}{{3.3}{20}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}
6.98 -\@writefile{lof}{\contentsline {figure}{\numberline {3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{21}{figure.3.4}}
6.99 -\newlabel{fig:hybrid_compiler}{{3.4}{21}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}
6.100 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}}
6.101 -\@writefile{toc}{\contentsline {subsubsection}{LLVM}{22}{section*.10}}
6.102 -\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}}
6.103 -\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}}
6.104 -\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}}
6.105 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}}
6.106 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.2}}
6.107 +\newlabel{fig:compiler}{{\relax 3.2}{22}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}
6.108 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.3}}
6.109 +\newlabel{fig:interpreter}{{\relax 3.3}{22}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}
6.110 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{23}{figure.3.4}}
6.111 +\newlabel{fig:hybrid_compiler}{{\relax 3.4}{23}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}
6.112 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}}
6.113 +\@writefile{toc}{\contentsline {subsubsection}{LLVM}{24}{section*.10}}
6.114 +\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11}}
6.115 +\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12}}
6.116 +\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}}
6.117 \citation{eurocontrol_dman}
6.118 -\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}}
6.119 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}}
6.120 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}}
6.121 +\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}}
6.122 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}}
6.123 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}}
6.124 \citation{eurocontrol_dman}
6.125 \citation{flugleiter_dman}
6.126 \citation{flugleiter_dman}
6.127 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}}
6.128 -\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}}
6.129 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}}
6.130 +\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}}
6.131 \@writefile{lof}{\addvspace {10\p@ }}
6.132 \@writefile{lot}{\addvspace {10\p@ }}
6.133 \@writefile{lol}{\addvspace {10\p@ }}
6.134 \@writefile{loa}{\addvspace {10\p@ }}
6.135 -\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}}
6.136 +\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}}
6.137 \citation{iec_61508}
6.138 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}}
6.139 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}}
6.140 -\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}}
6.141 -\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{27}{section*.14}}
6.142 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}}
6.143 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}}
6.144 +\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}}
6.145 +\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{29}{section*.14}}
6.146 \citation{icao_4444}
6.147 \citation{icao_4444}
6.148 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}}
6.149 -\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{28}{section*.15}}
6.150 -\@writefile{toc}{\contentsline {subsubsection}{Runway}{29}{section*.16}}
6.151 -\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}}
6.152 -\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{29}{section*.18}}
6.153 -\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{29}{section*.19}}
6.154 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}}
6.155 -\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{29}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}
6.156 -\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}}
6.157 -\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}}
6.158 -\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{31}{section.4.4}}
6.159 -\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{32}{section.4.5}}
6.160 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}}
6.161 +\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{30}{section*.15}}
6.162 +\@writefile{toc}{\contentsline {subsubsection}{Runway}{31}{section*.16}}
6.163 +\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}}
6.164 +\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{31}{section*.18}}
6.165 +\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{31}{section*.19}}
6.166 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}}
6.167 +\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{31}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}
6.168 +\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}}
6.169 +\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}}
6.170 +\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{33}{section.4.4}}
6.171 +\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{34}{section.4.5}}
6.172 \citation{iec_61508}
6.173 -\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}}
6.174 +\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}}
6.175 \citation{ebnf}
6.176 -\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{34}{chapter.5}}
6.177 +\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}}
6.178 \@writefile{lof}{\addvspace {10\p@ }}
6.179 \@writefile{lot}{\addvspace {10\p@ }}
6.180 \@writefile{lol}{\addvspace {10\p@ }}
6.181 \@writefile{loa}{\addvspace {10\p@ }}
6.182 -\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{34}{section.5.1}}
6.183 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{35}{subsection.5.1.1}}
6.184 -\@writefile{toc}{\contentsline {subsubsection}{Notation}{35}{section*.20}}
6.185 -\newlabel{EBNF Notation}{{5.1}{35}{EBNF Notation\relax }{lstlisting.5.1}{}}
6.186 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{35}{lstlisting.5.1}}
6.187 -\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{36}{section*.21}}
6.188 -\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{36}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}
6.189 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{36}{lstlisting.5.2}}
6.190 -\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{36}{section*.22}}
6.191 -\newlabel{ATCCL EBNF Kommentare}{{5.3}{36}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}
6.192 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{36}{lstlisting.5.3}}
6.193 -\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{36}{section*.23}}
6.194 -\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{37}{section*.24}}
6.195 -\newlabel{ATCCL EBNF Bezeichner}{{5.4}{37}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}
6.196 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{37}{lstlisting.5.4}}
6.197 -\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{37}{section*.25}}
6.198 -\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{37}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}
6.199 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{37}{lstlisting.5.5}}
6.200 -\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{38}{section*.26}}
6.201 -\newlabel{ATCCL EBNF Datentypen}{{5.6}{38}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}
6.202 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{38}{lstlisting.5.6}}
6.203 -\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{39}{section*.27}}
6.204 -\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{39}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}
6.205 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{39}{lstlisting.5.7}}
6.206 -\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{40}{section*.28}}
6.207 -\newlabel{ATCCL EBNF Operatoren}{{5.8}{40}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
6.208 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{40}{lstlisting.5.8}}
6.209 -\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{40}{section*.29}}
6.210 -\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{41}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
6.211 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9}}
6.212 -\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{41}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
6.213 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{41}{lstlisting.5.10}}
6.214 -\newlabel{ATCCL EBNF Flow Point}{{5.11}{42}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
6.215 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{42}{lstlisting.5.11}}
6.216 -\@writefile{toc}{\contentsline {subsubsection}{Programm}{42}{section*.30}}
6.217 -\newlabel{ATCCL EBNF Konfiguration}{{5.12}{42}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}
6.218 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{42}{lstlisting.5.12}}
6.219 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{42}{subsection.5.1.2}}
6.220 -\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{42}{section*.31}}
6.221 -\@writefile{toc}{\contentsline {subsubsection}{Code}{43}{section*.32}}
6.222 -\newlabel{ATCCL Einfaches Beispiel}{{5.13}{43}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
6.223 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{43}{lstlisting.5.13}}
6.224 -\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{43}{section*.33}}
6.225 -\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{43}{section*.34}}
6.226 -\@writefile{toc}{\contentsline {subsubsection}{Code}{44}{section*.35}}
6.227 -\newlabel{ATCCL Komplexes Beispiel}{{5.14}{44}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
6.228 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{44}{lstlisting.5.14}}
6.229 -\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{44}{section*.36}}
6.230 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{44}{subsection.5.1.3}}
6.231 -\@writefile{lof}{\contentsline {figure}{\numberline {5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{45}{figure.5.1}}
6.232 -\newlabel{fig:compile_process}{{5.1}{45}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
6.233 -\@writefile{toc}{\contentsline {subsubsection}{Scanner}{45}{section*.37}}
6.234 +\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}}
6.235 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}}
6.236 +\@writefile{toc}{\contentsline {subsubsection}{Notation}{38}{section*.20}}
6.237 +\newlabel{EBNF Notation}{{5.1}{38}{EBNF Notation\relax }{lstlisting.5.1}{}}
6.238 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1}}
6.239 +\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}}
6.240 +\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{39}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}
6.241 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2}}
6.242 +\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{39}{section*.22}}
6.243 +\newlabel{ATCCL EBNF Kommentare}{{5.3}{39}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}
6.244 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3}}
6.245 +\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{39}{section*.23}}
6.246 +\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{40}{section*.24}}
6.247 +\newlabel{ATCCL EBNF Bezeichner}{{5.4}{40}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}
6.248 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4}}
6.249 +\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}}
6.250 +\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{40}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}
6.251 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5}}
6.252 +\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}}
6.253 +\newlabel{ATCCL EBNF Datentypen}{{5.6}{41}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}
6.254 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6}}
6.255 +\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}}
6.256 +\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{42}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}
6.257 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7}}
6.258 +\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{43}{section*.28}}
6.259 +\newlabel{ATCCL EBNF Operatoren}{{5.8}{43}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
6.260 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}}
6.261 +\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}}
6.262 +\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{44}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
6.263 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{44}{lstlisting.5.9}}
6.264 +\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{44}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
6.265 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}}
6.266 +\newlabel{ATCCL EBNF Flow Point}{{5.11}{45}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
6.267 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11}}
6.268 +\@writefile{toc}{\contentsline {subsubsection}{Programm}{45}{section*.30}}
6.269 +\newlabel{ATCCL EBNF Konfiguration}{{5.12}{45}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}
6.270 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}}
6.271 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{45}{subsection.5.1.2}}
6.272 +\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{45}{section*.31}}
6.273 +\@writefile{toc}{\contentsline {subsubsection}{Code}{46}{section*.32}}
6.274 +\newlabel{ATCCL Einfaches Beispiel}{{5.13}{46}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
6.275 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}}
6.276 +\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{46}{section*.33}}
6.277 +\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{46}{section*.34}}
6.278 +\@writefile{toc}{\contentsline {subsubsection}{Code}{47}{section*.35}}
6.279 +\newlabel{ATCCL Komplexes Beispiel}{{5.14}{47}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
6.280 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}}
6.281 +\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{47}{section*.36}}
6.282 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{47}{subsection.5.1.3}}
6.283 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}}
6.284 +\newlabel{fig:compile_process}{{\relax 5.1}{48}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
6.285 +\@writefile{toc}{\contentsline {subsubsection}{Scanner}{48}{section*.37}}
6.286 \citation{design_patterns}
6.287 -\@writefile{toc}{\contentsline {subsubsection}{Parser}{46}{section*.38}}
6.288 -\@writefile{toc}{\contentsline {subsubsection}{Synthese}{46}{section*.39}}
6.289 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{47}{subsection.5.1.4}}
6.290 -\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{47}{section*.40}}
6.291 -\newlabel{design:flight_plan}{{5.1.4}{47}{FlightPlan-Interface\relax }{section*.40}{}}
6.292 -\@writefile{lof}{\contentsline {figure}{\numberline {5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{48}{figure.5.2}}
6.293 -\newlabel{fig:virtual_machine_basic}{{5.2}{48}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
6.294 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{49}{subsection.5.1.5}}
6.295 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{50}{subsection.5.1.6}}
6.296 -\newlabel{design:pattern_evaluation}{{5.1.6}{50}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
6.297 -\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{50}{section*.41}}
6.298 -\newlabel{ATCCL Pattern-Beispiel}{{5.15}{50}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}
6.299 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{50}{lstlisting.5.15}}
6.300 -\@writefile{lof}{\contentsline {figure}{\numberline {5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{52}{figure.5.3}}
6.301 -\newlabel{fig:pattern_evaluation1}{{5.3}{52}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}
6.302 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{52}{subsection.5.1.7}}
6.303 -\newlabel{design:atot_calculation}{{5.1.7}{52}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
6.304 -\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{53}{section*.42}}
6.305 -\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{54}{algorithm.1}}
6.306 -\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{55}{algorithm.2}}
6.307 -\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{55}{section*.43}}
6.308 -\@writefile{toc}{\contentsline {subsubsection}{Alternative}{56}{section*.44}}
6.309 -\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{56}{section*.45}}
6.310 +\@writefile{toc}{\contentsline {subsubsection}{Parser}{49}{section*.38}}
6.311 +\@writefile{toc}{\contentsline {subsubsection}{Synthese}{49}{section*.39}}
6.312 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}}
6.313 +\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{50}{section*.40}}
6.314 +\newlabel{design:flight_plan}{{5.1.4}{50}{FlightPlan-Interface\relax }{section*.40}{}}
6.315 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{51}{figure.5.2}}
6.316 +\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{51}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
6.317 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}}
6.318 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{53}{subsection.5.1.6}}
6.319 +\newlabel{design:pattern_evaluation}{{5.1.6}{53}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
6.320 +\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{53}{section*.41}}
6.321 +\newlabel{ATCCL Pattern-Beispiel}{{5.15}{53}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}
6.322 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{53}{lstlisting.5.15}}
6.323 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{55}{figure.5.3}}
6.324 +\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{55}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}
6.325 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}}
6.326 +\newlabel{design:atot_calculation}{{5.1.7}{55}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
6.327 +\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{56}{section*.42}}
6.328 +\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{57}{algorithm.1}}
6.329 +\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{58}{algorithm.2}}
6.330 +\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}}
6.331 +\@writefile{toc}{\contentsline {subsubsection}{Alternative}{59}{section*.44}}
6.332 +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}}
6.333 \citation{design_patterns}
6.334 -\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{57}{section.5.2}}
6.335 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{57}{subsection.5.2.1}}
6.336 -\@writefile{toc}{\contentsline {subsubsection}{Map}{57}{section*.46}}
6.337 -\@writefile{toc}{\contentsline {subsubsection}{Notify}{58}{section*.47}}
6.338 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{59}{subsection.5.2.2}}
6.339 +\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}}
6.340 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}}
6.341 +\@writefile{toc}{\contentsline {subsubsection}{Map}{60}{section*.46}}
6.342 +\@writefile{toc}{\contentsline {subsubsection}{Notify}{61}{section*.47}}
6.343 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}}
6.344 \citation{flugleiter_dman}
6.345 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{60}{subsection.5.2.3}}
6.346 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{63}{subsection.5.2.3}}
6.347 \citation{iec_61508}
6.348 \citation{iec_61508}
6.349 \citation{iec_61508}
6.350 -\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{62}{chapter.6}}
6.351 +\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}}
6.352 \@writefile{lof}{\addvspace {10\p@ }}
6.353 \@writefile{lot}{\addvspace {10\p@ }}
6.354 \@writefile{lol}{\addvspace {10\p@ }}
6.355 \@writefile{loa}{\addvspace {10\p@ }}
6.356 -\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{62}{section.6.1}}
6.357 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{62}{subsection.6.1.1}}
6.358 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{63}{subsection.6.1.2}}
6.359 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{63}{subsection.6.1.3}}
6.360 -\@writefile{lof}{\contentsline {figure}{\numberline {6.1}{\ignorespaces \texttt {StackVector}}}{64}{figure.6.1}}
6.361 -\newlabel{uml:stack_vector}{{6.1}{64}{\texttt {StackVector}\relax }{figure.6.1}{}}
6.362 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{64}{subsection.6.1.4}}
6.363 -\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{64}{section.6.2}}
6.364 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{64}{subsection.6.2.1}}
6.365 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{65}{subsection.6.2.2}}
6.366 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{65}{subsection.6.2.3}}
6.367 -\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{65}{section.6.3}}
6.368 -\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{65}{section.6.4}}
6.369 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{65}{subsection.6.4.1}}
6.370 +\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}}
6.371 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}}
6.372 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2}}
6.373 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}}
6.374 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{67}{figure.6.1}}
6.375 +\newlabel{uml:stack_vector}{{\relax 6.1}{67}{\texttt {StackVector}\relax }{figure.6.1}{}}
6.376 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}}
6.377 +\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}}
6.378 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}}
6.379 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}}
6.380 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}}
6.381 +\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}}
6.382 +\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}}
6.383 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1}}
6.384 \citation{lex_paper}
6.385 \citation{lex_yacc_guide}
6.386 \citation{lex_paper}
6.387 \citation{lex_yacc_guide}
6.388 -\newlabel{flex_config1}{{6.1}{66}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}
6.389 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{66}{lstlisting.6.1}}
6.390 -\@writefile{lot}{\contentsline {table}{\numberline {6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{66}{table.6.1}}
6.391 -\newlabel{flex_metazeichen}{{6.1}{66}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}
6.392 -\newlabel{flex_config2}{{6.2}{67}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}
6.393 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{67}{lstlisting.6.2}}
6.394 -\newlabel{flex_config3}{{6.3}{67}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}
6.395 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{67}{lstlisting.6.3}}
6.396 -\newlabel{flex_config4}{{6.4}{67}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}
6.397 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{67}{lstlisting.6.4}}
6.398 -\newlabel{flex_config5}{{6.5}{67}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}
6.399 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{67}{lstlisting.6.5}}
6.400 -\newlabel{flex_config6}{{6.6}{68}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}
6.401 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{68}{lstlisting.6.6}}
6.402 -\newlabel{flex_config7}{{6.7}{68}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}
6.403 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{68}{lstlisting.6.7}}
6.404 -\newlabel{flex_config8}{{6.8}{68}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}
6.405 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{68}{lstlisting.6.8}}
6.406 +\newlabel{flex_config1}{{6.1}{69}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}
6.407 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1}}
6.408 +\@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}}
6.409 +\newlabel{flex_metazeichen}{{\relax 6.1}{69}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}
6.410 +\newlabel{flex_config2}{{6.2}{70}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}
6.411 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2}}
6.412 +\newlabel{flex_config3}{{6.3}{70}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}
6.413 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3}}
6.414 +\newlabel{flex_config4}{{6.4}{70}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}
6.415 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4}}
6.416 +\newlabel{flex_config5}{{6.5}{70}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}
6.417 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5}}
6.418 +\newlabel{flex_config6}{{6.6}{71}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}
6.419 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{71}{lstlisting.6.6}}
6.420 +\newlabel{flex_config7}{{6.7}{71}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}
6.421 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7}}
6.422 +\newlabel{flex_config8}{{6.8}{71}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}
6.423 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{71}{lstlisting.6.8}}
6.424 \citation{design_patterns}
6.425 -\newlabel{flex_config9}{{6.9}{69}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}
6.426 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{69}{lstlisting.6.9}}
6.427 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{69}{subsection.6.4.2}}
6.428 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{69}{subsection.6.4.3}}
6.429 -\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{70}{section.6.5}}
6.430 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{70}{subsection.6.5.1}}
6.431 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{71}{subsection.6.5.2}}
6.432 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{71}{subsection.6.5.3}}
6.433 -\newlabel{fig:dflow_displays}{{6.5.3}{71}{AWP\relax }{subsection.6.5.3}{}}
6.434 -\@writefile{lof}{\contentsline {figure}{\numberline {6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{71}{figure.6.2}}
6.435 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{72}{subsection.6.5.4}}
6.436 +\newlabel{flex_config9}{{6.9}{72}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}
6.437 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9}}
6.438 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2}}
6.439 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}}
6.440 +\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}}
6.441 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}}
6.442 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}}
6.443 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}}
6.444 +\newlabel{fig:dflow_displays}{{6.5.3}{74}{AWP\relax }{subsection.6.5.3}{}}
6.445 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2}}
6.446 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}}
6.447 \citation{code_gen}
6.448 -\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{73}{chapter.7}}
6.449 +\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}}
6.450 \@writefile{lof}{\addvspace {10\p@ }}
6.451 \@writefile{lot}{\addvspace {10\p@ }}
6.452 \@writefile{lol}{\addvspace {10\p@ }}
6.453 \@writefile{loa}{\addvspace {10\p@ }}
6.454 -\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{73}{section.7.1}}
6.455 -\@writefile{lot}{\contentsline {table}{\numberline {7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{73}{table.7.1}}
6.456 -\newlabel{auto_gen_loc}{{7.1}{73}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}
6.457 -\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{74}{section.7.2}}
6.458 -\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{74}{section.7.3}}
6.459 -\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{75}{section.7.4}}
6.460 -\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{75}{section.7.5}}
6.461 -\newlabel{verification:efficiency}{{7.5}{75}{Effizienz\relax }{section.7.5}{}}
6.462 -\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{76}{section.7.6}}
6.463 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{76}{subsection.7.6.1}}
6.464 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{77}{subsection.7.6.2}}
6.465 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{77}{subsection.7.6.3}}
6.466 -\@writefile{lof}{\contentsline {figure}{\numberline {7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{78}{figure.7.1}}
6.467 -\newlabel{fig:atot_etot_atd}{{7.1}{78}{Abflugzeitkonformität\relax }{figure.7.1}{}}
6.468 -\@writefile{lof}{\contentsline {figure}{\numberline {7.2}{\ignorespaces Histogramm von Separationszeiten}}{79}{figure.7.2}}
6.469 -\newlabel{fig:1figs}{{7.2}{79}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}
6.470 -\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{80}{chapter.8}}
6.471 +\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}}
6.472 +\@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1}}
6.473 +\newlabel{auto_gen_loc}{{\relax 7.1}{77}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}
6.474 +\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}}
6.475 +\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}}
6.476 +\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}}
6.477 +\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{79}{section.7.5}}
6.478 +\newlabel{verification:efficiency}{{7.5}{79}{Effizienz\relax }{section.7.5}{}}
6.479 +\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}}
6.480 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}}
6.481 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}}
6.482 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{81}{subsection.7.6.3}}
6.483 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1}}
6.484 +\newlabel{fig:atot_etot_atd}{{\relax 7.1}{82}{Abflugzeitkonformität\relax }{figure.7.1}{}}
6.485 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2}}
6.486 +\newlabel{fig:1figs}{{\relax 7.2}{83}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}
6.487 +\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}}
6.488 \@writefile{lof}{\addvspace {10\p@ }}
6.489 \@writefile{lot}{\addvspace {10\p@ }}
6.490 \@writefile{lol}{\addvspace {10\p@ }}
6.491 \@writefile{loa}{\addvspace {10\p@ }}
6.492 -\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{80}{section.8.1}}
6.493 -\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{80}{section.8.2}}
6.494 +\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}}
6.495 +\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}}
6.496 \citation{moderne_flugsicherung}
6.497 \citation{compilers}
6.498 \citation{compilers}
6.499 @@ -317,25 +317,25 @@
6.500 \bibcite{icao_4444}{Org96}
6.501 \bibcite{flex_manual}{PEM07}
6.502 \bibcite{ebnf}{Wir77}
6.503 -\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{87}{appendix.A}}
6.504 +\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}}
6.505 \@writefile{lof}{\addvspace {10\p@ }}
6.506 \@writefile{lot}{\addvspace {10\p@ }}
6.507 \@writefile{lol}{\addvspace {10\p@ }}
6.508 \@writefile{loa}{\addvspace {10\p@ }}
6.509 -\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{87}{section.A.1}}
6.510 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{87}{subsection.A.1.1}}
6.511 -\newlabel{uml:factories}{{A.1.1}{87}{Factory\relax }{subsection.A.1.1}{}}
6.512 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{87}{subsection.A.1.2}}
6.513 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{88}{subsection.A.1.3}}
6.514 -\newlabel{uml:property}{{A.1.3}{88}{Property (Auszug)\relax }{subsection.A.1.3}{}}
6.515 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{88}{subsection.A.1.4}}
6.516 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{89}{subsection.A.1.5}}
6.517 -\newlabel{uml:flight_plan_interface}{{A.1.5}{89}{Flight Plan Interface\relax }{subsection.A.1.5}{}}
6.518 -\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{90}{appendix.B}}
6.519 +\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}}
6.520 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}}
6.521 +\newlabel{uml:factories}{{A.1.1}{95}{Factory\relax }{subsection.A.1.1}{}}
6.522 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}}
6.523 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}}
6.524 +\newlabel{uml:property}{{A.1.3}{96}{Property (Auszug)\relax }{subsection.A.1.3}{}}
6.525 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}}
6.526 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}}
6.527 +\newlabel{uml:flight_plan_interface}{{A.1.5}{97}{Flight Plan Interface\relax }{subsection.A.1.5}{}}
6.528 +\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B}}
6.529 \@writefile{lof}{\addvspace {10\p@ }}
6.530 \@writefile{lot}{\addvspace {10\p@ }}
6.531 \@writefile{lol}{\addvspace {10\p@ }}
6.532 \@writefile{loa}{\addvspace {10\p@ }}
6.533 -\newlabel{bison_config}{{B.1}{90}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}
6.534 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{90}{lstlisting.B.1}}
6.535 +\newlabel{bison_config}{{B.1}{99}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}
6.536 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}}
6.537 \global\@altsecnumformattrue
7.1 --- a/book/src/document.lof Thu Mar 24 01:11:45 2011 +0100
7.2 +++ b/book/src/document.lof Thu Mar 24 13:42:41 2011 +0100
7.3 @@ -1,24 +1,24 @@
7.4 \select@language {ngerman}
7.5 -\contentsline {figure}{\numberline {0.1}{\ignorespaces Luftverkehrsrouten}}{2}{figure.0.1}
7.6 \addvspace {10\p@ }
7.7 +\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1}
7.8 \addvspace {10\p@ }
7.9 -\contentsline {figure}{\numberline {2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}}}{8}{figure.2.1}
7.10 +\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}
7.11 \addvspace {10\p@ }
7.12 -\contentsline {figure}{\numberline {3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1}
7.13 -\contentsline {figure}{\numberline {3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2}
7.14 -\contentsline {figure}{\numberline {3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.3}
7.15 -\contentsline {figure}{\numberline {3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{21}{figure.3.4}
7.16 +\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1}
7.17 +\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.2}
7.18 +\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.3}
7.19 +\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{23}{figure.3.4}
7.20 \addvspace {10\p@ }
7.21 \addvspace {10\p@ }
7.22 -\contentsline {figure}{\numberline {5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{45}{figure.5.1}
7.23 -\contentsline {figure}{\numberline {5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{48}{figure.5.2}
7.24 -\contentsline {figure}{\numberline {5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{52}{figure.5.3}
7.25 +\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}
7.26 +\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{51}{figure.5.2}
7.27 +\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{55}{figure.5.3}
7.28 \addvspace {10\p@ }
7.29 -\contentsline {figure}{\numberline {6.1}{\ignorespaces \texttt {StackVector}}}{64}{figure.6.1}
7.30 -\contentsline {figure}{\numberline {6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{71}{figure.6.2}
7.31 +\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{67}{figure.6.1}
7.32 +\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2}
7.33 \addvspace {10\p@ }
7.34 -\contentsline {figure}{\numberline {7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{78}{figure.7.1}
7.35 -\contentsline {figure}{\numberline {7.2}{\ignorespaces Histogramm von Separationszeiten}}{79}{figure.7.2}
7.36 +\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1}
7.37 +\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2}
7.38 \addvspace {10\p@ }
7.39 \addvspace {10\p@ }
7.40 \addvspace {10\p@ }
8.1 --- a/book/src/document.log Thu Mar 24 01:11:45 2011 +0100
8.2 +++ b/book/src/document.log Thu Mar 24 13:42:41 2011 +0100
8.3 @@ -1,4 +1,4 @@
8.4 -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 24 MAR 2011 01:03
8.5 +This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 24 MAR 2011 13:41
8.6 entering extended mode
8.7 restricted \write18 enabled.
8.8 %&-line parsing enabled.
8.9 @@ -8,8 +8,8 @@
8.10 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
8.11 yphenation, ngerman, german, german-x-2009-06-19, ngerman-x-2009-06-19, loaded.
8.12
8.13 -(/usr/share/texmf-texlive/tex/latex/koma-script/scrreprt.cls
8.14 -Document Class: scrreprt 2009/07/24 v3.04a KOMA-Script document class (report)
8.15 +(/usr/share/texmf-texlive/tex/latex/koma-script/scrbook.cls
8.16 +Document Class: scrbook 2009/07/24 v3.04a KOMA-Script document class (book)
8.17 (/usr/share/texmf-texlive/tex/latex/koma-script/scrkbase.sty
8.18 Package: scrkbase 2009/07/24 v3.04a KOMA-Script package (KOMA-Script-dependent
8.19 basics and keyval usage)
8.20 @@ -40,19 +40,13 @@
8.21 Package tocbasic Info: omitting babel extension for `lot'
8.22 (tocbasic) because of feature `nobabel' available
8.23 (tocbasic) for `lot' on input line 119.
8.24 -Package scrreprt Info: You've used obsolete option `12pt'.
8.25 -(scrreprt) \KOMAExecuteOptions{fontsize=12pt} will be
8.26 -(scrreprt) used instead.
8.27 -(scrreprt) You may simply replace `12pt'
8.28 -(scrreprt) by `fontsize=12pt'.
8.29 -Class scrreprt Info: You've used standard option `abstracton'.
8.30 -(scrreprt) This is correct!
8.31 -(scrreprt) Internaly I'm using `abstract=true'.
8.32 -(scrreprt) If you'd like to set the option with \KOMAoptions,
8.33 -(scrreprt) you'd have to use `abstract=true' there
8.34 -(scrreprt) instead of `abstracton', too.
8.35 -Class scrreprt Info: File `scrsize12pt.clo' used to setup font sizes on input l
8.36 -ine 1271.
8.37 +Package scrbook Info: You've used obsolete option `12pt'.
8.38 +(scrbook) \KOMAExecuteOptions{fontsize=12pt} will be
8.39 +(scrbook) used instead.
8.40 +(scrbook) You may simply replace `12pt'
8.41 +(scrbook) by `fontsize=12pt'.
8.42 +Class scrbook Info: File `scrsize12pt.clo' used to setup font sizes on input li
8.43 +ne 1272.
8.44
8.45 (/usr/share/texmf-texlive/tex/latex/koma-script/scrsize12pt.clo
8.46 File: scrsize12pt.clo 2009/07/24 v3.04a KOMA-Script font size class option (12p
8.47 @@ -82,8 +76,8 @@
8.48 (typearea) \paperwidth = 597.50793pt
8.49 (typearea) \textwidth = 448.13095pt
8.50 (typearea) DIV departure = -6%
8.51 -(typearea) \evensidemargin = 2.4185pt
8.52 -(typearea) \oddsidemargin = 2.4185pt
8.53 +(typearea) \evensidemargin = 27.31467pt
8.54 +(typearea) \oddsidemargin = -22.47766pt
8.55 (typearea) \paperheight = 845.04694pt
8.56 (typearea) \textheight = 635.5pt
8.57 (typearea) \topmargin = -41.72441pt
8.58 @@ -856,12 +850,16 @@
8.59 \c@LT@chunks=\count135
8.60 \LT@p@ftn=\toks34
8.61 )
8.62 -Class scrreprt Info: longtable captions redefined on input line 60.
8.63 +Class scrbook Info: longtable captions redefined on input line 60.
8.64 \@indexfile=\write3
8.65 \openout3 = `document.idx'.
8.66
8.67
8.68 Writing index file document.idx
8.69 +
8.70 +LaTeX Warning: Unused global option(s):
8.71 + [abstracton].
8.72 +
8.73 (./document.aux)
8.74 \openout1 = `document.aux'.
8.75
8.76 @@ -896,7 +894,7 @@
8.77 paper: a4paper
8.78 landscape: --
8.79 twocolumn: --
8.80 -twoside: --
8.81 +twoside: true
8.82 asymmetric: --
8.83 h-parts: 85.35826pt, 441.01773pt, 71.13188pt
8.84 v-parts: 99.58464pt, 645.87756pt, 99.58464pt
8.85 @@ -916,19 +914,19 @@
8.86 \textwidth 441.01773pt
8.87 \textheight 645.87756pt
8.88 \oddsidemargin 13.08827pt
8.89 -\evensidemargin 13.08827pt
8.90 +\evensidemargin -1.1381pt
8.91 \topmargin -12.56035pt
8.92 \headheight 18.125pt
8.93 \headsep 21.75pt
8.94 \footskip 50.75pt
8.95 -\marginparwidth 49.79233pt
8.96 +\marginparwidth 74.68849pt
8.97 \marginparsep 12.8401pt
8.98 \columnsep 10.0pt
8.99 \skip\footins 10.8pt plus 4.0pt minus 2.0pt
8.100 \hoffset 0.0pt
8.101 \voffset 0.0pt
8.102 \mag 1000
8.103 -
8.104 +\@twosidetrue \@mparswitchtrue
8.105 (1in=72.27pt, 1cm=28.45pt)
8.106 -----------------------
8.107 (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
8.108 @@ -972,40 +970,24 @@
8.109 LaTeX Font Warning: Font shape `OT1/lmss/m/sc' in size <12> not available
8.110 (Font) Font shape `OT1/lmr/m/sc' tried instead on input line 23.
8.111
8.112 +
8.113 +LaTeX Font Warning: Font shape `OT1/lmss/m/sc' in size <14.4> not available
8.114 +(Font) Font shape `OT1/lmr/m/sc' tried instead on input line 23.
8.115 +
8.116 [1
8.117
8.118
8.119
8.120 -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) (./abstract.tex
8.121 -<images/title_page.pdf, id=353, 573.62346pt x 230.55713pt>
8.122 -File: images/title_page.pdf Graphic file (type pdf)
8.123 -
8.124 -<use images/title_page.pdf> [2
8.125 -
8.126 -
8.127 - <./images/title_page.pdf>]) (./preface.tex
8.128 -Kapitel 1.
8.129 -
8.130 -Class scrreprt Warning: \float@addtolists detected!
8.131 -(scrreprt) You should use the features of package `tocbasic'
8.132 -(scrreprt) instead of \float@addtolists.
8.133 -(scrreprt) Support for \float@addtolists may be removed from
8.134 -(scrreprt) `scrreprt' soon .
8.135 -
8.136 -)
8.137 -Overfull \hbox (1.20625pt too wide) in paragraph at lines 7--73
8.138 -[]\OT1/lmr/m/n/12 Herr Hilt hat mich bei der Ent-wick-lung und Ein-ar-bei-tung
8.139 -in die PRISMA-Architektur
8.140 - []
8.141 -
8.142 -[3
8.143 +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) [2
8.144 +
8.145
8.146 ] (./document.toc
8.147 -Class scrreprt Info: You've told me to use the font selection of the element
8.148 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.149 -(scrreprt) on input line 2.
8.150 +Class scrbook Info: You've told me to use the font selection of the element
8.151 +(scrbook) `sectioning' that is an alias of element `disposition'
8.152 +(scrbook) on input line 2.
8.153 LaTeX Font Info: Try loading font information for OML+lmm on input line 3.
8.154 - (/usr/share/texmf/tex/latex/lm/omllmm.fd
8.155 +
8.156 +(/usr/share/texmf/tex/latex/lm/omllmm.fd
8.157 File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern
8.158 )
8.159 LaTeX Font Info: Try loading font information for OMS+lmsy on input line 3.
8.160 @@ -1034,49 +1016,76 @@
8.161 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd
8.162 File: umsb.fd 2009/06/22 v3.00 AMS symbols B
8.163 )
8.164 -Class scrreprt Info: You've told me to use the font selection of the element
8.165 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.166 -(scrreprt) on input line 4.
8.167 -Class scrreprt Info: You've told me to use the font selection of the element
8.168 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.169 -(scrreprt) on input line 8.
8.170 -Class scrreprt Info: You've told me to use the font selection of the element
8.171 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.172 -(scrreprt) on input line 34.
8.173 - [4
8.174 -
8.175 -]
8.176 -Class scrreprt Info: You've told me to use the font selection of the element
8.177 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.178 -(scrreprt) on input line 52.
8.179 -Class scrreprt Info: You've told me to use the font selection of the element
8.180 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.181 -(scrreprt) on input line 93.
8.182 +Class scrbook Info: You've told me to use the font selection of the element
8.183 +(scrbook) `sectioning' that is an alias of element `disposition'
8.184 +(scrbook) on input line 4.
8.185 +Class scrbook Info: You've told me to use the font selection of the element
8.186 +(scrbook) `sectioning' that is an alias of element `disposition'
8.187 +(scrbook) on input line 8.
8.188 +Class scrbook Info: You've told me to use the font selection of the element
8.189 +(scrbook) `sectioning' that is an alias of element `disposition'
8.190 +(scrbook) on input line 34.
8.191 + [3]
8.192 +Class scrbook Info: You've told me to use the font selection of the element
8.193 +(scrbook) `sectioning' that is an alias of element `disposition'
8.194 +(scrbook) on input line 52.
8.195 +Class scrbook Info: You've told me to use the font selection of the element
8.196 +(scrbook) `sectioning' that is an alias of element `disposition'
8.197 +(scrbook) on input line 93.
8.198 LaTeX Font Info: Try loading font information for OT1+lmtt on input line 96.
8.199
8.200
8.201 (/usr/share/texmf/tex/latex/lm/ot1lmtt.fd
8.202 File: ot1lmtt.fd 2009/10/30 v1.6 Font defs for Latin Modern
8.203 -) [5]
8.204 -Class scrreprt Info: You've told me to use the font selection of the element
8.205 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.206 -(scrreprt) on input line 113.
8.207 -Class scrreprt Info: You've told me to use the font selection of the element
8.208 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.209 -(scrreprt) on input line 123.
8.210 -Class scrreprt Info: You've told me to use the font selection of the element
8.211 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.212 -(scrreprt) on input line 126.
8.213 -Class scrreprt Info: You've told me to use the font selection of the element
8.214 -(scrreprt) `sectioning' that is an alias of element `disposition'
8.215 -(scrreprt) on input line 133.
8.216 +) [4]
8.217 +Class scrbook Info: You've told me to use the font selection of the element
8.218 +(scrbook) `sectioning' that is an alias of element `disposition'
8.219 +(scrbook) on input line 113.
8.220 +Class scrbook Info: You've told me to use the font selection of the element
8.221 +(scrbook) `sectioning' that is an alias of element `disposition'
8.222 +(scrbook) on input line 123.
8.223 +Class scrbook Info: You've told me to use the font selection of the element
8.224 +(scrbook) `sectioning' that is an alias of element `disposition'
8.225 +(scrbook) on input line 126.
8.226 +Class scrbook Info: You've told me to use the font selection of the element
8.227 +(scrbook) `sectioning' that is an alias of element `disposition'
8.228 +(scrbook) on input line 133.
8.229 LaTeX Font Info: Font shape `OT1/lmtt/bx/n' in size <12> not available
8.230 (Font) Font shape `OT1/lmtt/b/n' tried instead on input line 133.
8.231 )
8.232 \tf@toc=\write5
8.233 \openout5 = `document.toc'.
8.234
8.235 - (./intro.tex [6]
8.236 + (./preface.tex [5] [6
8.237 +
8.238 +
8.239 +]
8.240 +Kapitel 1.
8.241 +
8.242 +Class scrbook Warning: \float@addtolists detected!
8.243 +(scrbook) You should use the features of package `tocbasic'
8.244 +(scrbook) instead of \float@addtolists.
8.245 +(scrbook) Support for \float@addtolists may be removed from
8.246 +(scrbook) `scrbook' soon .
8.247 +
8.248 +<images/title_page.pdf, id=465, 573.62346pt x 230.55713pt>
8.249 +File: images/title_page.pdf Graphic file (type pdf)
8.250 +
8.251 +<use images/title_page.pdf>
8.252 +Underfull \hbox (badness 10000) in paragraph at lines 2--11
8.253 +
8.254 + []
8.255 +
8.256 +
8.257 +Underfull \vbox (badness 6641) has occurred while \output is active []
8.258 +
8.259 + [7 <./images/title_page.pdf>]) (./intro.tex
8.260 +Overfull \hbox (1.20625pt too wide) in paragraph at lines 17--1
8.261 +[]\OT1/lmr/m/n/12 Herr Hilt hat mich bei der Ent-wick-lung und Ein-ar-bei-tung
8.262 +in die PRISMA-Architektur
8.263 + []
8.264 +
8.265 +[8]
8.266 Kapitel 2.
8.267
8.268 Underfull \hbox (badness 10000) in paragraph at lines 6--15
8.269 @@ -1089,23 +1098,23 @@
8.270 (Font) <7> on input line 16.
8.271 LaTeX Font Info: External font `lmex10' loaded for size
8.272 (Font) <5> on input line 16.
8.273 -<images/atfm_stats.pdf, id=725, 607.24577pt x 406.07225pt>
8.274 +<images/atfm_stats.pdf, id=735, 607.24577pt x 406.07225pt>
8.275 File: images/atfm_stats.pdf Graphic file (type pdf)
8.276
8.277 <use images/atfm_stats.pdf>
8.278
8.279 LaTeX Warning: `h' float specifier changed to `ht'.
8.280
8.281 -[7
8.282 +[9
8.283 +
8.284
8.285 ]
8.286 -Overfull \hbox (29.72864pt too wide) in paragraph at lines 29--32
8.287 -[]\OT1/lmr/m/n/12 Zur Mo-del-lie-rung der dy-na-mi-schen Luftraum-be-schr[]anku
8.288 -ngen wird ei-ne dom[]anenspezifische
8.289 +Underfull \hbox (badness 10000) in paragraph at lines 29--32
8.290 +
8.291 []
8.292
8.293
8.294 -Underfull \hbox (badness 10000) in paragraph at lines 29--32
8.295 +Underfull \hbox (badness 10000) in paragraph at lines 34--39
8.296
8.297 []
8.298
8.299 @@ -1120,16 +1129,14 @@
8.300 []
8.301
8.302
8.303 -Underfull \hbox (badness 10000) in paragraph at lines 34--39
8.304 +Underfull \vbox (badness 10000) has occurred while \output is active []
8.305 +
8.306 + [10 <./images/atfm_stats.pdf>]
8.307 +Underfull \hbox (badness 10000) in paragraph at lines 41--43
8.308
8.309 []
8.310
8.311 -[8 <./images/atfm_stats.pdf>]
8.312 -Underfull \hbox (badness 10000) in paragraph at lines 41--43
8.313 -
8.314 - []
8.315 -
8.316 -[9]) (./research.tex [10]
8.317 +[11]) (./research.tex [12]
8.318 Kapitel 3.
8.319
8.320 Underfull \hbox (badness 10000) in paragraph at lines 3--5
8.321 @@ -1153,7 +1160,8 @@
8.322 fek-ti-ve Ver-ga-be von Zust[]andigkeiten
8.323 []
8.324
8.325 -[11
8.326 +[13
8.327 +
8.328
8.329 ]
8.330 Underfull \hbox (badness 2452) in paragraph at lines 13--13
8.331 @@ -1172,7 +1180,7 @@
8.332
8.333 []
8.334
8.335 -[12]
8.336 +[14]
8.337 Underfull \hbox (badness 10000) in paragraph at lines 30--32
8.338
8.339 []
8.340 @@ -1185,7 +1193,7 @@
8.341
8.342 []
8.343
8.344 -[13]
8.345 +[15]
8.346 Underfull \hbox (badness 10000) in paragraph at lines 45--47
8.347
8.348 []
8.349 @@ -1195,7 +1203,7 @@
8.350
8.351 []
8.352
8.353 -[14] <images/near_east_problem.pdf, id=844, 156.31831pt x 94.32047pt>
8.354 +[16] <images/near_east_problem.pdf, id=853, 156.31831pt x 94.32047pt>
8.355 File: images/near_east_problem.pdf Graphic file (type pdf)
8.356
8.357 <use images/near_east_problem.pdf>
8.358 @@ -1203,7 +1211,7 @@
8.359
8.360 []
8.361
8.362 -[15 <./images/near_east_problem.pdf>]
8.363 +[17 <./images/near_east_problem.pdf>]
8.364 Overfull \hbox (0.4271pt too wide) in paragraph at lines 68--70
8.365 \OT1/lmr/m/n/12 Nicht al-le Rou-ten von ei-nem Weg-punkt m[]ussen []uber das re
8.366 -strik-ti-ve Ge-biet f[]uhren.
8.367 @@ -1214,17 +1222,17 @@
8.368
8.369 []
8.370
8.371 -[16]
8.372 +[18]
8.373 Underfull \hbox (badness 10000) in paragraph at lines 80--82
8.374
8.375 []
8.376
8.377 -[17]
8.378 +[19]
8.379 Underfull \hbox (badness 10000) in paragraph at lines 100--103
8.380
8.381 []
8.382
8.383 -[18]
8.384 +[20]
8.385 Underfull \hbox (badness 10000) in paragraph at lines 107--117
8.386
8.387 []
8.388 @@ -1244,11 +1252,11 @@
8.389
8.390 []
8.391
8.392 -[19] <images/compiler.pdf, id=908, 657.43376pt x 300.79259pt>
8.393 +[21] <images/compiler.pdf, id=917, 657.43376pt x 300.79259pt>
8.394 File: images/compiler.pdf Graphic file (type pdf)
8.395
8.396 <use images/compiler.pdf>
8.397 -<images/interpreter.pdf, id=913, 631.24142pt x 120.80156pt>
8.398 +<images/interpreter.pdf, id=922, 631.24142pt x 120.80156pt>
8.399 File: images/interpreter.pdf Graphic file (type pdf)
8.400
8.401 <use images/interpreter.pdf>
8.402 @@ -1261,10 +1269,10 @@
8.403
8.404 []
8.405
8.406 -<images/hybrid_compiler.pdf, id=918, 642.40889pt x 300.79259pt>
8.407 +<images/hybrid_compiler.pdf, id=927, 642.40889pt x 300.79259pt>
8.408 File: images/hybrid_compiler.pdf Graphic file (type pdf)
8.409
8.410 -<use images/hybrid_compiler.pdf> [20 <./images/compiler.pdf> <./images/interpre
8.411 +<use images/hybrid_compiler.pdf> [22 <./images/compiler.pdf> <./images/interpre
8.412 ter.pdf>]
8.413 Underfull \hbox (badness 10000) in paragraph at lines 144--147
8.414
8.415 @@ -1276,7 +1284,7 @@
8.416 i-ler-ar-chi-tek-tur mit op-ti-mier-tem
8.417 []
8.418
8.419 -[21 <./images/hybrid_compiler.pdf>]
8.420 +[23 <./images/hybrid_compiler.pdf>]
8.421 Overfull \hbox (4.55493pt too wide) in paragraph at lines 159--160
8.422 \OT1/lmr/m/n/12 Die Er-stel-lung der le-xi-ka-li-schen Ana-ly-se ist der ers-te
8.423 Schritt in ei-ner Parser-Entwicklung.
8.424 @@ -1287,22 +1295,22 @@
8.425
8.426 []
8.427
8.428 -[22]
8.429 +[24]
8.430 Underfull \hbox (badness 10000) in paragraph at lines 177--179
8.431
8.432 []
8.433
8.434 -[23]
8.435 +[25]
8.436 Underfull \hbox (badness 10000) in paragraph at lines 184--186
8.437
8.438 []
8.439
8.440 )
8.441 -Underfull \hbox (badness 10000) in paragraph at lines 188--77
8.442 +Underfull \hbox (badness 10000) in paragraph at lines 188--76
8.443
8.444 []
8.445
8.446 -(./analysis.tex [24]
8.447 +(./analysis.tex [26]
8.448 Kapitel 4.
8.449
8.450 Underfull \hbox (badness 10000) in paragraph at lines 2--5
8.451 @@ -1314,7 +1322,8 @@
8.452
8.453 []
8.454
8.455 -[25
8.456 +[27
8.457 +
8.458
8.459 ]
8.460 Underfull \hbox (badness 10000) in paragraph at lines 16--21
8.461 @@ -1331,7 +1340,7 @@
8.462
8.463 []
8.464
8.465 -[26]
8.466 +[28]
8.467 Overfull \hbox (0.94504pt too wide) in paragraph at lines 31--32
8.468 \OT1/lmr/m/n/12 Kom-po-nen-te aus-ge-gan-gen. Wird das Zeit-li-mit wie-der-holt
8.469 in Fol-ge []uberschritten, k[]onnen
8.470 @@ -1342,23 +1351,23 @@
8.471
8.472 []
8.473
8.474 -[27] [28]
8.475 +[29] [30]
8.476 Underfull \hbox (badness 10000) in paragraph at lines 64--66
8.477
8.478 []
8.479
8.480 -[29]
8.481 +[31]
8.482 Underfull \hbox (badness 10000) in paragraph at lines 68--70
8.483
8.484 []
8.485
8.486 -[30]
8.487 +[32]
8.488 Overfull \hbox (2.5056pt too wide) in paragraph at lines 92--94
8.489 \OT1/lmr/m/n/12 Die Ab-flug-pla-nungs-kom-po-nen-te soll an-hand von Flug-pland
8.490 -a-ten die op-ti-ma-le Flug-
8.491 []
8.492
8.493 -[31]
8.494 +[33]
8.495 Overfull \hbox (23.27678pt too wide) in paragraph at lines 124--126
8.496 \OT1/lmr/m/n/12 zei-ten oder Start-bahn-be-le-gung bei der Be-stim-mung von Ab-
8.497 flug-zei-ten \OT1/lmr/m/it/12 nicht \OT1/lmr/m/n/12 ber[]ucksich-
8.498 @@ -1370,18 +1379,15 @@
8.499 s die-se De-tails ber[]ucksichtigen
8.500 []
8.501
8.502 -[32]
8.503 -Overfull \hbox (25.42291pt too wide) in paragraph at lines 127--129
8.504 -\OT1/lmr/m/n/12 nungs-vek-tor statt-fin-den. Solch ei-ne []Anderung kann z.B. d
8.505 -urch ma-nu-el-le []Ubersteuerung
8.506 +[34]) (./design.tex
8.507 +Underfull \hbox (badness 10000) in paragraph at lines 137--1
8.508 +
8.509 []
8.510
8.511 -) (./design.tex
8.512 -Underfull \hbox (badness 10000) in paragraph at lines 137--1
8.513 -
8.514 - []
8.515 -
8.516 -[33]
8.517 +[35] [36
8.518 +
8.519 +
8.520 +]
8.521 Kapitel 5.
8.522
8.523 Underfull \hbox (badness 10000) in paragraph at lines 2--4
8.524 @@ -1404,9 +1410,7 @@
8.525
8.526 []
8.527
8.528 -[34
8.529 -
8.530 -] (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty
8.531 +[37] (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty
8.532 File: lstlang1.sty 2004/09/05 1.3 listings language file
8.533 )
8.534 (/usr/share/texmf-texlive/tex/latex/listings/lstlang2.sty
8.535 @@ -1457,7 +1461,7 @@
8.536
8.537 []
8.538
8.539 -[35] (./atccl_letters_digits.txt)
8.540 +[38] (./atccl_letters_digits.txt)
8.541 Underfull \hbox (badness 10000) in paragraph at lines 33--35
8.542
8.543 []
8.544 @@ -1472,7 +1476,7 @@
8.545
8.546 []
8.547
8.548 -[36]
8.549 +[39]
8.550 Underfull \hbox (badness 10000) in paragraph at lines 42--43
8.551
8.552 []
8.553 @@ -1482,13 +1486,7 @@
8.554
8.555 []
8.556
8.557 -(./atccl_keywords.txt) [37]
8.558 -Overfull \hbox (17.68402pt too wide) in paragraph at lines 55--58
8.559 -\OT1/lmr/m/n/12 pen gel-ten ein-zel-ne Zei-chen, zu-sam-men-ge-setz-te Zei-chen
8.560 --ket-ten (W[]orter) und die nat[]urlichen
8.561 - []
8.562 -
8.563 -
8.564 +(./atccl_keywords.txt) [40]
8.565 Underfull \hbox (badness 10000) in paragraph at lines 55--58
8.566
8.567 []
8.568 @@ -1514,7 +1512,7 @@
8.569
8.570 []
8.571
8.572 -[38]
8.573 +[41]
8.574 Underfull \hbox (badness 10000) in paragraph at lines 72--73
8.575
8.576 []
8.577 @@ -1524,7 +1522,7 @@
8.578
8.579 []
8.580
8.581 -[39]
8.582 +[42]
8.583 Underfull \hbox (badness 10000) in paragraph at lines 78--80
8.584
8.585 []
8.586 @@ -1539,7 +1537,7 @@
8.587
8.588 []
8.589
8.590 -[40] (./atccl_patterns.txt
8.591 +[43] (./atccl_patterns.txt
8.592 Overfull \hbox (3.12958pt too wide) in paragraph at lines 4--5
8.593 [][][][][][][][][][][][][][][][][][][][][]
8.594 []
8.595 @@ -1569,17 +1567,17 @@
8.596
8.597 []
8.598
8.599 -[41] (./atccl_flowpoints.txt)
8.600 +[44] (./atccl_flowpoints.txt)
8.601 Underfull \hbox (badness 10000) in paragraph at lines 100--101
8.602
8.603 []
8.604
8.605 -(./atccl_config.txt) (./atccl_example1.txt [42]
8.606 +(./atccl_config.txt) (./atccl_example1.txt [45]
8.607 Overfull \hbox (31.3294pt too wide) in paragraph at lines 8--9
8.608 [][][][][][][][][][][][][][][][][][][][][][][][][][][][]
8.609 []
8.610
8.611 -) [43] (./atccl_example2.txt
8.612 +) [46] (./atccl_example2.txt
8.613 Overfull \hbox (24.27945pt too wide) in paragraph at lines 2--4
8.614 [][][][][][][][][][][][][][][][][][][][][][][][]
8.615 []
8.616 @@ -1604,7 +1602,7 @@
8.617
8.618 []
8.619
8.620 -<images/compile_process.pdf, id=1219, 514.43358pt x 628.14606pt>
8.621 +<images/compile_process.pdf, id=1232, 514.43358pt x 628.14606pt>
8.622 File: images/compile_process.pdf Graphic file (type pdf)
8.623
8.624 <use images/compile_process.pdf>
8.625 @@ -1612,7 +1610,7 @@
8.626
8.627 []
8.628
8.629 -[44]
8.630 +[47]
8.631 Underfull \hbox (badness 10000) in paragraph at lines 141--143
8.632
8.633 []
8.634 @@ -1627,7 +1625,7 @@
8.635
8.636 []
8.637
8.638 -[45 <./images/compile_process.pdf>]
8.639 +[48 <./images/compile_process.pdf>]
8.640 Underfull \hbox (badness 10000) in paragraph at lines 150--153
8.641
8.642 []
8.643 @@ -1643,7 +1641,7 @@
8.644
8.645 []
8.646
8.647 -[46] <images/virtual_machine_basic.pdf, id=1311, 682.26616pt x 383.35626pt>
8.648 +[49] <images/virtual_machine_basic.pdf, id=1325, 682.26616pt x 383.35626pt>
8.649 File: images/virtual_machine_basic.pdf Graphic file (type pdf)
8.650
8.651 <use images/virtual_machine_basic.pdf>
8.652 @@ -1670,7 +1668,10 @@
8.653
8.654 []
8.655
8.656 -[47] [48 <./images/virtual_machine_basic.pdf>]
8.657 +[50]
8.658 +Underfull \vbox (badness 1502) has occurred while \output is active []
8.659 +
8.660 + [51 <./images/virtual_machine_basic.pdf>]
8.661 Underfull \hbox (badness 10000) in paragraph at lines 191--197
8.662
8.663 []
8.664 @@ -1701,7 +1702,7 @@
8.665
8.666 []
8.667
8.668 -[49]
8.669 +[52]
8.670 Underfull \hbox (badness 10000) in paragraph at lines 210--211
8.671
8.672 []
8.673 @@ -1716,7 +1717,7 @@
8.674
8.675 []
8.676
8.677 -[50]
8.678 +[53]
8.679 LaTeX Font Info: Try loading font information for OML+lmr on input line 220.
8.680
8.681 (/usr/share/texmf/tex/latex/lm/omllmr.fd
8.682 @@ -1724,8 +1725,8 @@
8.683 )
8.684 LaTeX Font Info: Font shape `OML/lmr/m/it' in size <12> not available
8.685 (Font) Font shape `OML/lmm/m/it' tried instead on input line 220.
8.686 - [51]
8.687 -<images/pattern_evaluation.pdf, id=1415, 746.48698pt x 667.4024pt>
8.688 + [54]
8.689 +<images/pattern_evaluation.pdf, id=1428, 746.48698pt x 667.4024pt>
8.690 File: images/pattern_evaluation.pdf Graphic file (type pdf)
8.691
8.692 <use images/pattern_evaluation.pdf>
8.693 @@ -1733,7 +1734,7 @@
8.694
8.695 []
8.696
8.697 -[52 <./images/pattern_evaluation.pdf>]
8.698 +[55 <./images/pattern_evaluation.pdf>]
8.699 Underfull \hbox (badness 10000) in paragraph at lines 290--293
8.700
8.701 []
8.702 @@ -1750,12 +1751,15 @@
8.703
8.704 []
8.705
8.706 -[53] [54]
8.707 +[56] [57]
8.708 Underfull \hbox (badness 10000) in paragraph at lines 349--351
8.709
8.710 []
8.711
8.712 -[55]
8.713 +
8.714 +Underfull \vbox (badness 3803) has occurred while \output is active []
8.715 +
8.716 + [58]
8.717 Underfull \hbox (badness 10000) in paragraph at lines 353--356
8.718
8.719 []
8.720 @@ -1765,7 +1769,7 @@
8.721
8.722 []
8.723
8.724 -[56]
8.725 +[59]
8.726 Overfull \hbox (17.90411pt too wide) in paragraph at lines 360--362
8.727 []\OT1/lmr/bx/n/12 Benutzeranfrage zur op-ti-ma-len Abflugzeiten- und Flug-fl[]
8.728 achenbestimmung
8.729 @@ -1777,7 +1781,7 @@
8.730 z-trans-ak-tio-nen. M[]ogliche Trans-
8.731 []
8.732
8.733 -[57]
8.734 +[60]
8.735 Underfull \hbox (badness 10000) in paragraph at lines 380--382
8.736
8.737 []
8.738 @@ -1794,7 +1798,7 @@
8.739 nen, die ei-ne DFLOW-Verarbeitung
8.740 []
8.741
8.742 -[58]
8.743 +[61]
8.744 Overfull \hbox (0.27602pt too wide) in paragraph at lines 406--408
8.745 \OT1/lmr/m/n/12 Sobald al-le Flow Points be-kannt sind, wer-den al-le Ein-tr[]a
8.746 ge im DFLOW-Datensatz
8.747 @@ -1806,7 +1810,7 @@
8.748 i Flow Point-[]Uberschneidungen
8.749 []
8.750
8.751 -[59]
8.752 +[62]
8.753 Overfull \hbox (9.24063pt too wide) in paragraph at lines 415--422
8.754 \OT1/lmr/m/n/12 f[]ur die Vi-sua-li-sie-rung der DFLOW-spezifischen Da-ten ist
8.755 das DFLOW-Display zust[]andig.
8.756 @@ -1822,7 +1826,7 @@
8.757
8.758 []
8.759
8.760 -[60]) (./impl.tex [61]
8.761 +[63]) (./impl.tex [64]
8.762 Kapitel 6.
8.763
8.764 Underfull \hbox (badness 10000) in paragraph at lines 6--8
8.765 @@ -1834,7 +1838,8 @@
8.766
8.767 []
8.768
8.769 -[62
8.770 +[65
8.771 +
8.772
8.773 ]
8.774 LaTeX Font Info: Font shape `OT1/lmtt/bx/n' in size <14.4> not available
8.775 @@ -1844,7 +1849,7 @@
8.776
8.777 []
8.778
8.779 -<images/stack_vector_uml.png, id=1631, 319.94531pt x 232.61906pt>
8.780 +<images/stack_vector_uml.png, id=1644, 319.94531pt x 232.61906pt>
8.781 File: images/stack_vector_uml.png Graphic file (type png)
8.782
8.783 <use images/stack_vector_uml.png>
8.784 @@ -1855,7 +1860,11 @@
8.785
8.786 LaTeX Warning: `h' float specifier changed to `ht'.
8.787
8.788 -[63] [64 <./images/stack_vector_uml.png (PNG copy)>]
8.789 +
8.790 +Underfull \vbox (badness 2426) has occurred while \output is active []
8.791 +
8.792 + [66]
8.793 +[67 <./images/stack_vector_uml.png (PNG copy)>]
8.794 Underfull \hbox (badness 10000) in paragraph at lines 60--62
8.795
8.796 []
8.797 @@ -1865,7 +1874,7 @@
8.798
8.799 []
8.800
8.801 -[65] (./flex_config1.txt)
8.802 +[68] (./flex_config1.txt)
8.803 LaTeX Font Info: Try loading font information for OMS+lmtt on input line 70.
8.804
8.805 LaTeX Font Info: No file OMSlmtt.fd. on input line 70.
8.806 @@ -1884,7 +1893,7 @@
8.807
8.808 []
8.809
8.810 -(./flex_config2.txt [66])
8.811 +(./flex_config2.txt [69])
8.812 Underfull \hbox (badness 10000) in paragraph at lines 89--90
8.813
8.814 []
8.815 @@ -1899,7 +1908,7 @@
8.816
8.817 []
8.818
8.819 -(./flex_config5.txt [67])
8.820 +(./flex_config5.txt [70])
8.821 Underfull \hbox (badness 10000) in paragraph at lines 95--96
8.822
8.823 []
8.824 @@ -1914,7 +1923,7 @@
8.825
8.826 []
8.827
8.828 -(./flex_config8.txt) [68]
8.829 +(./flex_config8.txt) [71]
8.830 Underfull \hbox (badness 10000) in paragraph at lines 101--102
8.831
8.832 []
8.833 @@ -1936,38 +1945,36 @@
8.834
8.835 []
8.836
8.837 -[69]
8.838 -Overfull \hbox (13.83064pt too wide) in paragraph at lines 121--122
8.839 +[72]
8.840 +Overfull \hbox (1.75441pt too wide) in paragraph at lines 121--122
8.841 \OT1/lmr/m/n/12 Der No-de Ma-na-ger ist f[]ur die Kon-trol-le der Vi-ta-lit[]at
8.842 - der ein-zel-nen PRISMA-Komponenten
8.843 + der ein-zel-nen PRISMA-Komponen-
8.844 []
8.845
8.846 -[70] <images/dflow_displays_grey.png, id=1740, 1272.755pt x 574.145pt>
8.847 +
8.848 +Underfull \vbox (badness 4441) has occurred while \output is active []
8.849 +
8.850 + [73]
8.851 +<images/dflow_displays_grey.png, id=1754, 1272.755pt x 574.145pt>
8.852 File: images/dflow_displays_grey.png Graphic file (type png)
8.853
8.854 -<use images/dflow_displays_grey.png> [71 <./images/dflow_displays_grey.png>])
8.855 +<use images/dflow_displays_grey.png> [74 <./images/dflow_displays_grey.png>])
8.856 (./verification.tex
8.857 Underfull \hbox (badness 10000) in paragraph at lines 133--1
8.858
8.859 []
8.860
8.861 -[72]
8.862 +[75] [76
8.863 +
8.864 +
8.865 +]
8.866 Kapitel 7.
8.867
8.868 Underfull \hbox (badness 10000) in paragraph at lines 3--24
8.869
8.870 []
8.871
8.872 -[73
8.873 -
8.874 -]
8.875 -Overfull \hbox (28.10417pt too wide) in paragraph at lines 28--30
8.876 -[]\OT1/lmr/m/n/12 Zu den kri-ti-schen Mo-du-len geh[]oren u.a. \OT1/lmtt/m/n/12
8.877 - VirtualMachine\OT1/lmr/m/n/12 , \OT1/lmtt/m/n/12 StackVector \OT1/lmr/m/n/12 u
8.878 -nd \OT1/lmtt/m/n/12 TermFactory\OT1/lmr/m/n/12 .
8.879 - []
8.880 -
8.881 -[74]
8.882 +[77] [78]
8.883 Underfull \hbox (badness 10000) in paragraph at lines 38--40
8.884
8.885 []
8.886 @@ -1989,14 +1996,14 @@
8.887
8.888 []
8.889
8.890 -[75] [76] (./atot_etot_atd.tex
8.891 -<atot_etot_atd.pdf, id=1784, 289.08pt x 201.75375pt>
8.892 +[79] [80] (./atot_etot_atd.tex
8.893 +<atot_etot_atd.pdf, id=1802, 289.08pt x 201.75375pt>
8.894 File: atot_etot_atd.pdf Graphic file (type pdf)
8.895 <use atot_etot_atd.pdf>)
8.896
8.897 LaTeX Warning: `h' float specifier changed to `ht'.
8.898
8.899 -(./laldo_hist.tex <laldo_hist.pdf, id=1785, 216.81pt x 151.56625pt>
8.900 +(./laldo_hist.tex <laldo_hist.pdf, id=1803, 216.81pt x 151.56625pt>
8.901 File: laldo_hist.pdf Graphic file (type pdf)
8.902
8.903 <use laldo_hist.pdf>)
8.904 @@ -2004,7 +2011,7 @@
8.905 [][]
8.906 []
8.907
8.908 -(./labtar_hist.tex <labtar_hist.pdf, id=1786, 216.81pt x 151.56625pt>
8.909 +(./labtar_hist.tex <labtar_hist.pdf, id=1804, 216.81pt x 151.56625pt>
8.910 File: labtar_hist.pdf Graphic file (type pdf)
8.911
8.912 <use labtar_hist.pdf>)
8.913 @@ -2013,35 +2020,34 @@
8.914 []
8.915
8.916
8.917 -Overfull \hbox (27.24359pt too wide) in paragraph at lines 88--101
8.918 -\OT1/lmr/m/n/12 Eine wich-ti-ge An-mer-kung zur fol-gen-den Aus-wer-tung ist, d
8.919 -ass die Se-pa-ra-ti-ons-be-schr[]ankungen
8.920 +Underfull \hbox (badness 10000) in paragraph at lines 88--101
8.921 +
8.922 []
8.923
8.924 -
8.925 -Underfull \hbox (badness 10000) in paragraph at lines 88--101
8.926 +[81]
8.927 +
8.928 +LaTeX Warning: `h' float specifier changed to `ht'.
8.929 +
8.930 +[82 <./atot_etot_atd.pdf>]) (./conclusion.tex [83 <./laldo_hist.pdf> <./labtar_
8.931 +hist.pdf>] [84
8.932 +
8.933 +
8.934 +]
8.935 +Kapitel 8.
8.936 +
8.937 +Underfull \hbox (badness 10000) in paragraph at lines 5--7
8.938
8.939 []
8.940
8.941 -[77]
8.942 -
8.943 -LaTeX Warning: `h' float specifier changed to `ht'.
8.944 -
8.945 -[78 <./atot_etot_atd.pdf>]) (./conclusion.tex [79 <./laldo_hist.pdf> <./labtar_
8.946 -hist.pdf>]
8.947 -Kapitel 8.
8.948 -
8.949 -Underfull \hbox (badness 10000) in paragraph at lines 5--7
8.950 -
8.951 - []
8.952 -
8.953 -) [80
8.954 -
8.955 -] [81] (./document.lof)
8.956 +) [85] [86] (./document.lof)
8.957 \tf@lof=\write6
8.958 \openout6 = `document.lof'.
8.959
8.960 - [82
8.961 + [87
8.962 +
8.963 +
8.964 +] [88
8.965 +
8.966
8.967 ] (./document.lot)
8.968 \tf@lot=\write7
8.969 @@ -2049,82 +2055,110 @@
8.970
8.971
8.972
8.973 -Class scrreprt Warning: Usage of deprecated \float@listhead!
8.974 -(scrreprt) You should use the features of package `tocbasic'
8.975 -(scrreprt) instead of \float@listhead.
8.976 -(scrreprt) Definition of \float@listhead my be removed from
8.977 -(scrreprt) `scrreprt' soon, so it should not be used on input lin
8.978 -e 85.
8.979 -
8.980 -[83
8.981 +Class scrbook Warning: Usage of deprecated \float@listhead!
8.982 +(scrbook) You should use the features of package `tocbasic'
8.983 +(scrbook) instead of \float@listhead.
8.984 +(scrbook) Definition of \float@listhead my be removed from
8.985 +(scrbook) `scrbook' soon, so it should not be used on input line
8.986 +84.
8.987 +
8.988 +[89] [90
8.989 +
8.990
8.991 ] (./document.lol)
8.992 \tf@lol=\write8
8.993 \openout8 = `document.lol'.
8.994
8.995 - (./document.bbl [84
8.996 -
8.997 -] [85
8.998 -
8.999 -]) (./appendix.tex [86]
8.1000 + (./document.bbl [91] [92
8.1001 +
8.1002 +
8.1003 +] [93]) (./appendix.tex
8.1004 +[94]
8.1005 Anhang A.
8.1006 -<images/uml_factories.png, id=1892, 444.15938pt x 191.21437pt>
8.1007 +<images/uml_factories.png, id=1926, 444.15938pt x 191.21437pt>
8.1008 File: images/uml_factories.png Graphic file (type png)
8.1009
8.1010 <use images/uml_factories.png>
8.1011 -<images/uml_terms.png, id=1893, 740.0147pt x 444.15938pt>
8.1012 +<images/uml_terms.png, id=1927, 740.0147pt x 444.15938pt>
8.1013 File: images/uml_terms.png Graphic file (type png)
8.1014
8.1015 <use images/uml_terms.png>
8.1016 -<images/uml_property.png, id=1894, 600.74437pt x 474.27188pt>
8.1017 +<images/uml_property.png, id=1928, 600.74437pt x 474.27188pt>
8.1018 File: images/uml_property.png Graphic file (type png)
8.1019
8.1020 <use images/uml_property.png>
8.1021
8.1022 LaTeX Warning: `h' float specifier changed to `ht'.
8.1023
8.1024 -<images/uml_vm.png, id=1895, 531.48563pt x 344.03531pt>
8.1025 +<images/uml_vm.png, id=1929, 531.48563pt x 344.03531pt>
8.1026 File: images/uml_vm.png Graphic file (type png)
8.1027
8.1028 <use images/uml_vm.png>
8.1029
8.1030 LaTeX Warning: `h' float specifier changed to `ht'.
8.1031
8.1032 -[87
8.1033 +[95
8.1034 +
8.1035
8.1036 <./images/uml_factories.png (PNG copy)> <./images/uml_terms.png (PNG copy)>] <
8.1037 -images/uml_flight_plan.png, id=1900, 381.67593pt x 648.92438pt>
8.1038 +images/uml_flight_plan.png, id=1934, 381.67593pt x 648.92438pt>
8.1039 File: images/uml_flight_plan.png Graphic file (type png)
8.1040
8.1041 <use images/uml_flight_plan.png>
8.1042
8.1043 LaTeX Warning: `h' float specifier changed to `ht'.
8.1044
8.1045 -[88 <./images/uml_property.png (PNG copy)> <./images/uml_vm.png (PNG copy)>]
8.1046 -[89 <./images/uml_flight_plan.png (PNG copy)>]
8.1047 +[96 <./images/uml_property.png (PNG copy)> <./images/uml_vm.png (PNG copy)>]
8.1048 +[97 <./images/uml_flight_plan.png (PNG copy)>] [98
8.1049 +
8.1050 +
8.1051 +]
8.1052 Anhang B.
8.1053 LaTeX Font Info: Font shape `OT1/lmtt/bx/n' in size <24.88> not available
8.1054 (Font) Font shape `OT1/lmtt/b/n' tried instead on input line 40.
8.1055 (./atccl.y
8.1056 LaTeX Font Info: Font shape `OML/lmr/m/n' in size <12> not available
8.1057 (Font) Font shape `OML/lmm/m/it' tried instead on input line 2.
8.1058 - [90
8.1059 -
8.1060 -] [91] [92] [93] [94] [95] [96] [97])) [98] (./document.aux)
8.1061 +
8.1062 +Underfull \vbox (badness 1112) has occurred while \output is active []
8.1063 +
8.1064 + [99]
8.1065 +Underfull \vbox (badness 10000) has occurred while \output is active []
8.1066 +
8.1067 + [100]
8.1068 +Underfull \vbox (badness 10000) has occurred while \output is active []
8.1069 +
8.1070 + [101]
8.1071 +Underfull \vbox (badness 10000) has occurred while \output is active []
8.1072 +
8.1073 + [102]
8.1074 +Underfull \vbox (badness 10000) has occurred while \output is active []
8.1075 +
8.1076 + [103]
8.1077 +Underfull \vbox (badness 10000) has occurred while \output is active []
8.1078 +
8.1079 + [104]
8.1080 +Underfull \vbox (badness 10000) has occurred while \output is active []
8.1081 +
8.1082 + [105]
8.1083 +Underfull \vbox (badness 10000) has occurred while \output is active []
8.1084 +
8.1085 + [106]))
8.1086 +[107] (./document.aux)
8.1087
8.1088 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
8.1089
8.1090 )
8.1091 Here is how much of TeX's memory you used:
8.1092 - 13166 strings out of 495021
8.1093 - 186704 string characters out of 1181035
8.1094 - 329107 words of memory out of 3000000
8.1095 - 15160 multiletter control sequences out of 15000+50000
8.1096 - 61611 words of font info for 65 fonts, out of 3000000 for 9000
8.1097 + 13172 strings out of 495021
8.1098 + 186649 string characters out of 1181035
8.1099 + 329854 words of memory out of 3000000
8.1100 + 15157 multiletter control sequences out of 15000+50000
8.1101 + 67653 words of font info for 68 fonts, out of 3000000 for 9000
8.1102 28 hyphenation exceptions out of 8191
8.1103 45i,11n,70p,1257b,2174s stack positions out of 5000i,500n,10000p,200000b,50000s
8.1104 -{/usr/share/texmf/fonts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/d
8.1105 -vips/lm/lm-rmtt.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/sh
8.1106 +{/usr/share/texmf/fonts/enc/dvips/lm/lm-rmtt.enc}{/usr/share/texmf/fonts/enc/
8.1107 +dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/sh
8.1108 are/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm
8.1109 /lm-rm.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rmsc.enc}</usr/share/texmf-t
8.1110 exlive/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf/fonts/type1/
8.1111 @@ -2134,13 +2168,14 @@
8.1112 /texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/
8.1113 lmr12.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pfb></usr/share/texmf/fo
8.1114 nts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmri12.pfb
8.1115 -></usr/share/texmf/fonts/type1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/t
8.1116 -ype1/public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmtk10.pfb></
8.1117 -usr/share/texmf/fonts/type1/public/lm/lmtt12.pfb></usr/share/texmf/fonts/type1/
8.1118 -public/lm/lmtti10.pfb>
8.1119 -Output written on document.pdf (98 pages, 1801584 bytes).
8.1120 +></usr/share/texmf/fonts/type1/public/lm/lmro12.pfb></usr/share/texmf/fonts/typ
8.1121 +e1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pfb></
8.1122 +usr/share/texmf/fonts/type1/public/lm/lmtk10.pfb></usr/share/texmf/fonts/type1/
8.1123 +public/lm/lmtt12.pfb></usr/share/texmf/fonts/type1/public/lm/lmtti10.pfb></usr/
8.1124 +share/texmf/fonts/type1/public/lm/lmtto10.pfb>
8.1125 +Output written on document.pdf (107 pages, 1865262 bytes).
8.1126 PDF statistics:
8.1127 - 2458 PDF objects out of 2487 (max. 8388607)
8.1128 - 802 named destinations out of 1000 (max. 500000)
8.1129 + 2505 PDF objects out of 2984 (max. 8388607)
8.1130 + 811 named destinations out of 1000 (max. 500000)
8.1131 784 words of extra memory for PDF output out of 10000 (max. 10000000)
8.1132
9.1 --- a/book/src/document.lol Thu Mar 24 01:11:45 2011 +0100
9.2 +++ b/book/src/document.lol Thu Mar 24 13:42:41 2011 +0100
9.3 @@ -3,33 +3,33 @@
9.4 \addvspace {10\p@ }
9.5 \addvspace {10\p@ }
9.6 \addvspace {10\p@ }
9.7 -\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{35}{lstlisting.5.1}
9.8 -\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{36}{lstlisting.5.2}
9.9 -\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{36}{lstlisting.5.3}
9.10 -\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{37}{lstlisting.5.4}
9.11 -\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{37}{lstlisting.5.5}
9.12 -\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{38}{lstlisting.5.6}
9.13 -\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{39}{lstlisting.5.7}
9.14 -\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{40}{lstlisting.5.8}
9.15 -\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9}
9.16 -\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{41}{lstlisting.5.10}
9.17 -\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{42}{lstlisting.5.11}
9.18 -\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{42}{lstlisting.5.12}
9.19 -\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{43}{lstlisting.5.13}
9.20 -\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{44}{lstlisting.5.14}
9.21 -\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{50}{lstlisting.5.15}
9.22 +\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1}
9.23 +\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2}
9.24 +\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3}
9.25 +\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4}
9.26 +\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5}
9.27 +\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6}
9.28 +\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7}
9.29 +\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}
9.30 +\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{44}{lstlisting.5.9}
9.31 +\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}
9.32 +\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11}
9.33 +\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}
9.34 +\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}
9.35 +\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}
9.36 +\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{53}{lstlisting.5.15}
9.37 \addvspace {10\p@ }
9.38 -\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{66}{lstlisting.6.1}
9.39 -\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{67}{lstlisting.6.2}
9.40 -\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{67}{lstlisting.6.3}
9.41 -\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{67}{lstlisting.6.4}
9.42 -\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{67}{lstlisting.6.5}
9.43 -\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{68}{lstlisting.6.6}
9.44 -\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{68}{lstlisting.6.7}
9.45 -\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{68}{lstlisting.6.8}
9.46 -\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{69}{lstlisting.6.9}
9.47 +\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1}
9.48 +\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2}
9.49 +\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3}
9.50 +\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4}
9.51 +\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5}
9.52 +\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{71}{lstlisting.6.6}
9.53 +\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7}
9.54 +\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{71}{lstlisting.6.8}
9.55 +\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9}
9.56 \addvspace {10\p@ }
9.57 \addvspace {10\p@ }
9.58 \addvspace {10\p@ }
9.59 \addvspace {10\p@ }
9.60 -\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{90}{lstlisting.B.1}
9.61 +\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}
10.1 --- a/book/src/document.lot Thu Mar 24 01:11:45 2011 +0100
10.2 +++ b/book/src/document.lot Thu Mar 24 13:42:41 2011 +0100
10.3 @@ -5,9 +5,9 @@
10.4 \addvspace {10\p@ }
10.5 \addvspace {10\p@ }
10.6 \addvspace {10\p@ }
10.7 -\contentsline {table}{\numberline {6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{66}{table.6.1}
10.8 +\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{69}{table.6.1}
10.9 \addvspace {10\p@ }
10.10 -\contentsline {table}{\numberline {7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{73}{table.7.1}
10.11 +\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1}
10.12 \addvspace {10\p@ }
10.13 \addvspace {10\p@ }
10.14 \addvspace {10\p@ }
11.1 Binary file book/src/document.pdf has changed
12.1 --- a/book/src/document.tex Thu Mar 24 01:11:45 2011 +0100
12.2 +++ b/book/src/document.tex Thu Mar 24 13:42:41 2011 +0100
12.3 @@ -1,4 +1,4 @@
12.4 -\documentclass[12pt, a4paper, abstracton]{scrreprt}
12.5 +\documentclass[12pt, a4paper, abstracton]{scrbook}%{scrreprt}
12.6 \usepackage[left=3cm, right=2.5cm, bottom=3.5cm, top=3.5cm]{geometry}
12.7 \linespread{1.25}
12.8 \usepackage[ngerman]{babel}
12.9 @@ -66,11 +66,10 @@
12.10 %\newgeometry{left=3cm,right=3cm,bottom=1cm}
12.11 \input{title}
12.12 %\restoregeometry
12.13 -
12.14 +\tableofcontents
12.15 %\pagenumbering{roman}
12.16 -\input{abstract}
12.17 +%\input{abstract}
12.18 \input{preface}
12.19 -\tableofcontents
12.20 %\pagenumbering{arabic}
12.21 \input{intro}
12.22 \input{research}
13.1 --- a/book/src/document.toc Thu Mar 24 01:11:45 2011 +0100
13.2 +++ b/book/src/document.toc Thu Mar 24 13:42:41 2011 +0100
13.3 @@ -1,133 +1,133 @@
13.4 \select@language {ngerman}
13.5 -\contentsline {chapter}{\numberline {1}Vorwort}{3}{chapter.1}
13.6 -\contentsline {section}{\numberline {1.1}Danksagungen}{3}{section.1.1}
13.7 -\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}
13.8 -\contentsline {section}{\numberline {2.1}Zielsetzung}{7}{section.2.1}
13.9 -\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}
13.10 -\contentsline {section}{\numberline {2.3}Comsoft GmbH}{9}{section.2.3}
13.11 -\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}
13.12 -\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}
13.13 -\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}
13.14 -\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}
13.15 -\contentsline {subsubsection}{Routensystem}{12}{section*.3}
13.16 -\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}
13.17 -\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}
13.18 -\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}
13.19 -\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}
13.20 -\contentsline {subsubsection}{Slot}{14}{section*.7}
13.21 -\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}
13.22 -\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}
13.23 -\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}
13.24 -\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}
13.25 -\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}
13.26 -\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}
13.27 -\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}
13.28 -\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}
13.29 -\contentsline {subsubsection}{LLVM}{22}{section*.10}
13.30 -\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}
13.31 -\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}
13.32 -\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}
13.33 -\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}
13.34 -\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}
13.35 -\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}
13.36 -\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}
13.37 -\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}
13.38 -\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}
13.39 -\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}
13.40 -\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}
13.41 -\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}
13.42 -\contentsline {subsubsection}{Redundanz}{27}{section*.14}
13.43 -\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}
13.44 -\contentsline {subsubsection}{Aerodrome}{28}{section*.15}
13.45 -\contentsline {subsubsection}{Runway}{29}{section*.16}
13.46 -\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}
13.47 -\contentsline {subsubsection}{Flight Type}{29}{section*.18}
13.48 -\contentsline {subsubsection}{True Airspeed}{29}{section*.19}
13.49 -\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}
13.50 -\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}
13.51 -\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}
13.52 -\contentsline {section}{\numberline {4.4}Sollkriterien}{31}{section.4.4}
13.53 -\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{32}{section.4.5}
13.54 -\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}
13.55 -\contentsline {chapter}{\numberline {5}Entwurf}{34}{chapter.5}
13.56 -\contentsline {section}{\numberline {5.1}ATCCL}{34}{section.5.1}
13.57 -\contentsline {subsection}{\numberline {5.1.1}Syntax}{35}{subsection.5.1.1}
13.58 -\contentsline {subsubsection}{Notation}{35}{section*.20}
13.59 -\contentsline {subsubsection}{Buchstaben und Ziffern}{36}{section*.21}
13.60 -\contentsline {subsubsection}{Kommentare}{36}{section*.22}
13.61 -\contentsline {subsubsection}{Terminatoren}{36}{section*.23}
13.62 -\contentsline {subsubsection}{Bezeichner}{37}{section*.24}
13.63 -\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{37}{section*.25}
13.64 -\contentsline {subsubsection}{Datentypen und Konstanten}{38}{section*.26}
13.65 -\contentsline {subsubsection}{Flugplaneigenschaften}{39}{section*.27}
13.66 -\contentsline {subsubsection}{Operatoren}{40}{section*.28}
13.67 -\contentsline {subsubsection}{Regeldefinitionen}{40}{section*.29}
13.68 -\contentsline {subsubsection}{Programm}{42}{section*.30}
13.69 -\contentsline {subsection}{\numberline {5.1.2}Beispiele}{42}{subsection.5.1.2}
13.70 -\contentsline {subsubsection}{Zielstellung}{42}{section*.31}
13.71 -\contentsline {subsubsection}{Code}{43}{section*.32}
13.72 -\contentsline {subsubsection}{Bemerkungen}{43}{section*.33}
13.73 -\contentsline {subsubsection}{Zielstellung}{43}{section*.34}
13.74 -\contentsline {subsubsection}{Code}{44}{section*.35}
13.75 -\contentsline {subsubsection}{Bemerkungen}{44}{section*.36}
13.76 -\contentsline {subsection}{\numberline {5.1.3}Compiler}{44}{subsection.5.1.3}
13.77 -\contentsline {subsubsection}{Scanner}{45}{section*.37}
13.78 -\contentsline {subsubsection}{Parser}{46}{section*.38}
13.79 -\contentsline {subsubsection}{Synthese}{46}{section*.39}
13.80 -\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{47}{subsection.5.1.4}
13.81 -\contentsline {subsubsection}{FlightPlan-Interface}{47}{section*.40}
13.82 -\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{49}{subsection.5.1.5}
13.83 -\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{50}{subsection.5.1.6}
13.84 -\contentsline {subsubsection}{Beispiel}{50}{section*.41}
13.85 -\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{52}{subsection.5.1.7}
13.86 -\contentsline {subsubsection}{Algorithmus}{53}{section*.42}
13.87 -\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{55}{section*.43}
13.88 -\contentsline {subsubsection}{Alternative}{56}{section*.44}
13.89 -\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{56}{section*.45}
13.90 -\contentsline {section}{\numberline {5.2}DFLOW}{57}{section.5.2}
13.91 -\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{57}{subsection.5.2.1}
13.92 -\contentsline {subsubsection}{Map}{57}{section*.46}
13.93 -\contentsline {subsubsection}{Notify}{58}{section*.47}
13.94 -\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{59}{subsection.5.2.2}
13.95 -\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{60}{subsection.5.2.3}
13.96 -\contentsline {chapter}{\numberline {6}Realisierung}{62}{chapter.6}
13.97 -\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{62}{section.6.1}
13.98 -\contentsline {subsection}{\numberline {6.1.1}Compiler}{62}{subsection.6.1.1}
13.99 -\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{63}{subsection.6.1.2}
13.100 -\contentsline {subsection}{\numberline {6.1.3}CppUnit}{63}{subsection.6.1.3}
13.101 -\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{64}{subsection.6.1.4}
13.102 -\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{64}{section.6.2}
13.103 -\contentsline {subsection}{\numberline {6.2.1}IDE}{64}{subsection.6.2.1}
13.104 -\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{65}{subsection.6.2.2}
13.105 -\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{65}{subsection.6.2.3}
13.106 -\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{65}{section.6.3}
13.107 -\contentsline {section}{\numberline {6.4}ATCCL}{65}{section.6.4}
13.108 -\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{65}{subsection.6.4.1}
13.109 -\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{69}{subsection.6.4.2}
13.110 -\contentsline {subsection}{\numberline {6.4.3}Synthese}{69}{subsection.6.4.3}
13.111 -\contentsline {section}{\numberline {6.5}DFLOW}{70}{section.6.5}
13.112 -\contentsline {subsection}{\numberline {6.5.1}FDPS}{70}{subsection.6.5.1}
13.113 -\contentsline {subsection}{\numberline {6.5.2}Node Manager}{71}{subsection.6.5.2}
13.114 -\contentsline {subsection}{\numberline {6.5.3}AWP}{71}{subsection.6.5.3}
13.115 -\contentsline {subsection}{\numberline {6.5.4}CWP}{72}{subsection.6.5.4}
13.116 -\contentsline {chapter}{\numberline {7}Verifikation}{73}{chapter.7}
13.117 -\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{73}{section.7.1}
13.118 -\contentsline {section}{\numberline {7.2}Unit-Tests}{74}{section.7.2}
13.119 -\contentsline {section}{\numberline {7.3}Testspezifikation}{74}{section.7.3}
13.120 -\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{75}{section.7.4}
13.121 -\contentsline {section}{\numberline {7.5}Effizienz}{75}{section.7.5}
13.122 -\contentsline {section}{\numberline {7.6}Leistungsanalyse}{76}{section.7.6}
13.123 -\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{76}{subsection.7.6.1}
13.124 -\contentsline {subsection}{\numberline {7.6.2}Datensatz}{77}{subsection.7.6.2}
13.125 -\contentsline {subsection}{\numberline {7.6.3}Auswertung}{77}{subsection.7.6.3}
13.126 -\contentsline {chapter}{\numberline {8}Zusammenfassung}{80}{chapter.8}
13.127 -\contentsline {section}{\numberline {8.1}Fazit}{80}{section.8.1}
13.128 -\contentsline {section}{\numberline {8.2}Ausblick}{80}{section.8.2}
13.129 -\contentsline {chapter}{\numberline {A}Feinentwurf}{87}{appendix.A}
13.130 -\contentsline {section}{\numberline {A.1}ATCCL}{87}{section.A.1}
13.131 -\contentsline {subsection}{\numberline {A.1.1}Factory}{87}{subsection.A.1.1}
13.132 -\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{87}{subsection.A.1.2}
13.133 -\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{88}{subsection.A.1.3}
13.134 -\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{88}{subsection.A.1.4}
13.135 -\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{89}{subsection.A.1.5}
13.136 -\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{90}{appendix.B}
13.137 +\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}
13.138 +\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}
13.139 +\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}
13.140 +\contentsline {section}{\numberline {2.1}Zielsetzung}{9}{section.2.1}
13.141 +\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}
13.142 +\contentsline {section}{\numberline {2.3}Comsoft GmbH}{11}{section.2.3}
13.143 +\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}
13.144 +\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}
13.145 +\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}
13.146 +\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}
13.147 +\contentsline {subsubsection}{Routensystem}{14}{section*.3}
13.148 +\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}
13.149 +\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}
13.150 +\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}
13.151 +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}
13.152 +\contentsline {subsubsection}{Slot}{16}{section*.7}
13.153 +\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}
13.154 +\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}
13.155 +\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}
13.156 +\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}
13.157 +\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}
13.158 +\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}
13.159 +\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}
13.160 +\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}
13.161 +\contentsline {subsubsection}{LLVM}{24}{section*.10}
13.162 +\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11}
13.163 +\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12}
13.164 +\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}
13.165 +\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}
13.166 +\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}
13.167 +\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}
13.168 +\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}
13.169 +\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}
13.170 +\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}
13.171 +\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}
13.172 +\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}
13.173 +\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}
13.174 +\contentsline {subsubsection}{Redundanz}{29}{section*.14}
13.175 +\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}
13.176 +\contentsline {subsubsection}{Aerodrome}{30}{section*.15}
13.177 +\contentsline {subsubsection}{Runway}{31}{section*.16}
13.178 +\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}
13.179 +\contentsline {subsubsection}{Flight Type}{31}{section*.18}
13.180 +\contentsline {subsubsection}{True Airspeed}{31}{section*.19}
13.181 +\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}
13.182 +\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}
13.183 +\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}
13.184 +\contentsline {section}{\numberline {4.4}Sollkriterien}{33}{section.4.4}
13.185 +\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{34}{section.4.5}
13.186 +\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}
13.187 +\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}
13.188 +\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}
13.189 +\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}
13.190 +\contentsline {subsubsection}{Notation}{38}{section*.20}
13.191 +\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}
13.192 +\contentsline {subsubsection}{Kommentare}{39}{section*.22}
13.193 +\contentsline {subsubsection}{Terminatoren}{39}{section*.23}
13.194 +\contentsline {subsubsection}{Bezeichner}{40}{section*.24}
13.195 +\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}
13.196 +\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}
13.197 +\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}
13.198 +\contentsline {subsubsection}{Operatoren}{43}{section*.28}
13.199 +\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}
13.200 +\contentsline {subsubsection}{Programm}{45}{section*.30}
13.201 +\contentsline {subsection}{\numberline {5.1.2}Beispiele}{45}{subsection.5.1.2}
13.202 +\contentsline {subsubsection}{Zielstellung}{45}{section*.31}
13.203 +\contentsline {subsubsection}{Code}{46}{section*.32}
13.204 +\contentsline {subsubsection}{Bemerkungen}{46}{section*.33}
13.205 +\contentsline {subsubsection}{Zielstellung}{46}{section*.34}
13.206 +\contentsline {subsubsection}{Code}{47}{section*.35}
13.207 +\contentsline {subsubsection}{Bemerkungen}{47}{section*.36}
13.208 +\contentsline {subsection}{\numberline {5.1.3}Compiler}{47}{subsection.5.1.3}
13.209 +\contentsline {subsubsection}{Scanner}{48}{section*.37}
13.210 +\contentsline {subsubsection}{Parser}{49}{section*.38}
13.211 +\contentsline {subsubsection}{Synthese}{49}{section*.39}
13.212 +\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}
13.213 +\contentsline {subsubsection}{FlightPlan-Interface}{50}{section*.40}
13.214 +\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}
13.215 +\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{53}{subsection.5.1.6}
13.216 +\contentsline {subsubsection}{Beispiel}{53}{section*.41}
13.217 +\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}
13.218 +\contentsline {subsubsection}{Algorithmus}{56}{section*.42}
13.219 +\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}
13.220 +\contentsline {subsubsection}{Alternative}{59}{section*.44}
13.221 +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}
13.222 +\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}
13.223 +\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}
13.224 +\contentsline {subsubsection}{Map}{60}{section*.46}
13.225 +\contentsline {subsubsection}{Notify}{61}{section*.47}
13.226 +\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}
13.227 +\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{63}{subsection.5.2.3}
13.228 +\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}
13.229 +\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}
13.230 +\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}
13.231 +\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2}
13.232 +\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}
13.233 +\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}
13.234 +\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}
13.235 +\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}
13.236 +\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}
13.237 +\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}
13.238 +\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}
13.239 +\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}
13.240 +\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1}
13.241 +\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2}
13.242 +\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}
13.243 +\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}
13.244 +\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}
13.245 +\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}
13.246 +\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}
13.247 +\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}
13.248 +\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}
13.249 +\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}
13.250 +\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}
13.251 +\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}
13.252 +\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}
13.253 +\contentsline {section}{\numberline {7.5}Effizienz}{79}{section.7.5}
13.254 +\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}
13.255 +\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}
13.256 +\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}
13.257 +\contentsline {subsection}{\numberline {7.6.3}Auswertung}{81}{subsection.7.6.3}
13.258 +\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}
13.259 +\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}
13.260 +\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}
13.261 +\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}
13.262 +\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}
13.263 +\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}
13.264 +\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}
13.265 +\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}
13.266 +\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}
13.267 +\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}
13.268 +\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B}
14.1 --- a/book/src/impl.tex Thu Mar 24 01:11:45 2011 +0100
14.2 +++ b/book/src/impl.tex Thu Mar 24 13:42:41 2011 +0100
14.3 @@ -118,7 +118,7 @@
14.4 Die DFLOW-Komponente wurde in den FDPS integriert. Die Komponente ist eine flugplanverarbeitende Instanz und interagiert mit anderen Komponenten des FDPS oder auch den Displays durch das DMAP-Protokoll. Sog. \emph{Notifier}-Klassen implementieren das Observer Pattern für bestimmte Datensätze der DMAP-Datenbank. \emph{Storage}-Klassen bieten eine transparente Zugriffsschicht auf DMAP-Datensätze. Durch die beiden Klassentypen ist es möglich, Event-getrieben und dadurch effektiv auf der DMAP zu arbeiten und gleichzeitig jederzeit volle Zugriffsmöglichkeit mit Hilfe von transparenten Transaktionen auf alle notwendigen Datensätze zu haben.
14.5
14.6 \subsection{Node Manager}
14.7 -Der Node Manager ist für die Kontrolle der Vitalität der einzelnen PRISMA-Komponenten zuständig. Basierend auf dem Watchdog-Verfahren werden Prozesse aktiv angesprochen und die Reaktionszeiten zu messen. Ist die Vitalität des Systems durch eine Komponente gefährdet, so kann der Node Manager den Neustart oder die Deaktivierung der identifizierten Komponente mit Fehlfunktion veranlassen. Der Node Manager bietet für dessen Protokoll eine Klasse an, die eine voll automatisierte Lösung des Watchdog-Verfahrens auf Client-Seite darstellt.
14.8 +Der Node Manager ist für die Kontrolle der Vitalität der einzelnen PRISMA-Komponen\-ten zuständig. Basierend auf dem Watchdog-Verfahren werden Prozesse aktiv angesprochen und die Reaktionszeiten zu messen. Ist die Vitalität des Systems durch eine Komponente gefährdet, so kann der Node Manager den Neustart oder die Deaktivierung der identifizierten Komponente mit Fehlfunktion veranlassen. Der Node Manager bietet für dessen Protokoll eine Klasse an, die eine voll automatisierte Lösung des Watchdog-Verfahrens auf Client-Seite darstellt.
14.9
14.10 \subsection{AWP}
14.11 Die AWP bietet eine Reihe von strategischer Displays als integrierte Lösung an. Ein Planer hat u.a. die Aufgaben Flugpläne den Startern zuzuordnen, Prognosen über Verkehrsaufkommen zu analysieren und basierend drauf Entscheidungen zu treffen.
15.1 --- a/book/src/intro.tex Thu Mar 24 01:11:45 2011 +0100
15.2 +++ b/book/src/intro.tex Thu Mar 24 13:42:41 2011 +0100
15.3 @@ -26,7 +26,7 @@
15.4
15.5 Diese Funktion übernimmt die Abflugplanungskomponente. Die Komponente berechnet den optimalen Abflugzeitpunkt für individuelle Flüge, basierend auf den konfigurierbaren Regeln formuliert in einer Domänensprache. Anhand des Regelwerks werden die Flüge nach passenden Mustern sortiert und an den relevanten Wegpunkten gestaffelt.
15.6
15.7 -Zur Modellierung der dynamischen Luftraumbeschränkungen wird eine domänenspezifische Sprache entwickelt. Sie bildet die Schnittstelle zwischen der Planungskomponente und dem Verkehrsflussmanagement. Die Sprache soll eine redundanzfreie Konfiguration der Flugplanmuster und Verkehrsflussbeschränkungen bieten, die der Planer selbst verwalten kann.\\\\
15.8 +Zur Modellierung der dynamischen Luftraumbeschränkungen wird eine domänen\-spezifische Sprache entwickelt. Sie bildet die Schnittstelle zwischen der Planungskomponente und dem Verkehrsflussmanagement. Die Sprache soll eine redundanzfreie Konfiguration der Flugplanmuster und Verkehrsflussbeschränkungen bieten, die der Planer selbst verwalten kann.\\\\
15.9 Das erste Ziel der Arbeit war es, eine Modellierungssprache für den Bereich des Verkehrsflussmanagements und der allgemeinen Flugsicherung zu erstellen.
15.10 Als zweiter Teil der Arbeit galt es eine Abflugplanungskomponente zu entwickeln und in eine bereits bestehende Flugsicherungsarchitektur zu integrieren. Die Komponente soll die Domänensprache als Konfigurationssprache akzeptieren. Die Berechnungen der Abflugplanungskomponente basierend auf dem Modell der Luftraumbeschränkungen.
15.11
16.1 --- a/book/src/preface.tex Thu Mar 24 01:11:45 2011 +0100
16.2 +++ b/book/src/preface.tex Thu Mar 24 13:42:41 2011 +0100
16.3 @@ -1,6 +1,16 @@
16.4 \chapter{Vorwort}
16.5 +Moderne Flugsicherung hat das Ziel, Luftfahrzeuge effizient und sicher vom Startflughafen bis zum Ziel zu begleiten. Das stetige Wachstum des Luftverkehrs hat eine Verdichtung des Flugraums zur Folge, eine effektive Regelung des Flugbetriebs wird dadurch notwendig. Dabei konkurriert der Sicherheitsaspekt mit ökonomischen und ökologischen Zielen.\\\\
16.6 +Gegenstand dieser Arbeit ist die Entwicklung einer \emph{domänenspezifischen Sprache} zur Modellierung des Regelwerks der Flugsicherung im Bereich \emph{Air Traffic Flow Management} und die Realisierung einer \emph{Abflugplanungskomponente} zur Optimierung der Abflugzeitenbestimmung.
16.7 +Die Arbeit beschreibt die Phasen eines Projekts im Bereich Flugsicherung von der Anforderungsanalyse bis zum operativen Betrieb bei dem Kunden.
16.8 +%\vspace{100pt}
16.9 +\begin{figure}[h]
16.10 +\centering
16.11 +\includegraphics[width=15.5cm]{images/title_page.pdf}
16.12 +\caption[Luftverkehrsrouten]{Abstraktion der Luftverkehrsrouten ausgehend von den Vereinigten Arabischen Emiraten. \emph{Quelle (Weltkarte): Wikipedia}}
16.13 +\end{figure}
16.14 +
16.15 \section{Danksagungen}
16.16 -Als Erstes danke ich Herrn Pitz, als Leiter der Abteilung Centre Solutions hat er mir die Arbeit an diesem Kundenprojekt ermöglicht.
16.17 +Als Erstes danke ich Herrn Pitz, als Leiter der Abteilung Centre Solutions bei der Comsoft GmbH hat er mir die Arbeit an diesem Kundenprojekt ermöglicht.
16.18
16.19 Ein besonderer Dank geht an meine beiden Betreuer, Prof. Dr. Mayer von der Hochschule Offenburg und Dr. Schulz von der Comsoft GmbH, für die tatkräftige Unterstützung bei der Einarbeitung in die Domäne Flugsicherung und bei organisatorischen und fachlichen Fragen.
16.20
17.1 --- a/book/src/title.tex Thu Mar 24 01:11:45 2011 +0100
17.2 +++ b/book/src/title.tex Thu Mar 24 13:42:41 2011 +0100
17.3 @@ -15,12 +15,12 @@
17.4 %\LARGE \textrm{\textbf{Entwicklung einer Modellierungssprache und Planungskomponente zur Luftverkehrsoptimierung}}\\
17.5 %\LARGE \textrm{\textbf{Optimierte Abflugplanung durch Modellierung von Luftraumbeschränkungen}}\\
17.6 %\LARGE \textrm{\textbf{Air Traffic Flow Management in den Vereinigten Arabischen Emirate}}\\
17.7 -\textsc{\LARGE {\textmd{{Verkehrsflussregelung in der Flugsicherung}}}}\\
17.8 +{\textsc{\huge {\textmd{{Verkehrsflussregelung in der Flugsicherung}}}}}\\
17.9 %\textsc{\LARGE {\textmd{{Air Traffic Flow Management in den Vereinigten Arabischen Emiraten}}}}\\
17.10 %\LARGE \textrm{\textbf{Flexible Modeling of Dynamic Air Traffic Flow Restrictions and its Application in Departure Flow Optimisation}}\\
17.11 \vspace{20pt}
17.12 %\textsc{\large \textsf{{Modellierung von Luftraumbeschränkungen und Optimierung der Abflugplanung}}}\\
17.13 -\textsc{\textsf{{Ein Projekt zur Optimierung der Abflugplanung in den Vereinigten Arabischen Emiraten}}}\\
17.14 +\textsc{\textsf{\large {Ein Projekt zur Optimierung der Abflugplanung in den Vereinigten Arabischen Emiraten}}}\\
17.15 \vspace{150pt}
17.16 \textsc{\textsf{Eugen Sawin}}\\
17.17 \end{center}
18.1 --- a/book/src/verification.tex Thu Mar 24 01:11:45 2011 +0100
18.2 +++ b/book/src/verification.tex Thu Mar 24 13:42:41 2011 +0100
18.3 @@ -25,7 +25,7 @@
18.4 \section{Unit-Tests}
18.5 Während der Implementierungsphase wurden für die C++-Klassen Unit-Tests erstellt, die das Verhalten der Einheiten gegen die Anforderungen prüfen. Mit Hilfe von Über"-deckungs"-diagnosen werden nicht ausreichend getestete Module lokalisiert und die ungeprüften Bereiche mit weiteren Tests belegt.
18.6
18.7 -Zu den kritischen Modulen gehören u.a. \texttt{VirtualMachine}, \texttt{StackVector} und \texttt{TermFactory}.
18.8 +Zu den kritischen Modulen gehören u.a. \texttt{VirtualMachine}, \texttt{StackVector} und \newline \texttt{TermFactory}.
18.9 Die \texttt{Virtual"-Machine} beherbergt die zeit-bestimmenden Algorithmen und muss deshalb besonders intensiv getestet werden. Hier ist nicht nur die Korrektheit der Ergebnisse relevant, sondern auch die Laufzeiten der Berechnungen, mehr dazu in Abschnitt \ref{verification:efficiency}. Die StackVector-Klasse dient als Standardklasse für eine Reihe von Situationen, Fehler in dieser Klasse würden Konsequenzen für eine Reihe von Modulen haben. Die TermFactory ist als objekterzeugende Einheit wegen der dynamischen Speicherallokierung kritisch. Gleichzeitig bieten die Tests dieser Klasse eine unmittelbare Prüfung für neu integrierte Property-Klassen.
18.10
18.11 \section{Testspezifikation}
18.12 @@ -96,7 +96,7 @@
18.13 \caption[Histogramm von Separationszeiten]{Histogramm von den Separationszeiten an zwei verschiedenen Flow Points. Links: \emph{LALDO}, rechts: \emph{LABTAR}}%
18.14 \label{fig:1figs}%
18.15 \end{figure}\\
18.16 -Eine wichtige Anmerkung zur folgenden Auswertung ist, dass die Separationsbeschränkungen auf Zeiträume mit hohem Verkehrsaufkommen gelegt werden. Da in diesen Zeiträumen der Großteil des täglichen Flugverkehrs abgehandelt wird, hat dies Auswirkung auf die Statistik.\\\\
18.17 +Eine wichtige Anmerkung zu der folgenden Auswertung ist, dass die Separations\-beschränkungen auf Zeiträume mit hohem Verkehrsaufkommen gelegt werden. Da in diesen Zeiträumen der Großteil des täglichen Flugverkehrs abgehandelt wird, hat dies Auswirkung auf die Statistik.\\\\
18.18 Flow Point \emph{LALDO} umfasst zwei Wegpunkte und definiert in der Summe ca. 6 Stunden am Tag eine zeitliche Separation von 3 Minuten. Die Statistik belegt diesen Zustand und die erfolgreiche Funktion des DFLOW: für über 54\% der erfassten Flüge wurde von DFLOW eine Separation von 3 Minuten geplant. Die größeren Separationen zwischen 3 und 10 Minuten sind ein Zeichen dafür, dass der Flow Point noch freie Kapazitäten besitzt. Zum Vergleich weist \emph{LABTAR} im Durchschnitt eine höhere Verkehrsflussdichte von 29\% auf.
18.19
18.20 Auch für den Flow Point \emph{LABTAR} sind zwei Wegpunkte für die Separation definiert. Die Separationskonfiguration für diesen Flow Point ist differenzierter und umfasst mehrere Zeiträume mit unterschiedlichen Zeiten. Rund 7,5 Stunden pro Tag gilt eine Separation von 5 Minuten, während ca. 1,5 Stunden eine zeitliche Separation von 3 Minuten gewährleistet werden soll. Das Histogramm zeigt dieses Verhalten mit den beiden größten Ausschlägen, 70\% der Separationszeiten liegen bei 5 Minuten und 10\% bei 3 Minuten.