# HG changeset patch # User Eugen Sawin # Date 1300970561 -3600 # Node ID 9e0a9a1296890bf4493d55ac88b87174696a9aca # Parent e5ed0efaddd9660ead7b5e8d2f696cb3e2addd77 Some improvs. diff -r e5ed0efaddd9 -r 9e0a9a129689 book/klappentext.txt --- a/book/klappentext.txt Thu Mar 24 01:11:45 2011 +0100 +++ b/book/klappentext.txt Thu Mar 24 13:42:41 2011 +0100 @@ -1,1 +1,1 @@ -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. +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. diff -r e5ed0efaddd9 -r 9e0a9a129689 book/out/buchblock.pdf Binary file book/out/buchblock.pdf has changed diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/abstract.tex --- a/book/src/abstract.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/abstract.tex Thu Mar 24 13:42:41 2011 +0100 @@ -1,5 +1,5 @@ \renewcommand\abstractname{Abstract} -\begin{abstract} +\begin{chapter} 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. 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. @@ -10,5 +10,5 @@ \includegraphics[width=15.5cm]{images/title_page.pdf} \caption[Luftverkehrsrouten]{Abstraktion der Luftverkehrsrouten ausgehend von den Vereinigten Arabischen Emiraten. \emph{Quelle (Weltkarte): Wikipedia}} \end{figure} -\end{abstract} +\end{chapter} diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/analysis.tex --- a/book/src/analysis.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/analysis.tex Thu Mar 24 13:42:41 2011 +0100 @@ -125,7 +125,7 @@ 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. \item \textbf{Keine globale Optimierung}\\ -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. +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. \item \textbf{Keine automatische Slot-Zeitenkorrektur}\\ 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. diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/design.tex --- a/book/src/design.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/design.tex Thu Mar 24 13:42:41 2011 +0100 @@ -52,7 +52,7 @@ \subsubsection{Datentypen und Konstanten} 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. -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.\\\\ +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.\\\\ 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.\\\\ ATCCL kennt folgende Datentypen: \begin{itemize} diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/document.aux --- a/book/src/document.aux Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/document.aux Thu Mar 24 13:42:41 2011 +0100 @@ -18,54 +18,54 @@ \@writefile{toc}{\select@language{ngerman}} \@writefile{lof}{\select@language{ngerman}} \@writefile{lot}{\select@language{ngerman}} -\@writefile{lof}{\contentsline {figure}{\numberline {0.1}{\ignorespaces Luftverkehrsrouten}}{2}{figure.0.1}} -\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{3}{chapter.1}} +\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{3}{section.1.1}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1}} +\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}} \citation{moderne_flugsicherung} \citation{moderne_flugsicherung} \citation{moderne_flugsicherung} -\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}} +\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{7}{section.2.1}} -\@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}} -\newlabel{fig:atfm_stats}{{2.1}{8}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}} -\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}} -\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{9}{section.2.3}} +\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{9}{section.2.1}} +\@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}} +\newlabel{fig:atfm_stats}{{\relax 2.1}{10}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}} +\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}} +\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{11}{section.2.3}} \citation{moderne_flugsicherung} -\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}} +\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}} -\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}} +\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}} +\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}} \citation{moderne_flugsicherung} -\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{12}{section*.3}} -\newlabel{grundlagen:routensystem}{{3.1.1}{12}{Routensystem\relax }{section*.3}{}} -\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}} -\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}} -\newlabel{research:time_separation}{{3.1.2}{13}{Längsstaffelung\relax }{section*.5}{}} -\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}} -\newlabel{research:flight_level_separation}{{3.1.2}{13}{Höhenstaffelung\relax }{section*.6}{}} -\@writefile{toc}{\contentsline {subsubsection}{Slot}{14}{section*.7}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}} -\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}} -\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{15}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1}} -\newlabel{fig:near_east}{{3.1}{15}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}} -\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}} -\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}} -\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}} +\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{14}{section*.3}} +\newlabel{grundlagen:routensystem}{{3.1.1}{14}{Routensystem\relax }{section*.3}{}} +\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}} +\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}} +\newlabel{research:time_separation}{{3.1.2}{15}{Längsstaffelung\relax }{section*.5}{}} +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}} +\newlabel{research:flight_level_separation}{{3.1.2}{15}{Höhenstaffelung\relax }{section*.6}{}} +\@writefile{toc}{\contentsline {subsubsection}{Slot}{16}{section*.7}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}} +\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}} +\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{17}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1}} +\newlabel{fig:near_east}{{\relax 3.1}{17}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}} +\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}} +\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}} +\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}} \citation{compilers} \citation{compilers} \citation{compilers} @@ -73,228 +73,228 @@ \citation{compilers} \citation{compilers} \citation{compilers} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2}} -\newlabel{fig:compiler}{{3.2}{20}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.3}} -\newlabel{fig:interpreter}{{3.3}{20}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{21}{figure.3.4}} -\newlabel{fig:hybrid_compiler}{{3.4}{21}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}} -\@writefile{toc}{\contentsline {subsubsection}{LLVM}{22}{section*.10}} -\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}} -\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}} -\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.2}} +\newlabel{fig:compiler}{{\relax 3.2}{22}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.3}} +\newlabel{fig:interpreter}{{\relax 3.3}{22}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{23}{figure.3.4}} +\newlabel{fig:hybrid_compiler}{{\relax 3.4}{23}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}} +\@writefile{toc}{\contentsline {subsubsection}{LLVM}{24}{section*.10}} +\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11}} +\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12}} +\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}} \citation{eurocontrol_dman} -\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}} +\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}} \citation{eurocontrol_dman} \citation{flugleiter_dman} \citation{flugleiter_dman} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}} -\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}} +\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}} +\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}} \citation{iec_61508} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}} -\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}} -\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{27}{section*.14}} +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}} +\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}} +\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{29}{section*.14}} \citation{icao_4444} \citation{icao_4444} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}} -\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{28}{section*.15}} -\@writefile{toc}{\contentsline {subsubsection}{Runway}{29}{section*.16}} -\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}} -\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{29}{section*.18}} -\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{29}{section*.19}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}} -\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{29}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}} -\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}} -\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}} -\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{31}{section.4.4}} -\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{32}{section.4.5}} +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}} +\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{30}{section*.15}} +\@writefile{toc}{\contentsline {subsubsection}{Runway}{31}{section*.16}} +\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}} +\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{31}{section*.18}} +\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{31}{section*.19}} +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}} +\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{31}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}} +\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}} +\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}} +\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{33}{section.4.4}} +\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{34}{section.4.5}} \citation{iec_61508} -\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}} +\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}} \citation{ebnf} -\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{34}{chapter.5}} +\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{34}{section.5.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{35}{subsection.5.1.1}} -\@writefile{toc}{\contentsline {subsubsection}{Notation}{35}{section*.20}} -\newlabel{EBNF Notation}{{5.1}{35}{EBNF Notation\relax }{lstlisting.5.1}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{35}{lstlisting.5.1}} -\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{36}{section*.21}} -\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{36}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{36}{lstlisting.5.2}} -\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{36}{section*.22}} -\newlabel{ATCCL EBNF Kommentare}{{5.3}{36}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{36}{lstlisting.5.3}} -\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{36}{section*.23}} -\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{37}{section*.24}} -\newlabel{ATCCL EBNF Bezeichner}{{5.4}{37}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{37}{lstlisting.5.4}} -\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{37}{section*.25}} -\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{37}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{37}{lstlisting.5.5}} -\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{38}{section*.26}} -\newlabel{ATCCL EBNF Datentypen}{{5.6}{38}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{38}{lstlisting.5.6}} -\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{39}{section*.27}} -\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{39}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{39}{lstlisting.5.7}} -\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{40}{section*.28}} -\newlabel{ATCCL EBNF Operatoren}{{5.8}{40}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{40}{lstlisting.5.8}} -\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{40}{section*.29}} -\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{41}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9}} -\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{41}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{41}{lstlisting.5.10}} -\newlabel{ATCCL EBNF Flow Point}{{5.11}{42}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{42}{lstlisting.5.11}} -\@writefile{toc}{\contentsline {subsubsection}{Programm}{42}{section*.30}} -\newlabel{ATCCL EBNF Konfiguration}{{5.12}{42}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{42}{lstlisting.5.12}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{42}{subsection.5.1.2}} -\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{42}{section*.31}} -\@writefile{toc}{\contentsline {subsubsection}{Code}{43}{section*.32}} -\newlabel{ATCCL Einfaches Beispiel}{{5.13}{43}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{43}{lstlisting.5.13}} -\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{43}{section*.33}} -\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{43}{section*.34}} -\@writefile{toc}{\contentsline {subsubsection}{Code}{44}{section*.35}} -\newlabel{ATCCL Komplexes Beispiel}{{5.14}{44}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{44}{lstlisting.5.14}} -\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{44}{section*.36}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{44}{subsection.5.1.3}} -\@writefile{lof}{\contentsline {figure}{\numberline {5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{45}{figure.5.1}} -\newlabel{fig:compile_process}{{5.1}{45}{Der Übersetzungsprozess\relax }{figure.5.1}{}} -\@writefile{toc}{\contentsline {subsubsection}{Scanner}{45}{section*.37}} +\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}} +\@writefile{toc}{\contentsline {subsubsection}{Notation}{38}{section*.20}} +\newlabel{EBNF Notation}{{5.1}{38}{EBNF Notation\relax }{lstlisting.5.1}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1}} +\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}} +\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{39}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2}} +\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{39}{section*.22}} +\newlabel{ATCCL EBNF Kommentare}{{5.3}{39}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3}} +\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{39}{section*.23}} +\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{40}{section*.24}} +\newlabel{ATCCL EBNF Bezeichner}{{5.4}{40}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4}} +\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}} +\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{40}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5}} +\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}} +\newlabel{ATCCL EBNF Datentypen}{{5.6}{41}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6}} +\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}} +\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{42}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7}} +\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{43}{section*.28}} +\newlabel{ATCCL EBNF Operatoren}{{5.8}{43}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}} +\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}} +\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{44}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{44}{lstlisting.5.9}} +\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{44}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}} +\newlabel{ATCCL EBNF Flow Point}{{5.11}{45}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11}} +\@writefile{toc}{\contentsline {subsubsection}{Programm}{45}{section*.30}} +\newlabel{ATCCL EBNF Konfiguration}{{5.12}{45}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{45}{subsection.5.1.2}} +\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{45}{section*.31}} +\@writefile{toc}{\contentsline {subsubsection}{Code}{46}{section*.32}} +\newlabel{ATCCL Einfaches Beispiel}{{5.13}{46}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}} +\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{46}{section*.33}} +\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{46}{section*.34}} +\@writefile{toc}{\contentsline {subsubsection}{Code}{47}{section*.35}} +\newlabel{ATCCL Komplexes Beispiel}{{5.14}{47}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}} +\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{47}{section*.36}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{47}{subsection.5.1.3}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}} +\newlabel{fig:compile_process}{{\relax 5.1}{48}{Der Übersetzungsprozess\relax }{figure.5.1}{}} +\@writefile{toc}{\contentsline {subsubsection}{Scanner}{48}{section*.37}} \citation{design_patterns} -\@writefile{toc}{\contentsline {subsubsection}{Parser}{46}{section*.38}} -\@writefile{toc}{\contentsline {subsubsection}{Synthese}{46}{section*.39}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{47}{subsection.5.1.4}} -\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{47}{section*.40}} -\newlabel{design:flight_plan}{{5.1.4}{47}{FlightPlan-Interface\relax }{section*.40}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{48}{figure.5.2}} -\newlabel{fig:virtual_machine_basic}{{5.2}{48}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{49}{subsection.5.1.5}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{50}{subsection.5.1.6}} -\newlabel{design:pattern_evaluation}{{5.1.6}{50}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}} -\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{50}{section*.41}} -\newlabel{ATCCL Pattern-Beispiel}{{5.15}{50}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{50}{lstlisting.5.15}} -\@writefile{lof}{\contentsline {figure}{\numberline {5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{52}{figure.5.3}} -\newlabel{fig:pattern_evaluation1}{{5.3}{52}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{52}{subsection.5.1.7}} -\newlabel{design:atot_calculation}{{5.1.7}{52}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}} -\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{53}{section*.42}} -\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{54}{algorithm.1}} -\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{55}{algorithm.2}} -\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{55}{section*.43}} -\@writefile{toc}{\contentsline {subsubsection}{Alternative}{56}{section*.44}} -\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{56}{section*.45}} +\@writefile{toc}{\contentsline {subsubsection}{Parser}{49}{section*.38}} +\@writefile{toc}{\contentsline {subsubsection}{Synthese}{49}{section*.39}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}} +\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{50}{section*.40}} +\newlabel{design:flight_plan}{{5.1.4}{50}{FlightPlan-Interface\relax }{section*.40}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{51}{figure.5.2}} +\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{51}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{53}{subsection.5.1.6}} +\newlabel{design:pattern_evaluation}{{5.1.6}{53}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}} +\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{53}{section*.41}} +\newlabel{ATCCL Pattern-Beispiel}{{5.15}{53}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{53}{lstlisting.5.15}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{55}{figure.5.3}} +\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{55}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}} +\newlabel{design:atot_calculation}{{5.1.7}{55}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}} +\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{56}{section*.42}} +\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{57}{algorithm.1}} +\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{58}{algorithm.2}} +\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}} +\@writefile{toc}{\contentsline {subsubsection}{Alternative}{59}{section*.44}} +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}} \citation{design_patterns} -\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{57}{section.5.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{57}{subsection.5.2.1}} -\@writefile{toc}{\contentsline {subsubsection}{Map}{57}{section*.46}} -\@writefile{toc}{\contentsline {subsubsection}{Notify}{58}{section*.47}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{59}{subsection.5.2.2}} +\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}} +\@writefile{toc}{\contentsline {subsubsection}{Map}{60}{section*.46}} +\@writefile{toc}{\contentsline {subsubsection}{Notify}{61}{section*.47}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}} \citation{flugleiter_dman} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{60}{subsection.5.2.3}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{63}{subsection.5.2.3}} \citation{iec_61508} \citation{iec_61508} \citation{iec_61508} -\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{62}{chapter.6}} +\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{62}{section.6.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{62}{subsection.6.1.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{63}{subsection.6.1.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{63}{subsection.6.1.3}} -\@writefile{lof}{\contentsline {figure}{\numberline {6.1}{\ignorespaces \texttt {StackVector}}}{64}{figure.6.1}} -\newlabel{uml:stack_vector}{{6.1}{64}{\texttt {StackVector}\relax }{figure.6.1}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{64}{subsection.6.1.4}} -\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{64}{section.6.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{64}{subsection.6.2.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{65}{subsection.6.2.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{65}{subsection.6.2.3}} -\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{65}{section.6.3}} -\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{65}{section.6.4}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{65}{subsection.6.4.1}} +\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{67}{figure.6.1}} +\newlabel{uml:stack_vector}{{\relax 6.1}{67}{\texttt {StackVector}\relax }{figure.6.1}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}} +\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}} +\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}} +\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1}} \citation{lex_paper} \citation{lex_yacc_guide} \citation{lex_paper} \citation{lex_yacc_guide} -\newlabel{flex_config1}{{6.1}{66}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{66}{lstlisting.6.1}} -\@writefile{lot}{\contentsline {table}{\numberline {6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{66}{table.6.1}} -\newlabel{flex_metazeichen}{{6.1}{66}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}} -\newlabel{flex_config2}{{6.2}{67}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{67}{lstlisting.6.2}} -\newlabel{flex_config3}{{6.3}{67}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{67}{lstlisting.6.3}} -\newlabel{flex_config4}{{6.4}{67}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{67}{lstlisting.6.4}} -\newlabel{flex_config5}{{6.5}{67}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{67}{lstlisting.6.5}} -\newlabel{flex_config6}{{6.6}{68}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{68}{lstlisting.6.6}} -\newlabel{flex_config7}{{6.7}{68}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{68}{lstlisting.6.7}} -\newlabel{flex_config8}{{6.8}{68}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{68}{lstlisting.6.8}} +\newlabel{flex_config1}{{6.1}{69}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1}} +\@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}} +\newlabel{flex_metazeichen}{{\relax 6.1}{69}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}} +\newlabel{flex_config2}{{6.2}{70}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2}} +\newlabel{flex_config3}{{6.3}{70}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3}} +\newlabel{flex_config4}{{6.4}{70}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4}} +\newlabel{flex_config5}{{6.5}{70}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5}} +\newlabel{flex_config6}{{6.6}{71}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{71}{lstlisting.6.6}} +\newlabel{flex_config7}{{6.7}{71}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7}} +\newlabel{flex_config8}{{6.8}{71}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{71}{lstlisting.6.8}} \citation{design_patterns} -\newlabel{flex_config9}{{6.9}{69}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{69}{lstlisting.6.9}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{69}{subsection.6.4.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{69}{subsection.6.4.3}} -\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{70}{section.6.5}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{70}{subsection.6.5.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{71}{subsection.6.5.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{71}{subsection.6.5.3}} -\newlabel{fig:dflow_displays}{{6.5.3}{71}{AWP\relax }{subsection.6.5.3}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{71}{figure.6.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{72}{subsection.6.5.4}} +\newlabel{flex_config9}{{6.9}{72}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}} +\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}} +\newlabel{fig:dflow_displays}{{6.5.3}{74}{AWP\relax }{subsection.6.5.3}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}} \citation{code_gen} -\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{73}{chapter.7}} +\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{73}{section.7.1}} -\@writefile{lot}{\contentsline {table}{\numberline {7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{73}{table.7.1}} -\newlabel{auto_gen_loc}{{7.1}{73}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}} -\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{74}{section.7.2}} -\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{74}{section.7.3}} -\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{75}{section.7.4}} -\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{75}{section.7.5}} -\newlabel{verification:efficiency}{{7.5}{75}{Effizienz\relax }{section.7.5}{}} -\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{76}{section.7.6}} -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{76}{subsection.7.6.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{77}{subsection.7.6.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{77}{subsection.7.6.3}} -\@writefile{lof}{\contentsline {figure}{\numberline {7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{78}{figure.7.1}} -\newlabel{fig:atot_etot_atd}{{7.1}{78}{Abflugzeitkonformität\relax }{figure.7.1}{}} -\@writefile{lof}{\contentsline {figure}{\numberline {7.2}{\ignorespaces Histogramm von Separationszeiten}}{79}{figure.7.2}} -\newlabel{fig:1figs}{{7.2}{79}{Histogramm von Separationszeiten\relax }{figure.7.2}{}} -\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{80}{chapter.8}} +\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}} +\@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1}} +\newlabel{auto_gen_loc}{{\relax 7.1}{77}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}} +\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}} +\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}} +\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}} +\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{79}{section.7.5}} +\newlabel{verification:efficiency}{{7.5}{79}{Effizienz\relax }{section.7.5}{}} +\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}} +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{81}{subsection.7.6.3}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1}} +\newlabel{fig:atot_etot_atd}{{\relax 7.1}{82}{Abflugzeitkonformität\relax }{figure.7.1}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2}} +\newlabel{fig:1figs}{{\relax 7.2}{83}{Histogramm von Separationszeiten\relax }{figure.7.2}{}} +\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{80}{section.8.1}} -\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{80}{section.8.2}} +\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}} +\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}} \citation{moderne_flugsicherung} \citation{compilers} \citation{compilers} @@ -317,25 +317,25 @@ \bibcite{icao_4444}{Org96} \bibcite{flex_manual}{PEM07} \bibcite{ebnf}{Wir77} -\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{87}{appendix.A}} +\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{87}{section.A.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{87}{subsection.A.1.1}} -\newlabel{uml:factories}{{A.1.1}{87}{Factory\relax }{subsection.A.1.1}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{87}{subsection.A.1.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{88}{subsection.A.1.3}} -\newlabel{uml:property}{{A.1.3}{88}{Property (Auszug)\relax }{subsection.A.1.3}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{88}{subsection.A.1.4}} -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{89}{subsection.A.1.5}} -\newlabel{uml:flight_plan_interface}{{A.1.5}{89}{Flight Plan Interface\relax }{subsection.A.1.5}{}} -\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{90}{appendix.B}} +\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}} +\newlabel{uml:factories}{{A.1.1}{95}{Factory\relax }{subsection.A.1.1}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}} +\newlabel{uml:property}{{A.1.3}{96}{Property (Auszug)\relax }{subsection.A.1.3}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}} +\newlabel{uml:flight_plan_interface}{{A.1.5}{97}{Flight Plan Interface\relax }{subsection.A.1.5}{}} +\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\newlabel{bison_config}{{B.1}{90}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{90}{lstlisting.B.1}} +\newlabel{bison_config}{{B.1}{99}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}} \global\@altsecnumformattrue diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/document.lof --- a/book/src/document.lof Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/document.lof Thu Mar 24 13:42:41 2011 +0100 @@ -1,24 +1,24 @@ \select@language {ngerman} -\contentsline {figure}{\numberline {0.1}{\ignorespaces Luftverkehrsrouten}}{2}{figure.0.1} \addvspace {10\p@ } +\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1} \addvspace {10\p@ } -\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} +\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} \addvspace {10\p@ } -\contentsline {figure}{\numberline {3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1} -\contentsline {figure}{\numberline {3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2} -\contentsline {figure}{\numberline {3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.3} -\contentsline {figure}{\numberline {3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{21}{figure.3.4} +\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1} +\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.2} +\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.3} +\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{23}{figure.3.4} \addvspace {10\p@ } \addvspace {10\p@ } -\contentsline {figure}{\numberline {5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{45}{figure.5.1} -\contentsline {figure}{\numberline {5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{48}{figure.5.2} -\contentsline {figure}{\numberline {5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{52}{figure.5.3} +\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1} +\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{51}{figure.5.2} +\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{55}{figure.5.3} \addvspace {10\p@ } -\contentsline {figure}{\numberline {6.1}{\ignorespaces \texttt {StackVector}}}{64}{figure.6.1} -\contentsline {figure}{\numberline {6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{71}{figure.6.2} +\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{67}{figure.6.1} +\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2} \addvspace {10\p@ } -\contentsline {figure}{\numberline {7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{78}{figure.7.1} -\contentsline {figure}{\numberline {7.2}{\ignorespaces Histogramm von Separationszeiten}}{79}{figure.7.2} +\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1} +\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2} \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/document.log --- a/book/src/document.log Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/document.log Thu Mar 24 13:42:41 2011 +0100 @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 24 MAR 2011 01:03 +This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 24 MAR 2011 13:41 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -8,8 +8,8 @@ Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, ngerman, german, german-x-2009-06-19, ngerman-x-2009-06-19, loaded. -(/usr/share/texmf-texlive/tex/latex/koma-script/scrreprt.cls -Document Class: scrreprt 2009/07/24 v3.04a KOMA-Script document class (report) +(/usr/share/texmf-texlive/tex/latex/koma-script/scrbook.cls +Document Class: scrbook 2009/07/24 v3.04a KOMA-Script document class (book) (/usr/share/texmf-texlive/tex/latex/koma-script/scrkbase.sty Package: scrkbase 2009/07/24 v3.04a KOMA-Script package (KOMA-Script-dependent basics and keyval usage) @@ -40,19 +40,13 @@ Package tocbasic Info: omitting babel extension for `lot' (tocbasic) because of feature `nobabel' available (tocbasic) for `lot' on input line 119. -Package scrreprt Info: You've used obsolete option `12pt'. -(scrreprt) \KOMAExecuteOptions{fontsize=12pt} will be -(scrreprt) used instead. -(scrreprt) You may simply replace `12pt' -(scrreprt) by `fontsize=12pt'. -Class scrreprt Info: You've used standard option `abstracton'. -(scrreprt) This is correct! -(scrreprt) Internaly I'm using `abstract=true'. -(scrreprt) If you'd like to set the option with \KOMAoptions, -(scrreprt) you'd have to use `abstract=true' there -(scrreprt) instead of `abstracton', too. -Class scrreprt Info: File `scrsize12pt.clo' used to setup font sizes on input l -ine 1271. +Package scrbook Info: You've used obsolete option `12pt'. +(scrbook) \KOMAExecuteOptions{fontsize=12pt} will be +(scrbook) used instead. +(scrbook) You may simply replace `12pt' +(scrbook) by `fontsize=12pt'. +Class scrbook Info: File `scrsize12pt.clo' used to setup font sizes on input li +ne 1272. (/usr/share/texmf-texlive/tex/latex/koma-script/scrsize12pt.clo File: scrsize12pt.clo 2009/07/24 v3.04a KOMA-Script font size class option (12p @@ -82,8 +76,8 @@ (typearea) \paperwidth = 597.50793pt (typearea) \textwidth = 448.13095pt (typearea) DIV departure = -6% -(typearea) \evensidemargin = 2.4185pt -(typearea) \oddsidemargin = 2.4185pt +(typearea) \evensidemargin = 27.31467pt +(typearea) \oddsidemargin = -22.47766pt (typearea) \paperheight = 845.04694pt (typearea) \textheight = 635.5pt (typearea) \topmargin = -41.72441pt @@ -856,12 +850,16 @@ \c@LT@chunks=\count135 \LT@p@ftn=\toks34 ) -Class scrreprt Info: longtable captions redefined on input line 60. +Class scrbook Info: longtable captions redefined on input line 60. \@indexfile=\write3 \openout3 = `document.idx'. Writing index file document.idx + +LaTeX Warning: Unused global option(s): + [abstracton]. + (./document.aux) \openout1 = `document.aux'. @@ -896,7 +894,7 @@ paper: a4paper landscape: -- twocolumn: -- -twoside: -- +twoside: true asymmetric: -- h-parts: 85.35826pt, 441.01773pt, 71.13188pt v-parts: 99.58464pt, 645.87756pt, 99.58464pt @@ -916,19 +914,19 @@ \textwidth 441.01773pt \textheight 645.87756pt \oddsidemargin 13.08827pt -\evensidemargin 13.08827pt +\evensidemargin -1.1381pt \topmargin -12.56035pt \headheight 18.125pt \headsep 21.75pt \footskip 50.75pt -\marginparwidth 49.79233pt +\marginparwidth 74.68849pt \marginparsep 12.8401pt \columnsep 10.0pt \skip\footins 10.8pt plus 4.0pt minus 2.0pt \hoffset 0.0pt \voffset 0.0pt \mag 1000 - +\@twosidetrue \@mparswitchtrue (1in=72.27pt, 1cm=28.45pt) ----------------------- (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii @@ -972,40 +970,24 @@ LaTeX Font Warning: Font shape `OT1/lmss/m/sc' in size <12> not available (Font) Font shape `OT1/lmr/m/sc' tried instead on input line 23. + +LaTeX Font Warning: Font shape `OT1/lmss/m/sc' in size <14.4> not available +(Font) Font shape `OT1/lmr/m/sc' tried instead on input line 23. + [1 -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) (./abstract.tex - -File: images/title_page.pdf Graphic file (type pdf) - - [2 - - - <./images/title_page.pdf>]) (./preface.tex -Kapitel 1. - -Class scrreprt Warning: \float@addtolists detected! -(scrreprt) You should use the features of package `tocbasic' -(scrreprt) instead of \float@addtolists. -(scrreprt) Support for \float@addtolists may be removed from -(scrreprt) `scrreprt' soon . - -) -Overfull \hbox (1.20625pt too wide) in paragraph at lines 7--73 -[]\OT1/lmr/m/n/12 Herr Hilt hat mich bei der Ent-wick-lung und Ein-ar-bei-tung -in die PRISMA-Architektur - [] - -[3 +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) [2 + ] (./document.toc -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 2. +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 2. LaTeX Font Info: Try loading font information for OML+lmm on input line 3. - (/usr/share/texmf/tex/latex/lm/omllmm.fd + +(/usr/share/texmf/tex/latex/lm/omllmm.fd File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern ) LaTeX Font Info: Try loading font information for OMS+lmsy on input line 3. @@ -1034,49 +1016,76 @@ (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd File: umsb.fd 2009/06/22 v3.00 AMS symbols B ) -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 4. -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 8. -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 34. - [4 - -] -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 52. -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 93. +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 4. +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 8. +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 34. + [3] +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 52. +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 93. LaTeX Font Info: Try loading font information for OT1+lmtt on input line 96. (/usr/share/texmf/tex/latex/lm/ot1lmtt.fd File: ot1lmtt.fd 2009/10/30 v1.6 Font defs for Latin Modern -) [5] -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 113. -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 123. -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 126. -Class scrreprt Info: You've told me to use the font selection of the element -(scrreprt) `sectioning' that is an alias of element `disposition' -(scrreprt) on input line 133. +) [4] +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 113. +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 123. +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 126. +Class scrbook Info: You've told me to use the font selection of the element +(scrbook) `sectioning' that is an alias of element `disposition' +(scrbook) on input line 133. LaTeX Font Info: Font shape `OT1/lmtt/bx/n' in size <12> not available (Font) Font shape `OT1/lmtt/b/n' tried instead on input line 133. ) \tf@toc=\write5 \openout5 = `document.toc'. - (./intro.tex [6] + (./preface.tex [5] [6 + + +] +Kapitel 1. + +Class scrbook Warning: \float@addtolists detected! +(scrbook) You should use the features of package `tocbasic' +(scrbook) instead of \float@addtolists. +(scrbook) Support for \float@addtolists may be removed from +(scrbook) `scrbook' soon . + + +File: images/title_page.pdf Graphic file (type pdf) + + +Underfull \hbox (badness 10000) in paragraph at lines 2--11 + + [] + + +Underfull \vbox (badness 6641) has occurred while \output is active [] + + [7 <./images/title_page.pdf>]) (./intro.tex +Overfull \hbox (1.20625pt too wide) in paragraph at lines 17--1 +[]\OT1/lmr/m/n/12 Herr Hilt hat mich bei der Ent-wick-lung und Ein-ar-bei-tung +in die PRISMA-Architektur + [] + +[8] Kapitel 2. Underfull \hbox (badness 10000) in paragraph at lines 6--15 @@ -1089,23 +1098,23 @@ (Font) <7> on input line 16. LaTeX Font Info: External font `lmex10' loaded for size (Font) <5> on input line 16. - + File: images/atfm_stats.pdf Graphic file (type pdf) LaTeX Warning: `h' float specifier changed to `ht'. -[7 +[9 + ] -Overfull \hbox (29.72864pt too wide) in paragraph at lines 29--32 -[]\OT1/lmr/m/n/12 Zur Mo-del-lie-rung der dy-na-mi-schen Luftraum-be-schr[]anku -ngen wird ei-ne dom[]anenspezifische +Underfull \hbox (badness 10000) in paragraph at lines 29--32 + [] -Underfull \hbox (badness 10000) in paragraph at lines 29--32 +Underfull \hbox (badness 10000) in paragraph at lines 34--39 [] @@ -1120,16 +1129,14 @@ [] -Underfull \hbox (badness 10000) in paragraph at lines 34--39 +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [10 <./images/atfm_stats.pdf>] +Underfull \hbox (badness 10000) in paragraph at lines 41--43 [] -[8 <./images/atfm_stats.pdf>] -Underfull \hbox (badness 10000) in paragraph at lines 41--43 - - [] - -[9]) (./research.tex [10] +[11]) (./research.tex [12] Kapitel 3. Underfull \hbox (badness 10000) in paragraph at lines 3--5 @@ -1153,7 +1160,8 @@ fek-ti-ve Ver-ga-be von Zust[]andigkeiten [] -[11 +[13 + ] Underfull \hbox (badness 2452) in paragraph at lines 13--13 @@ -1172,7 +1180,7 @@ [] -[12] +[14] Underfull \hbox (badness 10000) in paragraph at lines 30--32 [] @@ -1185,7 +1193,7 @@ [] -[13] +[15] Underfull \hbox (badness 10000) in paragraph at lines 45--47 [] @@ -1195,7 +1203,7 @@ [] -[14] +[16] File: images/near_east_problem.pdf Graphic file (type pdf) @@ -1203,7 +1211,7 @@ [] -[15 <./images/near_east_problem.pdf>] +[17 <./images/near_east_problem.pdf>] Overfull \hbox (0.4271pt too wide) in paragraph at lines 68--70 \OT1/lmr/m/n/12 Nicht al-le Rou-ten von ei-nem Weg-punkt m[]ussen []uber das re -strik-ti-ve Ge-biet f[]uhren. @@ -1214,17 +1222,17 @@ [] -[16] +[18] Underfull \hbox (badness 10000) in paragraph at lines 80--82 [] -[17] +[19] Underfull \hbox (badness 10000) in paragraph at lines 100--103 [] -[18] +[20] Underfull \hbox (badness 10000) in paragraph at lines 107--117 [] @@ -1244,11 +1252,11 @@ [] -[19] +[21] File: images/compiler.pdf Graphic file (type pdf) - + File: images/interpreter.pdf Graphic file (type pdf) @@ -1261,10 +1269,10 @@ [] - + File: images/hybrid_compiler.pdf Graphic file (type pdf) - [20 <./images/compiler.pdf> <./images/interpre + [22 <./images/compiler.pdf> <./images/interpre ter.pdf>] Underfull \hbox (badness 10000) in paragraph at lines 144--147 @@ -1276,7 +1284,7 @@ i-ler-ar-chi-tek-tur mit op-ti-mier-tem [] -[21 <./images/hybrid_compiler.pdf>] +[23 <./images/hybrid_compiler.pdf>] Overfull \hbox (4.55493pt too wide) in paragraph at lines 159--160 \OT1/lmr/m/n/12 Die Er-stel-lung der le-xi-ka-li-schen Ana-ly-se ist der ers-te Schritt in ei-ner Parser-Entwicklung. @@ -1287,22 +1295,22 @@ [] -[22] +[24] Underfull \hbox (badness 10000) in paragraph at lines 177--179 [] -[23] +[25] Underfull \hbox (badness 10000) in paragraph at lines 184--186 [] ) -Underfull \hbox (badness 10000) in paragraph at lines 188--77 +Underfull \hbox (badness 10000) in paragraph at lines 188--76 [] -(./analysis.tex [24] +(./analysis.tex [26] Kapitel 4. Underfull \hbox (badness 10000) in paragraph at lines 2--5 @@ -1314,7 +1322,8 @@ [] -[25 +[27 + ] Underfull \hbox (badness 10000) in paragraph at lines 16--21 @@ -1331,7 +1340,7 @@ [] -[26] +[28] Overfull \hbox (0.94504pt too wide) in paragraph at lines 31--32 \OT1/lmr/m/n/12 Kom-po-nen-te aus-ge-gan-gen. Wird das Zeit-li-mit wie-der-holt in Fol-ge []uberschritten, k[]onnen @@ -1342,23 +1351,23 @@ [] -[27] [28] +[29] [30] Underfull \hbox (badness 10000) in paragraph at lines 64--66 [] -[29] +[31] Underfull \hbox (badness 10000) in paragraph at lines 68--70 [] -[30] +[32] Overfull \hbox (2.5056pt too wide) in paragraph at lines 92--94 \OT1/lmr/m/n/12 Die Ab-flug-pla-nungs-kom-po-nen-te soll an-hand von Flug-pland -a-ten die op-ti-ma-le Flug- [] -[31] +[33] Overfull \hbox (23.27678pt too wide) in paragraph at lines 124--126 \OT1/lmr/m/n/12 zei-ten oder Start-bahn-be-le-gung bei der Be-stim-mung von Ab- flug-zei-ten \OT1/lmr/m/it/12 nicht \OT1/lmr/m/n/12 ber[]ucksich- @@ -1370,18 +1379,15 @@ s die-se De-tails ber[]ucksichtigen [] -[32] -Overfull \hbox (25.42291pt too wide) in paragraph at lines 127--129 -\OT1/lmr/m/n/12 nungs-vek-tor statt-fin-den. Solch ei-ne []Anderung kann z.B. d -urch ma-nu-el-le []Ubersteuerung +[34]) (./design.tex +Underfull \hbox (badness 10000) in paragraph at lines 137--1 + [] -) (./design.tex -Underfull \hbox (badness 10000) in paragraph at lines 137--1 - - [] - -[33] +[35] [36 + + +] Kapitel 5. Underfull \hbox (badness 10000) in paragraph at lines 2--4 @@ -1404,9 +1410,7 @@ [] -[34 - -] (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty +[37] (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty File: lstlang1.sty 2004/09/05 1.3 listings language file ) (/usr/share/texmf-texlive/tex/latex/listings/lstlang2.sty @@ -1457,7 +1461,7 @@ [] -[35] (./atccl_letters_digits.txt) +[38] (./atccl_letters_digits.txt) Underfull \hbox (badness 10000) in paragraph at lines 33--35 [] @@ -1472,7 +1476,7 @@ [] -[36] +[39] Underfull \hbox (badness 10000) in paragraph at lines 42--43 [] @@ -1482,13 +1486,7 @@ [] -(./atccl_keywords.txt) [37] -Overfull \hbox (17.68402pt too wide) in paragraph at lines 55--58 -\OT1/lmr/m/n/12 pen gel-ten ein-zel-ne Zei-chen, zu-sam-men-ge-setz-te Zei-chen --ket-ten (W[]orter) und die nat[]urlichen - [] - - +(./atccl_keywords.txt) [40] Underfull \hbox (badness 10000) in paragraph at lines 55--58 [] @@ -1514,7 +1512,7 @@ [] -[38] +[41] Underfull \hbox (badness 10000) in paragraph at lines 72--73 [] @@ -1524,7 +1522,7 @@ [] -[39] +[42] Underfull \hbox (badness 10000) in paragraph at lines 78--80 [] @@ -1539,7 +1537,7 @@ [] -[40] (./atccl_patterns.txt +[43] (./atccl_patterns.txt Overfull \hbox (3.12958pt too wide) in paragraph at lines 4--5 [][][][][][][][][][][][][][][][][][][][][] [] @@ -1569,17 +1567,17 @@ [] -[41] (./atccl_flowpoints.txt) +[44] (./atccl_flowpoints.txt) Underfull \hbox (badness 10000) in paragraph at lines 100--101 [] -(./atccl_config.txt) (./atccl_example1.txt [42] +(./atccl_config.txt) (./atccl_example1.txt [45] Overfull \hbox (31.3294pt too wide) in paragraph at lines 8--9 [][][][][][][][][][][][][][][][][][][][][][][][][][][][] [] -) [43] (./atccl_example2.txt +) [46] (./atccl_example2.txt Overfull \hbox (24.27945pt too wide) in paragraph at lines 2--4 [][][][][][][][][][][][][][][][][][][][][][][][] [] @@ -1604,7 +1602,7 @@ [] - + File: images/compile_process.pdf Graphic file (type pdf) @@ -1612,7 +1610,7 @@ [] -[44] +[47] Underfull \hbox (badness 10000) in paragraph at lines 141--143 [] @@ -1627,7 +1625,7 @@ [] -[45 <./images/compile_process.pdf>] +[48 <./images/compile_process.pdf>] Underfull \hbox (badness 10000) in paragraph at lines 150--153 [] @@ -1643,7 +1641,7 @@ [] -[46] +[49] File: images/virtual_machine_basic.pdf Graphic file (type pdf) @@ -1670,7 +1668,10 @@ [] -[47] [48 <./images/virtual_machine_basic.pdf>] +[50] +Underfull \vbox (badness 1502) has occurred while \output is active [] + + [51 <./images/virtual_machine_basic.pdf>] Underfull \hbox (badness 10000) in paragraph at lines 191--197 [] @@ -1701,7 +1702,7 @@ [] -[49] +[52] Underfull \hbox (badness 10000) in paragraph at lines 210--211 [] @@ -1716,7 +1717,7 @@ [] -[50] +[53] LaTeX Font Info: Try loading font information for OML+lmr on input line 220. (/usr/share/texmf/tex/latex/lm/omllmr.fd @@ -1724,8 +1725,8 @@ ) LaTeX Font Info: Font shape `OML/lmr/m/it' in size <12> not available (Font) Font shape `OML/lmm/m/it' tried instead on input line 220. - [51] - + [54] + File: images/pattern_evaluation.pdf Graphic file (type pdf) @@ -1733,7 +1734,7 @@ [] -[52 <./images/pattern_evaluation.pdf>] +[55 <./images/pattern_evaluation.pdf>] Underfull \hbox (badness 10000) in paragraph at lines 290--293 [] @@ -1750,12 +1751,15 @@ [] -[53] [54] +[56] [57] Underfull \hbox (badness 10000) in paragraph at lines 349--351 [] -[55] + +Underfull \vbox (badness 3803) has occurred while \output is active [] + + [58] Underfull \hbox (badness 10000) in paragraph at lines 353--356 [] @@ -1765,7 +1769,7 @@ [] -[56] +[59] Overfull \hbox (17.90411pt too wide) in paragraph at lines 360--362 []\OT1/lmr/bx/n/12 Benutzeranfrage zur op-ti-ma-len Abflugzeiten- und Flug-fl[] achenbestimmung @@ -1777,7 +1781,7 @@ z-trans-ak-tio-nen. M[]ogliche Trans- [] -[57] +[60] Underfull \hbox (badness 10000) in paragraph at lines 380--382 [] @@ -1794,7 +1798,7 @@ nen, die ei-ne DFLOW-Verarbeitung [] -[58] +[61] Overfull \hbox (0.27602pt too wide) in paragraph at lines 406--408 \OT1/lmr/m/n/12 Sobald al-le Flow Points be-kannt sind, wer-den al-le Ein-tr[]a ge im DFLOW-Datensatz @@ -1806,7 +1810,7 @@ i Flow Point-[]Uberschneidungen [] -[59] +[62] Overfull \hbox (9.24063pt too wide) in paragraph at lines 415--422 \OT1/lmr/m/n/12 f[]ur die Vi-sua-li-sie-rung der DFLOW-spezifischen Da-ten ist das DFLOW-Display zust[]andig. @@ -1822,7 +1826,7 @@ [] -[60]) (./impl.tex [61] +[63]) (./impl.tex [64] Kapitel 6. Underfull \hbox (badness 10000) in paragraph at lines 6--8 @@ -1834,7 +1838,8 @@ [] -[62 +[65 + ] LaTeX Font Info: Font shape `OT1/lmtt/bx/n' in size <14.4> not available @@ -1844,7 +1849,7 @@ [] - + File: images/stack_vector_uml.png Graphic file (type png) @@ -1855,7 +1860,11 @@ LaTeX Warning: `h' float specifier changed to `ht'. -[63] [64 <./images/stack_vector_uml.png (PNG copy)>] + +Underfull \vbox (badness 2426) has occurred while \output is active [] + + [66] +[67 <./images/stack_vector_uml.png (PNG copy)>] Underfull \hbox (badness 10000) in paragraph at lines 60--62 [] @@ -1865,7 +1874,7 @@ [] -[65] (./flex_config1.txt) +[68] (./flex_config1.txt) LaTeX Font Info: Try loading font information for OMS+lmtt on input line 70. LaTeX Font Info: No file OMSlmtt.fd. on input line 70. @@ -1884,7 +1893,7 @@ [] -(./flex_config2.txt [66]) +(./flex_config2.txt [69]) Underfull \hbox (badness 10000) in paragraph at lines 89--90 [] @@ -1899,7 +1908,7 @@ [] -(./flex_config5.txt [67]) +(./flex_config5.txt [70]) Underfull \hbox (badness 10000) in paragraph at lines 95--96 [] @@ -1914,7 +1923,7 @@ [] -(./flex_config8.txt) [68] +(./flex_config8.txt) [71] Underfull \hbox (badness 10000) in paragraph at lines 101--102 [] @@ -1936,38 +1945,36 @@ [] -[69] -Overfull \hbox (13.83064pt too wide) in paragraph at lines 121--122 +[72] +Overfull \hbox (1.75441pt too wide) in paragraph at lines 121--122 \OT1/lmr/m/n/12 Der No-de Ma-na-ger ist f[]ur die Kon-trol-le der Vi-ta-lit[]at - der ein-zel-nen PRISMA-Komponenten + der ein-zel-nen PRISMA-Komponen- [] -[70] + +Underfull \vbox (badness 4441) has occurred while \output is active [] + + [73] + File: images/dflow_displays_grey.png Graphic file (type png) - [71 <./images/dflow_displays_grey.png>]) + [74 <./images/dflow_displays_grey.png>]) (./verification.tex Underfull \hbox (badness 10000) in paragraph at lines 133--1 [] -[72] +[75] [76 + + +] Kapitel 7. Underfull \hbox (badness 10000) in paragraph at lines 3--24 [] -[73 - -] -Overfull \hbox (28.10417pt too wide) in paragraph at lines 28--30 -[]\OT1/lmr/m/n/12 Zu den kri-ti-schen Mo-du-len geh[]oren u.a. \OT1/lmtt/m/n/12 - VirtualMachine\OT1/lmr/m/n/12 , \OT1/lmtt/m/n/12 StackVector \OT1/lmr/m/n/12 u -nd \OT1/lmtt/m/n/12 TermFactory\OT1/lmr/m/n/12 . - [] - -[74] +[77] [78] Underfull \hbox (badness 10000) in paragraph at lines 38--40 [] @@ -1989,14 +1996,14 @@ [] -[75] [76] (./atot_etot_atd.tex - +[79] [80] (./atot_etot_atd.tex + File: atot_etot_atd.pdf Graphic file (type pdf) ) LaTeX Warning: `h' float specifier changed to `ht'. -(./laldo_hist.tex +(./laldo_hist.tex File: laldo_hist.pdf Graphic file (type pdf) ) @@ -2004,7 +2011,7 @@ [][] [] -(./labtar_hist.tex +(./labtar_hist.tex File: labtar_hist.pdf Graphic file (type pdf) ) @@ -2013,35 +2020,34 @@ [] -Overfull \hbox (27.24359pt too wide) in paragraph at lines 88--101 -\OT1/lmr/m/n/12 Eine wich-ti-ge An-mer-kung zur fol-gen-den Aus-wer-tung ist, d -ass die Se-pa-ra-ti-ons-be-schr[]ankungen +Underfull \hbox (badness 10000) in paragraph at lines 88--101 + [] - -Underfull \hbox (badness 10000) in paragraph at lines 88--101 +[81] + +LaTeX Warning: `h' float specifier changed to `ht'. + +[82 <./atot_etot_atd.pdf>]) (./conclusion.tex [83 <./laldo_hist.pdf> <./labtar_ +hist.pdf>] [84 + + +] +Kapitel 8. + +Underfull \hbox (badness 10000) in paragraph at lines 5--7 [] -[77] - -LaTeX Warning: `h' float specifier changed to `ht'. - -[78 <./atot_etot_atd.pdf>]) (./conclusion.tex [79 <./laldo_hist.pdf> <./labtar_ -hist.pdf>] -Kapitel 8. - -Underfull \hbox (badness 10000) in paragraph at lines 5--7 - - [] - -) [80 - -] [81] (./document.lof) +) [85] [86] (./document.lof) \tf@lof=\write6 \openout6 = `document.lof'. - [82 + [87 + + +] [88 + ] (./document.lot) \tf@lot=\write7 @@ -2049,82 +2055,110 @@ -Class scrreprt Warning: Usage of deprecated \float@listhead! -(scrreprt) You should use the features of package `tocbasic' -(scrreprt) instead of \float@listhead. -(scrreprt) Definition of \float@listhead my be removed from -(scrreprt) `scrreprt' soon, so it should not be used on input lin -e 85. - -[83 +Class scrbook Warning: Usage of deprecated \float@listhead! +(scrbook) You should use the features of package `tocbasic' +(scrbook) instead of \float@listhead. +(scrbook) Definition of \float@listhead my be removed from +(scrbook) `scrbook' soon, so it should not be used on input line +84. + +[89] [90 + ] (./document.lol) \tf@lol=\write8 \openout8 = `document.lol'. - (./document.bbl [84 - -] [85 - -]) (./appendix.tex [86] + (./document.bbl [91] [92 + + +] [93]) (./appendix.tex +[94] Anhang A. - + File: images/uml_factories.png Graphic file (type png) - + File: images/uml_terms.png Graphic file (type png) - + File: images/uml_property.png Graphic file (type png) LaTeX Warning: `h' float specifier changed to `ht'. - + File: images/uml_vm.png Graphic file (type png) LaTeX Warning: `h' float specifier changed to `ht'. -[87 +[95 + <./images/uml_factories.png (PNG copy)> <./images/uml_terms.png (PNG copy)>] < -images/uml_flight_plan.png, id=1900, 381.67593pt x 648.92438pt> +images/uml_flight_plan.png, id=1934, 381.67593pt x 648.92438pt> File: images/uml_flight_plan.png Graphic file (type png) LaTeX Warning: `h' float specifier changed to `ht'. -[88 <./images/uml_property.png (PNG copy)> <./images/uml_vm.png (PNG copy)>] -[89 <./images/uml_flight_plan.png (PNG copy)>] +[96 <./images/uml_property.png (PNG copy)> <./images/uml_vm.png (PNG copy)>] +[97 <./images/uml_flight_plan.png (PNG copy)>] [98 + + +] Anhang B. LaTeX Font Info: Font shape `OT1/lmtt/bx/n' in size <24.88> not available (Font) Font shape `OT1/lmtt/b/n' tried instead on input line 40. (./atccl.y LaTeX Font Info: Font shape `OML/lmr/m/n' in size <12> not available (Font) Font shape `OML/lmm/m/it' tried instead on input line 2. - [90 - -] [91] [92] [93] [94] [95] [96] [97])) [98] (./document.aux) + +Underfull \vbox (badness 1112) has occurred while \output is active [] + + [99] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [100] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [101] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [102] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [103] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [104] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [105] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [106])) +[107] (./document.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. ) Here is how much of TeX's memory you used: - 13166 strings out of 495021 - 186704 string characters out of 1181035 - 329107 words of memory out of 3000000 - 15160 multiletter control sequences out of 15000+50000 - 61611 words of font info for 65 fonts, out of 3000000 for 9000 + 13172 strings out of 495021 + 186649 string characters out of 1181035 + 329854 words of memory out of 3000000 + 15157 multiletter control sequences out of 15000+50000 + 67653 words of font info for 68 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 45i,11n,70p,1257b,2174s stack positions out of 5000i,500n,10000p,200000b,50000s -{/usr/share/texmf/fonts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/d -vips/lm/lm-rmtt.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/sh +{/usr/share/texmf/fonts/enc/dvips/lm/lm-rmtt.enc}{/usr/share/texmf/fonts/enc/ +dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/sh are/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm /lm-rm.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rmsc.enc} -Output written on document.pdf (98 pages, 1801584 bytes). +> +Output written on document.pdf (107 pages, 1865262 bytes). PDF statistics: - 2458 PDF objects out of 2487 (max. 8388607) - 802 named destinations out of 1000 (max. 500000) + 2505 PDF objects out of 2984 (max. 8388607) + 811 named destinations out of 1000 (max. 500000) 784 words of extra memory for PDF output out of 10000 (max. 10000000) diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/document.lol --- a/book/src/document.lol Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/document.lol Thu Mar 24 13:42:41 2011 +0100 @@ -3,33 +3,33 @@ \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } -\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{35}{lstlisting.5.1} -\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{36}{lstlisting.5.2} -\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{36}{lstlisting.5.3} -\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{37}{lstlisting.5.4} -\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{37}{lstlisting.5.5} -\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{38}{lstlisting.5.6} -\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{39}{lstlisting.5.7} -\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{40}{lstlisting.5.8} -\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9} -\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{41}{lstlisting.5.10} -\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{42}{lstlisting.5.11} -\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{42}{lstlisting.5.12} -\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{43}{lstlisting.5.13} -\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{44}{lstlisting.5.14} -\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{50}{lstlisting.5.15} +\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1} +\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2} +\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3} +\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4} +\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5} +\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6} +\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7} +\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8} +\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{44}{lstlisting.5.9} +\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10} +\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11} +\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12} +\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13} +\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14} +\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{53}{lstlisting.5.15} \addvspace {10\p@ } -\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{66}{lstlisting.6.1} -\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{67}{lstlisting.6.2} -\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{67}{lstlisting.6.3} -\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{67}{lstlisting.6.4} -\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{67}{lstlisting.6.5} -\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{68}{lstlisting.6.6} -\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{68}{lstlisting.6.7} -\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{68}{lstlisting.6.8} -\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{69}{lstlisting.6.9} +\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1} +\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2} +\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3} +\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4} +\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5} +\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{71}{lstlisting.6.6} +\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7} +\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{71}{lstlisting.6.8} +\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9} \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } -\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{90}{lstlisting.B.1} +\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1} diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/document.lot --- a/book/src/document.lot Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/document.lot Thu Mar 24 13:42:41 2011 +0100 @@ -5,9 +5,9 @@ \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } -\contentsline {table}{\numberline {6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{66}{table.6.1} +\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{69}{table.6.1} \addvspace {10\p@ } -\contentsline {table}{\numberline {7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{73}{table.7.1} +\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1} \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/document.pdf Binary file book/src/document.pdf has changed diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/document.tex --- a/book/src/document.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/document.tex Thu Mar 24 13:42:41 2011 +0100 @@ -1,4 +1,4 @@ -\documentclass[12pt, a4paper, abstracton]{scrreprt} +\documentclass[12pt, a4paper, abstracton]{scrbook}%{scrreprt} \usepackage[left=3cm, right=2.5cm, bottom=3.5cm, top=3.5cm]{geometry} \linespread{1.25} \usepackage[ngerman]{babel} @@ -66,11 +66,10 @@ %\newgeometry{left=3cm,right=3cm,bottom=1cm} \input{title} %\restoregeometry - +\tableofcontents %\pagenumbering{roman} -\input{abstract} +%\input{abstract} \input{preface} -\tableofcontents %\pagenumbering{arabic} \input{intro} \input{research} diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/document.toc --- a/book/src/document.toc Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/document.toc Thu Mar 24 13:42:41 2011 +0100 @@ -1,133 +1,133 @@ \select@language {ngerman} -\contentsline {chapter}{\numberline {1}Vorwort}{3}{chapter.1} -\contentsline {section}{\numberline {1.1}Danksagungen}{3}{section.1.1} -\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2} -\contentsline {section}{\numberline {2.1}Zielsetzung}{7}{section.2.1} -\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2} -\contentsline {section}{\numberline {2.3}Comsoft GmbH}{9}{section.2.3} -\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3} -\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1} -\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1} -\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2} -\contentsline {subsubsection}{Routensystem}{12}{section*.3} -\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4} -\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2} -\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5} -\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6} -\contentsline {subsubsection}{Slot}{14}{section*.7} -\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3} -\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8} -\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9} -\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2} -\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1} -\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3} -\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1} -\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2} -\contentsline {subsubsection}{LLVM}{22}{section*.10} -\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11} -\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12} -\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4} -\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5} -\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1} -\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2} -\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3} -\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4} -\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1} -\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1} -\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2} -\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13} -\contentsline {subsubsection}{Redundanz}{27}{section*.14} -\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3} -\contentsline {subsubsection}{Aerodrome}{28}{section*.15} -\contentsline {subsubsection}{Runway}{29}{section*.16} -\contentsline {subsubsection}{Aircraft Type}{29}{section*.17} -\contentsline {subsubsection}{Flight Type}{29}{section*.18} -\contentsline {subsubsection}{True Airspeed}{29}{section*.19} -\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4} -\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2} -\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3} -\contentsline {section}{\numberline {4.4}Sollkriterien}{31}{section.4.4} -\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{32}{section.4.5} -\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6} -\contentsline {chapter}{\numberline {5}Entwurf}{34}{chapter.5} -\contentsline {section}{\numberline {5.1}ATCCL}{34}{section.5.1} -\contentsline {subsection}{\numberline {5.1.1}Syntax}{35}{subsection.5.1.1} -\contentsline {subsubsection}{Notation}{35}{section*.20} -\contentsline {subsubsection}{Buchstaben und Ziffern}{36}{section*.21} -\contentsline {subsubsection}{Kommentare}{36}{section*.22} -\contentsline {subsubsection}{Terminatoren}{36}{section*.23} -\contentsline {subsubsection}{Bezeichner}{37}{section*.24} -\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{37}{section*.25} -\contentsline {subsubsection}{Datentypen und Konstanten}{38}{section*.26} -\contentsline {subsubsection}{Flugplaneigenschaften}{39}{section*.27} -\contentsline {subsubsection}{Operatoren}{40}{section*.28} -\contentsline {subsubsection}{Regeldefinitionen}{40}{section*.29} -\contentsline {subsubsection}{Programm}{42}{section*.30} -\contentsline {subsection}{\numberline {5.1.2}Beispiele}{42}{subsection.5.1.2} -\contentsline {subsubsection}{Zielstellung}{42}{section*.31} -\contentsline {subsubsection}{Code}{43}{section*.32} -\contentsline {subsubsection}{Bemerkungen}{43}{section*.33} -\contentsline {subsubsection}{Zielstellung}{43}{section*.34} -\contentsline {subsubsection}{Code}{44}{section*.35} -\contentsline {subsubsection}{Bemerkungen}{44}{section*.36} -\contentsline {subsection}{\numberline {5.1.3}Compiler}{44}{subsection.5.1.3} -\contentsline {subsubsection}{Scanner}{45}{section*.37} -\contentsline {subsubsection}{Parser}{46}{section*.38} -\contentsline {subsubsection}{Synthese}{46}{section*.39} -\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{47}{subsection.5.1.4} -\contentsline {subsubsection}{FlightPlan-Interface}{47}{section*.40} -\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{49}{subsection.5.1.5} -\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{50}{subsection.5.1.6} -\contentsline {subsubsection}{Beispiel}{50}{section*.41} -\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{52}{subsection.5.1.7} -\contentsline {subsubsection}{Algorithmus}{53}{section*.42} -\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{55}{section*.43} -\contentsline {subsubsection}{Alternative}{56}{section*.44} -\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{56}{section*.45} -\contentsline {section}{\numberline {5.2}DFLOW}{57}{section.5.2} -\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{57}{subsection.5.2.1} -\contentsline {subsubsection}{Map}{57}{section*.46} -\contentsline {subsubsection}{Notify}{58}{section*.47} -\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{59}{subsection.5.2.2} -\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{60}{subsection.5.2.3} -\contentsline {chapter}{\numberline {6}Realisierung}{62}{chapter.6} -\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{62}{section.6.1} -\contentsline {subsection}{\numberline {6.1.1}Compiler}{62}{subsection.6.1.1} -\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{63}{subsection.6.1.2} -\contentsline {subsection}{\numberline {6.1.3}CppUnit}{63}{subsection.6.1.3} -\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{64}{subsection.6.1.4} -\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{64}{section.6.2} -\contentsline {subsection}{\numberline {6.2.1}IDE}{64}{subsection.6.2.1} -\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{65}{subsection.6.2.2} -\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{65}{subsection.6.2.3} -\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{65}{section.6.3} -\contentsline {section}{\numberline {6.4}ATCCL}{65}{section.6.4} -\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{65}{subsection.6.4.1} -\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{69}{subsection.6.4.2} -\contentsline {subsection}{\numberline {6.4.3}Synthese}{69}{subsection.6.4.3} -\contentsline {section}{\numberline {6.5}DFLOW}{70}{section.6.5} -\contentsline {subsection}{\numberline {6.5.1}FDPS}{70}{subsection.6.5.1} -\contentsline {subsection}{\numberline {6.5.2}Node Manager}{71}{subsection.6.5.2} -\contentsline {subsection}{\numberline {6.5.3}AWP}{71}{subsection.6.5.3} -\contentsline {subsection}{\numberline {6.5.4}CWP}{72}{subsection.6.5.4} -\contentsline {chapter}{\numberline {7}Verifikation}{73}{chapter.7} -\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{73}{section.7.1} -\contentsline {section}{\numberline {7.2}Unit-Tests}{74}{section.7.2} -\contentsline {section}{\numberline {7.3}Testspezifikation}{74}{section.7.3} -\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{75}{section.7.4} -\contentsline {section}{\numberline {7.5}Effizienz}{75}{section.7.5} -\contentsline {section}{\numberline {7.6}Leistungsanalyse}{76}{section.7.6} -\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{76}{subsection.7.6.1} -\contentsline {subsection}{\numberline {7.6.2}Datensatz}{77}{subsection.7.6.2} -\contentsline {subsection}{\numberline {7.6.3}Auswertung}{77}{subsection.7.6.3} -\contentsline {chapter}{\numberline {8}Zusammenfassung}{80}{chapter.8} -\contentsline {section}{\numberline {8.1}Fazit}{80}{section.8.1} -\contentsline {section}{\numberline {8.2}Ausblick}{80}{section.8.2} -\contentsline {chapter}{\numberline {A}Feinentwurf}{87}{appendix.A} -\contentsline {section}{\numberline {A.1}ATCCL}{87}{section.A.1} -\contentsline {subsection}{\numberline {A.1.1}Factory}{87}{subsection.A.1.1} -\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{87}{subsection.A.1.2} -\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{88}{subsection.A.1.3} -\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{88}{subsection.A.1.4} -\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{89}{subsection.A.1.5} -\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{90}{appendix.B} +\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1} +\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1} +\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2} +\contentsline {section}{\numberline {2.1}Zielsetzung}{9}{section.2.1} +\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2} +\contentsline {section}{\numberline {2.3}Comsoft GmbH}{11}{section.2.3} +\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3} +\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1} +\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1} +\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2} +\contentsline {subsubsection}{Routensystem}{14}{section*.3} +\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4} +\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2} +\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5} +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6} +\contentsline {subsubsection}{Slot}{16}{section*.7} +\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3} +\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8} +\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9} +\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2} +\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1} +\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3} +\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1} +\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2} +\contentsline {subsubsection}{LLVM}{24}{section*.10} +\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11} +\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12} +\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4} +\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5} +\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1} +\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2} +\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3} +\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4} +\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1} +\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1} +\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2} +\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13} +\contentsline {subsubsection}{Redundanz}{29}{section*.14} +\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3} +\contentsline {subsubsection}{Aerodrome}{30}{section*.15} +\contentsline {subsubsection}{Runway}{31}{section*.16} +\contentsline {subsubsection}{Aircraft Type}{31}{section*.17} +\contentsline {subsubsection}{Flight Type}{31}{section*.18} +\contentsline {subsubsection}{True Airspeed}{31}{section*.19} +\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4} +\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2} +\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3} +\contentsline {section}{\numberline {4.4}Sollkriterien}{33}{section.4.4} +\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{34}{section.4.5} +\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6} +\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5} +\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1} +\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1} +\contentsline {subsubsection}{Notation}{38}{section*.20} +\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21} +\contentsline {subsubsection}{Kommentare}{39}{section*.22} +\contentsline {subsubsection}{Terminatoren}{39}{section*.23} +\contentsline {subsubsection}{Bezeichner}{40}{section*.24} +\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25} +\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26} +\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27} +\contentsline {subsubsection}{Operatoren}{43}{section*.28} +\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29} +\contentsline {subsubsection}{Programm}{45}{section*.30} +\contentsline {subsection}{\numberline {5.1.2}Beispiele}{45}{subsection.5.1.2} +\contentsline {subsubsection}{Zielstellung}{45}{section*.31} +\contentsline {subsubsection}{Code}{46}{section*.32} +\contentsline {subsubsection}{Bemerkungen}{46}{section*.33} +\contentsline {subsubsection}{Zielstellung}{46}{section*.34} +\contentsline {subsubsection}{Code}{47}{section*.35} +\contentsline {subsubsection}{Bemerkungen}{47}{section*.36} +\contentsline {subsection}{\numberline {5.1.3}Compiler}{47}{subsection.5.1.3} +\contentsline {subsubsection}{Scanner}{48}{section*.37} +\contentsline {subsubsection}{Parser}{49}{section*.38} +\contentsline {subsubsection}{Synthese}{49}{section*.39} +\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4} +\contentsline {subsubsection}{FlightPlan-Interface}{50}{section*.40} +\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5} +\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{53}{subsection.5.1.6} +\contentsline {subsubsection}{Beispiel}{53}{section*.41} +\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7} +\contentsline {subsubsection}{Algorithmus}{56}{section*.42} +\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43} +\contentsline {subsubsection}{Alternative}{59}{section*.44} +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45} +\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2} +\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1} +\contentsline {subsubsection}{Map}{60}{section*.46} +\contentsline {subsubsection}{Notify}{61}{section*.47} +\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2} +\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{63}{subsection.5.2.3} +\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6} +\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1} +\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1} +\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2} +\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3} +\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4} +\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2} +\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1} +\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2} +\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3} +\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3} +\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4} +\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1} +\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2} +\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3} +\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5} +\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1} +\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2} +\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3} +\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4} +\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7} +\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1} +\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2} +\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3} +\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4} +\contentsline {section}{\numberline {7.5}Effizienz}{79}{section.7.5} +\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6} +\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1} +\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2} +\contentsline {subsection}{\numberline {7.6.3}Auswertung}{81}{subsection.7.6.3} +\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8} +\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1} +\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2} +\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A} +\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1} +\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1} +\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2} +\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3} +\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4} +\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5} +\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B} diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/impl.tex --- a/book/src/impl.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/impl.tex Thu Mar 24 13:42:41 2011 +0100 @@ -118,7 +118,7 @@ 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. \subsection{Node Manager} -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. +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. \subsection{AWP} 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. diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/intro.tex --- a/book/src/intro.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/intro.tex Thu Mar 24 13:42:41 2011 +0100 @@ -26,7 +26,7 @@ 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. -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.\\\\ +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.\\\\ Das erste Ziel der Arbeit war es, eine Modellierungssprache für den Bereich des Verkehrsflussmanagements und der allgemeinen Flugsicherung zu erstellen. 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. diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/preface.tex --- a/book/src/preface.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/preface.tex Thu Mar 24 13:42:41 2011 +0100 @@ -1,6 +1,16 @@ \chapter{Vorwort} +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.\\\\ +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. +Die Arbeit beschreibt die Phasen eines Projekts im Bereich Flugsicherung von der Anforderungsanalyse bis zum operativen Betrieb bei dem Kunden. +%\vspace{100pt} +\begin{figure}[h] +\centering +\includegraphics[width=15.5cm]{images/title_page.pdf} +\caption[Luftverkehrsrouten]{Abstraktion der Luftverkehrsrouten ausgehend von den Vereinigten Arabischen Emiraten. \emph{Quelle (Weltkarte): Wikipedia}} +\end{figure} + \section{Danksagungen} -Als Erstes danke ich Herrn Pitz, als Leiter der Abteilung Centre Solutions hat er mir die Arbeit an diesem Kundenprojekt ermöglicht. +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. 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. diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/title.tex --- a/book/src/title.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/title.tex Thu Mar 24 13:42:41 2011 +0100 @@ -15,12 +15,12 @@ %\LARGE \textrm{\textbf{Entwicklung einer Modellierungssprache und Planungskomponente zur Luftverkehrsoptimierung}}\\ %\LARGE \textrm{\textbf{Optimierte Abflugplanung durch Modellierung von Luftraumbeschränkungen}}\\ %\LARGE \textrm{\textbf{Air Traffic Flow Management in den Vereinigten Arabischen Emirate}}\\ -\textsc{\LARGE {\textmd{{Verkehrsflussregelung in der Flugsicherung}}}}\\ +{\textsc{\huge {\textmd{{Verkehrsflussregelung in der Flugsicherung}}}}}\\ %\textsc{\LARGE {\textmd{{Air Traffic Flow Management in den Vereinigten Arabischen Emiraten}}}}\\ %\LARGE \textrm{\textbf{Flexible Modeling of Dynamic Air Traffic Flow Restrictions and its Application in Departure Flow Optimisation}}\\ \vspace{20pt} %\textsc{\large \textsf{{Modellierung von Luftraumbeschränkungen und Optimierung der Abflugplanung}}}\\ -\textsc{\textsf{{Ein Projekt zur Optimierung der Abflugplanung in den Vereinigten Arabischen Emiraten}}}\\ +\textsc{\textsf{\large {Ein Projekt zur Optimierung der Abflugplanung in den Vereinigten Arabischen Emiraten}}}\\ \vspace{150pt} \textsc{\textsf{Eugen Sawin}}\\ \end{center} diff -r e5ed0efaddd9 -r 9e0a9a129689 book/src/verification.tex --- a/book/src/verification.tex Thu Mar 24 01:11:45 2011 +0100 +++ b/book/src/verification.tex Thu Mar 24 13:42:41 2011 +0100 @@ -25,7 +25,7 @@ \section{Unit-Tests} 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. -Zu den kritischen Modulen gehören u.a. \texttt{VirtualMachine}, \texttt{StackVector} und \texttt{TermFactory}. +Zu den kritischen Modulen gehören u.a. \texttt{VirtualMachine}, \texttt{StackVector} und \newline \texttt{TermFactory}. 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. \section{Testspezifikation} @@ -96,7 +96,7 @@ \caption[Histogramm von Separationszeiten]{Histogramm von den Separationszeiten an zwei verschiedenen Flow Points. Links: \emph{LALDO}, rechts: \emph{LABTAR}}% \label{fig:1figs}% \end{figure}\\ -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.\\\\ +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.\\\\ 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. 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.