# HG changeset patch # User Eugen Sawin # Date 1301499876 -7200 # Node ID a4c2e7afc4d88287cc81e0caa36a3e1228a3b8bf # Parent a25ebfdd39f76cfb16a1f32c30c028c8b87fa70b Removed title page. diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/out/buchblock.pdf Binary file book/out/buchblock.pdf has changed diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/src/document.aux --- a/book/src/document.aux Wed Mar 30 15:52:38 2011 +0200 +++ b/book/src/document.aux Wed Mar 30 17:44:36 2011 +0200 @@ -18,54 +18,54 @@ \@writefile{toc}{\select@language{ngerman}} \@writefile{lof}{\select@language{ngerman}} \@writefile{lot}{\select@language{ngerman}} -\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}} +\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{5}{chapter.1}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@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}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{5}{figure.1.1}} +\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{6}{section.1.1}} \citation{moderne_flugsicherung} \citation{moderne_flugsicherung} \citation{moderne_flugsicherung} -\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}} +\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \@writefile{lol}{\addvspace {10\p@ }} \@writefile{loa}{\addvspace {10\p@ }} -\@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.1}Zielsetzung}{10}{section.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}{12}{section.2.3}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}}}{8}{figure.2.1}} +\newlabel{fig:atfm_stats}{{\relax 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.1}Zielsetzung}{8}{section.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}{10}{section.2.3}} \citation{moderne_flugsicherung} -\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}} +\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{11}{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}{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}} +\@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}} \citation{moderne_flugsicherung} -\@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}} +\@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 {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1}} +\newlabel{fig:near_east}{{\relax 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}} \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}{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}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2}} +\newlabel{fig:compiler}{{\relax 3.2}{20}{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}}}}{20}{figure.3.3}} +\newlabel{fig:interpreter}{{\relax 3.3}{20}{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}}}}{21}{figure.3.4}} +\newlabel{fig:hybrid_compiler}{{\relax 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}} \citation{eurocontrol_dman} -\@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}} +\@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}} \citation{eurocontrol_dman} \citation{flugleiter_dman} \citation{flugleiter_dman} -\@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{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{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}{27}{section.4.1}} +\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}} \citation{iec_61508} -\@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}} +\@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}} \citation{icao_4444} \citation{icao_4444} -\@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}{34}{section.4.4}} +\@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}{32}{section.4.4}} \citation{iec_61508} -\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{35}{section.4.5}} -\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}} +\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{33}{section.4.5}} +\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}} \citation{ebnf} -\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}} +\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{35}{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}{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}{43}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{43}{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}{46}{subsection.5.1.2}} -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Zielstellung}{46}{section*.31}} -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: 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}{Bsp. 1: Bemerkungen}{46}{section*.33}} -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Zielstellung}{47}{section*.34}} -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: 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}{Bsp. 2: Bemerkungen}{47}{section*.36}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{48}{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 {section}{\numberline {5.1}ATCCL}{35}{section.5.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{36}{subsection.5.1.1}} +\@writefile{toc}{\contentsline {subsubsection}{Notation}{36}{section*.20}} +\newlabel{EBNF Notation}{{5.1}{36}{EBNF Notation\relax }{lstlisting.5.1}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{36}{lstlisting.5.1}} +\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{37}{section*.21}} +\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{37}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{37}{lstlisting.5.2}} +\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{37}{section*.22}} +\newlabel{ATCCL EBNF Kommentare}{{5.3}{37}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{37}{lstlisting.5.3}} +\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{37}{section*.23}} +\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{38}{section*.24}} +\newlabel{ATCCL EBNF Bezeichner}{{5.4}{38}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{38}{lstlisting.5.4}} +\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{38}{section*.25}} +\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{38}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{38}{lstlisting.5.5}} +\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{39}{section*.26}} +\newlabel{ATCCL EBNF Datentypen}{{5.6}{39}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{39}{lstlisting.5.6}} +\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{40}{section*.27}} +\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{40}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{40}{lstlisting.5.7}} +\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{41}{section*.28}} +\newlabel{ATCCL EBNF Operatoren}{{5.8}{41}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{41}{lstlisting.5.8}} +\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{41}{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}{42}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{42}{lstlisting.5.10}} +\newlabel{ATCCL EBNF Flow Point}{{5.11}{43}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{43}{lstlisting.5.11}} +\@writefile{toc}{\contentsline {subsubsection}{Programm}{43}{section*.30}} +\newlabel{ATCCL EBNF Konfiguration}{{5.12}{43}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{43}{lstlisting.5.12}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{44}{subsection.5.1.2}} +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Zielstellung}{44}{section*.31}} +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Code}{44}{section*.32}} +\newlabel{ATCCL Einfaches Beispiel}{{5.13}{44}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{44}{lstlisting.5.13}} +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{44}{section*.33}} +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Zielstellung}{45}{section*.34}} +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Code}{45}{section*.35}} +\newlabel{ATCCL Komplexes Beispiel}{{5.14}{45}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{45}{lstlisting.5.14}} +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{45}{section*.36}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{46}{subsection.5.1.3}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{46}{figure.5.1}} +\newlabel{fig:compile_process}{{\relax 5.1}{46}{Der Übersetzungsprozess\relax }{figure.5.1}{}} \citation{design_patterns} -\@writefile{toc}{\contentsline {subsubsection}{Scanner}{49}{section*.37}} -\@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{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 {subsubsection}{FlightPlan-Interface}{51}{section*.40}} -\newlabel{design:flight_plan}{{5.1.4}{51}{FlightPlan-Interface\relax }{section*.40}{}} -\@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}{54}{subsection.5.1.6}} -\newlabel{design:pattern_evaluation}{{5.1.6}{54}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}} -\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{54}{section*.41}} -\newlabel{ATCCL Pattern-Beispiel}{{5.15}{54}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{54}{lstlisting.5.15}} -\@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{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{56}{figure.5.3}} -\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{56}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}} -\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{57}{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}} -\@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}{Scanner}{47}{section*.37}} +\@writefile{toc}{\contentsline {subsubsection}{Parser}{47}{section*.38}} +\@writefile{toc}{\contentsline {subsubsection}{Synthese}{47}{section*.39}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{48}{subsection.5.1.4}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{49}{figure.5.2}} +\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{49}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}} +\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{49}{section*.40}} +\newlabel{design:flight_plan}{{5.1.4}{49}{FlightPlan-Interface\relax }{section*.40}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{50}{subsection.5.1.5}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{52}{subsection.5.1.6}} +\newlabel{design:pattern_evaluation}{{5.1.6}{52}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}} +\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{52}{section*.41}} +\newlabel{ATCCL Pattern-Beispiel}{{5.15}{52}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{52}{lstlisting.5.15}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{53}{subsection.5.1.7}} +\newlabel{design:atot_calculation}{{5.1.7}{53}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{54}{figure.5.3}} +\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{54}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}} +\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{55}{section*.42}} +\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{55}{algorithm.1}} +\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{56}{algorithm.2}} +\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{56}{section*.43}} +\@writefile{toc}{\contentsline {subsubsection}{Alternative}{57}{section*.44}} +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{57}{section*.45}} +\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{58}{section.5.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{58}{subsection.5.2.1}} \citation{design_patterns} -\@writefile{toc}{\contentsline {subsubsection}{Map}{61}{section*.46}} -\@writefile{toc}{\contentsline {subsubsection}{Notify}{61}{section*.47}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}} +\@writefile{toc}{\contentsline {subsubsection}{Map}{59}{section*.46}} +\@writefile{toc}{\contentsline {subsubsection}{Notify}{59}{section*.47}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{60}{subsection.5.2.2}} \citation{flugleiter_dman} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{64}{subsection.5.2.3}} +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{62}{subsection.5.2.3}} \citation{iec_61508} \citation{iec_61508} \citation{iec_61508} -\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}} +\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{63}{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}{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}} +\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{63}{section.6.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{63}{subsection.6.1.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{64}{subsection.6.1.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{64}{subsection.6.1.3}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{65}{figure.6.1}} +\newlabel{uml:stack_vector}{{\relax 6.1}{65}{\texttt {StackVector}\relax }{figure.6.1}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{65}{subsection.6.1.4}} +\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{65}{section.6.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{65}{subsection.6.2.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{66}{subsection.6.2.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{66}{subsection.6.2.3}} +\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{66}{section.6.3}} +\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{66}{section.6.4}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{66}{subsection.6.4.1}} \citation{lex_paper} \citation{lex_yacc_guide} \citation{lex_paper} \citation{lex_yacc_guide} -\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_config1}{{6.1}{67}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{67}{lstlisting.6.1}} +\@writefile{lot}{\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{67}{table.6.1}} +\newlabel{flex_metazeichen}{{\relax 6.1}{67}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}} +\newlabel{flex_config2}{{6.2}{68}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{68}{lstlisting.6.2}} +\newlabel{flex_config3}{{6.3}{68}{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}{68}{lstlisting.6.3}} +\newlabel{flex_config4}{{6.4}{68}{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}{68}{lstlisting.6.4}} +\newlabel{flex_config5}{{6.5}{68}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{68}{lstlisting.6.5}} +\newlabel{flex_config6}{{6.6}{69}{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}{69}{lstlisting.6.6}} +\newlabel{flex_config7}{{6.7}{69}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{69}{lstlisting.6.7}} \citation{design_patterns} -\newlabel{flex_config8}{{6.8}{72}{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}{72}{lstlisting.6.8}} -\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}} +\newlabel{flex_config8}{{6.8}{70}{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}{70}{lstlisting.6.8}} +\newlabel{flex_config9}{{6.9}{70}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{70}{lstlisting.6.9}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{70}{subsection.6.4.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{70}{subsection.6.4.3}} +\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{71}{section.6.5}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{71}{subsection.6.5.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{72}{subsection.6.5.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{72}{subsection.6.5.3}} +\newlabel{fig:dflow_displays}{{6.5.3}{72}{AWP\relax }{subsection.6.5.3}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{72}{figure.6.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{73}{subsection.6.5.4}} \citation{code_gen} -\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}} +\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{75}{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}{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}{80}{section.7.5}} -\newlabel{verification:efficiency}{{7.5}{80}{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}{82}{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{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{75}{section.7.1}} +\@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{75}{table.7.1}} +\newlabel{auto_gen_loc}{{\relax 7.1}{75}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}} +\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{76}{section.7.2}} +\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{76}{section.7.3}} +\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{77}{section.7.4}} +\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{78}{section.7.5}} +\newlabel{verification:efficiency}{{7.5}{78}{Effizienz\relax }{section.7.5}{}} +\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{78}{section.7.6}} +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{78}{subsection.7.6.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{79}{subsection.7.6.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{80}{subsection.7.6.3}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{80}{figure.7.1}} +\newlabel{fig:atot_etot_atd}{{\relax 7.1}{80}{Abflugzeitkonformität\relax }{figure.7.1}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{81}{figure.7.2}} +\newlabel{fig:1figs}{{\relax 7.2}{81}{Histogramm von Separationszeiten\relax }{figure.7.2}{}} +\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{83}{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}{85}{section.8.1}} -\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}} +\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{83}{section.8.1}} +\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{83}{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}{95}{appendix.A}} +\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{93}{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}{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{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{93}{section.A.1}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{93}{subsection.A.1.1}} +\newlabel{uml:factories}{{A.1.1}{93}{Factory\relax }{subsection.A.1.1}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{93}{subsection.A.1.2}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{94}{subsection.A.1.3}} +\newlabel{uml:property}{{A.1.3}{94}{Property (Auszug)\relax }{subsection.A.1.3}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{94}{subsection.A.1.4}} +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{95}{subsection.A.1.5}} +\newlabel{uml:flight_plan_interface}{{A.1.5}{95}{Flight Plan Interface\relax }{subsection.A.1.5}{}} +\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{97}{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}{99}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}} +\newlabel{bison_config}{{B.1}{97}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{97}{lstlisting.B.1}} \global\@altsecnumformattrue diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/src/document.lof --- a/book/src/document.lof Wed Mar 30 15:52:38 2011 +0200 +++ b/book/src/document.lof Wed Mar 30 17:44:36 2011 +0200 @@ -1,24 +1,24 @@ \select@language {ngerman} \addvspace {10\p@ } -\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1} +\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{5}{figure.1.1} \addvspace {10\p@ } -\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} +\contentsline {figure}{\numberline {\relax 2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}}}{8}{figure.2.1} \addvspace {10\p@ } -\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} +\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1} +\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2} +\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.3} +\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{21}{figure.3.4} \addvspace {10\p@ } \addvspace {10\p@ } -\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}}{56}{figure.5.3} +\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{46}{figure.5.1} +\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{49}{figure.5.2} +\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{54}{figure.5.3} \addvspace {10\p@ } -\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} +\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{65}{figure.6.1} +\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{72}{figure.6.2} \addvspace {10\p@ } -\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} +\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{80}{figure.7.1} +\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{81}{figure.7.2} \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/src/document.log --- a/book/src/document.log Wed Mar 30 15:52:38 2011 +0200 +++ b/book/src/document.log Wed Mar 30 17:44:36 2011 +0200 @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 30 MAR 2011 15:34 +This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 30 MAR 2011 17:43 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -960,28 +960,11 @@ \openout4 = `document.out'. \AtBeginShipoutBox=\box38 - (./title.tex -LaTeX Font Info: Try loading font information for OT1+lmss on input line 24. +LaTeX Font Info: Try loading font information for OT1+lmss on input line 68. (/usr/share/texmf/tex/latex/lm/ot1lmss.fd File: ot1lmss.fd 2009/10/30 v1.6 Font defs for Latin Modern -) - -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 24. - - -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 24. - -[1 - - - -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) [2 - - -] (./document.toc +) (./document.toc 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. @@ -1025,7 +1008,11 @@ 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] + [1 + + + +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] 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. @@ -1034,10 +1021,10 @@ (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 + (/usr/share/texmf/tex/latex/lm/ot1lmtt.fd File: ot1lmtt.fd 2009/10/30 v1.6 Font defs for Latin Modern -) [4] +) +[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 113. @@ -1056,7 +1043,7 @@ \tf@toc=\write5 \openout5 = `document.toc'. - (./preface.tex [5] [6 + (./preface.tex [3] [4 ] @@ -1068,7 +1055,7 @@ (scrbook) Support for \float@addtolists may be removed from (scrbook) `scrbook' soon . - + File: images/title_page.pdf Graphic file (type pdf) @@ -1094,7 +1081,7 @@ Underfull \vbox (badness 6641) has occurred while \output is active [] - [7 <./images/title_page.pdf>] [8] + [5 <./images/title_page.pdf>] [6] Kapitel 2. LaTeX Font Info: External font `lmex10' loaded for size (Font) <10> on input line 14. @@ -1102,7 +1089,7 @@ (Font) <7> on input line 14. LaTeX Font Info: External font `lmex10' loaded for size (Font) <5> on input line 14. - + File: images/atfm_stats.pdf Graphic file (type pdf) @@ -1126,7 +1113,7 @@ Underfull \vbox (badness 10000) has occurred while \output is active [] - [9 + [7 ] @@ -1139,7 +1126,7 @@ [] -[10 <./images/atfm_stats.pdf>] +[8 <./images/atfm_stats.pdf>] Underfull \hbox (badness 10000) in paragraph at lines 31--36 [] @@ -1162,8 +1149,8 @@ Underfull \vbox (badness 10000) has occurred while \output is active [] - [11]) -(./research.tex [12] + [9]) +(./research.tex [10] Kapitel 3. Underfull \hbox (badness 10000) in paragraph at lines 3--5 @@ -1187,7 +1174,7 @@ fek-ti-ve Ver-ga-be von Zust[]andigkeiten [] -[13 +[11 ] @@ -1207,7 +1194,7 @@ [] -[14] +[12] Underfull \hbox (badness 10000) in paragraph at lines 30--32 [] @@ -1220,7 +1207,7 @@ [] -[15] +[13] Underfull \hbox (badness 10000) in paragraph at lines 45--47 [] @@ -1235,7 +1222,7 @@ [] -[16] +[14] File: images/near_east_problem.pdf Graphic file (type pdf) @@ -1243,7 +1230,7 @@ [] -[17 <./images/near_east_problem.pdf>] +[15 <./images/near_east_problem.pdf>] Overfull \hbox (0.4271pt too wide) in paragraph at lines 66--68 \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. @@ -1254,17 +1241,27 @@ [] +[16] +Underfull \hbox (badness 10000) in paragraph at lines 78--80 + + [] + +[17] +Underfull \hbox (badness 10000) in paragraph at lines 98--101 + + [] + [18] -Underfull \hbox (badness 10000) in paragraph at lines 78--80 +Underfull \hbox (badness 10000) in paragraph at lines 105--115 [] -[19] -Underfull \hbox (badness 10000) in paragraph at lines 98--101 + +Underfull \hbox (badness 10000) in paragraph at lines 105--115 [] -[20] + Underfull \hbox (badness 10000) in paragraph at lines 105--115 [] @@ -1274,21 +1271,11 @@ [] - -Underfull \hbox (badness 10000) in paragraph at lines 105--115 - - [] - - -Underfull \hbox (badness 10000) in paragraph at lines 105--115 - - [] - -[21] +[19] File: images/compiler.pdf Graphic file (type pdf) - + File: images/interpreter.pdf Graphic file (type pdf) @@ -1301,10 +1288,10 @@ [] - + File: images/hybrid_compiler.pdf Graphic file (type pdf) - [22 <./images/compiler.pdf> <./images/interpre + [20 <./images/compiler.pdf> <./images/interpre ter.pdf>] Overfull \hbox (2.08266pt too wide) in paragraph at lines 142--145 []\OT1/lmr/m/n/12 uber-pr[]uft, um aus dem va-li-den Co-de die []Uberf[]uhrung @@ -1322,7 +1309,7 @@ i-ler-ar-chi-tek-tur mit op-ti-mier-tem [] -[23 <./images/hybrid_compiler.pdf>] +[21 <./images/hybrid_compiler.pdf>] Overfull \hbox (4.55493pt too wide) in paragraph at lines 157--158 \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. @@ -1333,12 +1320,12 @@ [] -[24] +[22] Underfull \hbox (badness 10000) in paragraph at lines 175--177 [] -[25] +[23] Underfull \hbox (badness 10000) in paragraph at lines 182--184 [] @@ -1348,7 +1335,7 @@ [] -(./analysis.tex [26] +(./analysis.tex [24] Kapitel 4. Underfull \hbox (badness 10000) in paragraph at lines 2--5 @@ -1360,7 +1347,7 @@ [] -[27 +[25 ] @@ -1378,29 +1365,29 @@ [] -[28] +[26] 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 [] -[29] [30] +[27] [28] Underfull \hbox (badness 10000) in paragraph at lines 65--67 [] -[31] +[29] Underfull \hbox (badness 10000) in paragraph at lines 69--71 [] -[32] +[30] Overfull \hbox (2.5056pt too wide) in paragraph at lines 93--95 \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- [] -[33] [34] +[31] [32] Overfull \hbox (23.27678pt too wide) in paragraph at lines 125--127 \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- @@ -1422,7 +1409,7 @@ [] -[35] [36] +[33] [34] Kapitel 5. Underfull \hbox (badness 10000) in paragraph at lines 2--4 @@ -1445,7 +1432,7 @@ [] -[37 +[35 ] (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty @@ -1499,7 +1486,7 @@ [] -[38] (./atccl_letters_digits.txt) +[36] (./atccl_letters_digits.txt) Underfull \hbox (badness 10000) in paragraph at lines 33--35 [] @@ -1519,12 +1506,12 @@ [] -[39] (./atccl_ids.txt) +[37] (./atccl_ids.txt) Underfull \hbox (badness 10000) in paragraph at lines 48--49 [] -(./atccl_keywords.txt) [40] +(./atccl_keywords.txt) [38] Underfull \hbox (badness 10000) in paragraph at lines 55--58 [] @@ -1550,7 +1537,7 @@ [] -[41] +[39] Underfull \hbox (badness 10000) in paragraph at lines 72--73 [] @@ -1560,7 +1547,7 @@ [] -[42] +[40] Underfull \hbox (badness 10000) in paragraph at lines 78--80 [] @@ -1585,7 +1572,7 @@ [][][][][][][][][][][][][][][][][][][][][] [] -[43]) +[41]) Underfull \hbox (badness 10000) in paragraph at lines 91--94 [] @@ -1605,17 +1592,17 @@ [] -(./atccl_flowpoints.txt [44]) +(./atccl_flowpoints.txt [42]) Underfull \hbox (badness 10000) in paragraph at lines 100--101 [] -(./atccl_config.txt) [45] (./atccl_example1.txt +(./atccl_config.txt) [43] (./atccl_example1.txt Overfull \hbox (31.3294pt too wide) in paragraph at lines 8--9 [][][][][][][][][][][][][][][][][][][][][][][][][][][][] [] -) [46] (./atccl_example2.txt +) [44] (./atccl_example2.txt Overfull \hbox (24.27945pt too wide) in paragraph at lines 2--4 [][][][][][][][][][][][][][][][][][][][][][][][] [] @@ -1640,7 +1627,7 @@ [] -[47] +[45] File: images/compile_process.pdf Graphic file (type pdf) @@ -1653,7 +1640,7 @@ [] -[48 <./images/compile_process.pdf>] +[46 <./images/compile_process.pdf>] Underfull \hbox (badness 10000) in paragraph at lines 145--148 [] @@ -1679,8 +1666,8 @@ [] -[49] [50] - +[47] [48] + File: images/virtual_machine_basic.pdf Graphic file (type pdf) @@ -1703,7 +1690,7 @@ [] -[51 <./images/virtual_machine_basic.pdf>] +[49 <./images/virtual_machine_basic.pdf>] Underfull \hbox (badness 10000) in paragraph at lines 191--197 [] @@ -1728,7 +1715,7 @@ [] -[52] [53] +[50] [51] Underfull \hbox (badness 10000) in paragraph at lines 210--211 [] @@ -1743,7 +1730,7 @@ [] -[54] +[52] LaTeX Font Info: Try loading font information for OML+lmr on input line 220. (/usr/share/texmf/tex/latex/lm/omllmr.fd @@ -1752,7 +1739,7 @@ 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. - + File: images/pattern_evaluation.pdf Graphic file (type pdf) @@ -1764,7 +1751,7 @@ [] -[55] +[53] Underfull \hbox (badness 10000) in paragraph at lines 290--293 [] @@ -1774,7 +1761,7 @@ [] -[56 <./images/pattern_evaluation.pdf>] +[54 <./images/pattern_evaluation.pdf>] Package hyperref Info: bookmark level for unknown algorithm defaults to 0 on in put line 307. @@ -1798,7 +1785,7 @@ [] -[57] [58] +[55] [56] Underfull \hbox (badness 10000) in paragraph at lines 353--355 [] @@ -1813,13 +1800,13 @@ [] -[59] +[57] Overfull \hbox (17.90411pt too wide) in paragraph at lines 364--366 []\OT1/lmr/bx/n/12 Benutzeranfrage zur op-ti-ma-len Abflugzeiten- und Flug-fl[] achenbestimmung [] -[60] +[58] Overfull \hbox (6.55212pt too wide) in paragraph at lines 378--379 \OT1/lmr/m/n/12 Ein Notify-Objekt rea-li-siert die Re-ak-tio-nen auf Da-ten-sat z-trans-ak-tio-nen. M[]ogliche Trans- @@ -1836,13 +1823,13 @@ ol-gen-de DMAP-Datens[]atze: [] -[61] +[59] Overfull \hbox (9.27939pt too wide) in paragraph at lines 394--395 \OT1/lmr/m/n/12 Die oben ge-nann-ten Da-tens[]atze bie-ten al-le In-for-ma-tio- nen, die ei-ne DFLOW-Verarbeitung [] -[62] +[60] Overfull \hbox (0.27602pt too wide) in paragraph at lines 410--412 \OT1/lmr/m/n/12 Sobald al-le Flow Points be-kannt sind, wer-den al-le Ein-tr[]a ge im DFLOW-Datensatz @@ -1865,12 +1852,12 @@ [] -[63] +[61] Underfull \hbox (badness 10000) in paragraph at lines 428--430 [] -) (./impl.tex [64] +) (./impl.tex [62] Kapitel 6. Underfull \hbox (badness 10000) in paragraph at lines 6--8 @@ -1882,7 +1869,7 @@ [] -[65 +[63 ] @@ -1893,7 +1880,7 @@ [] - + File: images/stack_vector_uml.png Graphic file (type png) @@ -1907,8 +1894,8 @@ Underfull \vbox (badness 2426) has occurred while \output is active [] - [66] -[67 <./images/stack_vector_uml.png (PNG copy)>] + [64] +[65 <./images/stack_vector_uml.png (PNG copy)>] Underfull \hbox (badness 10000) in paragraph at lines 60--62 [] @@ -1918,7 +1905,7 @@ [] -[68] (./flex_config1.txt) +[66] (./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. @@ -1937,7 +1924,7 @@ [] -(./flex_config2.txt [69]) +(./flex_config2.txt [67]) Underfull \hbox (badness 10000) in paragraph at lines 89--90 [] @@ -1952,7 +1939,7 @@ [] -(./flex_config5.txt [70]) +(./flex_config5.txt [68]) Underfull \hbox (badness 10000) in paragraph at lines 95--96 [] @@ -1962,7 +1949,7 @@ [] -(./flex_config7.txt) [71] (./flex_config8.txt) +(./flex_config7.txt) [69] (./flex_config8.txt) Underfull \hbox (badness 10000) in paragraph at lines 101--102 [] @@ -1984,28 +1971,28 @@ [] -[72] +[70] Overfull \hbox (2.13803pt too wide) in paragraph at lines 120--121 []\OT1/lmr/m/n/12 Sog. \OT1/lmr/m/it/12 No-ti-fier\OT1/lmr/m/n/12 -Klassen im-p le-men-tie-ren das Ob-ser-ver Pat-tern f[]ur be-stimm-te Da-tens[]atze [] -[73] +[71] Overfull \hbox (1.75441pt too wide) in paragraph at lines 123--124 \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-Komponen- [] - + File: images/dflow_displays_grey.png Graphic file (type png) - [74 <./images/dflow_displays_grey.png>]) + [72 <./images/dflow_displays_grey.png>]) (./verification.tex Underfull \hbox (badness 10000) in paragraph at lines 137--1 [] -[75] [76 +[73] [74 ] @@ -2015,7 +2002,7 @@ [] -[77] +[75] Underfull \hbox (badness 10000) in paragraph at lines 26--29 [] @@ -2030,7 +2017,7 @@ [] -[78] +[76] Underfull \hbox (badness 1460) in paragraph at lines 42--42 [][][]\OT1/lmr/m/n/10 Testprozeduren, die mit je-der neu-en Ver-si-on wie-der-h olt durch-gef[]uhrt wer-den, um al-le in @@ -2044,7 +2031,7 @@ Underfull \vbox (badness 10000) has occurred while \output is active [] - [79] + [77] Overfull \hbox (1.89665pt too wide) in paragraph at lines 49--51 \OT1/lmr/m/n/12 Case-Szenarien mit Hil-fe von Unit-Tests ent-wi-ckelt und die-s e auf ei-ner GCC-optimierten @@ -2055,18 +2042,18 @@ [] -[80] (./atot_etot_atd.tex +[78] (./atot_etot_atd.tex File: atot_etot_atd.pdf Graphic file (type pdf) ) (./laldo_hist.tex - + File: laldo_hist.pdf Graphic file (type pdf) ) Overfull \hbox (31.8613pt too wide) in paragraph at lines 102--87 [][] [] -(./labtar_hist.tex +(./labtar_hist.tex File: labtar_hist.pdf Graphic file (type pdf) ) @@ -2084,8 +2071,8 @@ [] -[81] [82 <./atot_etot_atd.pdf>]) (./conclusion.tex [83 <./laldo_hist.pdf> <./la -btar_hist.pdf>] [84 +[79] [80 <./atot_etot_atd.pdf>]) (./conclusion.tex [81 <./laldo_hist.pdf> <./la +btar_hist.pdf>] [82 ] @@ -2105,14 +2092,14 @@ [] -[85] [86] (./document.lof) +[83] [84] (./document.lof) \tf@lof=\write6 \openout6 = `document.lof'. - [87 - - -] [88 + [85 + + +] [86 ] (./document.lot) @@ -2128,54 +2115,54 @@ (scrbook) `scrbook' soon, so it should not be used on input line 83. -[89] [90 +[87] [88 ] (./document.lol) \tf@lol=\write8 \openout8 = `document.lol'. - (./document.bbl [91] [92 - - -] [93]) (./appendix.tex -[94] + (./document.bbl [89] [90 + + +] [91]) (./appendix.tex +[92] 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'. -[95 +[93 <./images/uml_factories.png (PNG copy)> <./images/uml_terms.png (PNG copy)>] < -images/uml_flight_plan.png, id=1934, 381.67593pt x 648.92438pt> +images/uml_flight_plan.png, id=1925, 381.67593pt x 648.92438pt> File: images/uml_flight_plan.png Graphic file (type png) LaTeX Warning: `h' float specifier changed to `ht'. -[96 <./images/uml_property.png (PNG copy)> <./images/uml_vm.png (PNG copy)>] -[97 <./images/uml_flight_plan.png (PNG copy)>] [98 +[94 <./images/uml_property.png (PNG copy)> <./images/uml_vm.png (PNG copy)>] +[95 <./images/uml_flight_plan.png (PNG copy)>] [96 ] @@ -2188,6 +2175,12 @@ Underfull \vbox (badness 1112) has occurred while \output is active [] + [97] +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [98] +Underfull \vbox (badness 10000) has occurred while \output is active [] + [99] Underfull \vbox (badness 10000) has occurred while \output is active [] @@ -2203,45 +2196,38 @@ [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) + [104])) +[105] (./document.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. ) Here is how much of TeX's memory you used: - 13172 strings out of 495021 - 186649 string characters out of 1181035 - 329793 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 + 13159 strings out of 495021 + 186482 string characters out of 1181035 + 329792 words of memory out of 3000000 + 15149 multiletter control sequences out of 15000+50000 + 59409 words of font info for 65 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 45i,11n,70p,877b,2174s stack positions out of 5000i,500n,10000p,200000b,50000s {/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 (107 pages, 1867188 bytes). +/lm-rm.enc} +< +/usr/share/texmf/fonts/type1/public/lm/lmtti10.pfb> +Output written on document.pdf (105 pages, 1840121 bytes). PDF statistics: - 2505 PDF objects out of 2984 (max. 8388607) - 811 named destinations out of 1000 (max. 500000) + 2491 PDF objects out of 2984 (max. 8388607) + 809 named destinations out of 1000 (max. 500000) 784 words of extra memory for PDF output out of 10000 (max. 10000000) diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/src/document.lol --- a/book/src/document.lol Wed Mar 30 15:52:38 2011 +0200 +++ b/book/src/document.lol Wed Mar 30 17:44:36 2011 +0200 @@ -3,33 +3,33 @@ \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } -\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}{43}{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}{54}{lstlisting.5.15} +\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{36}{lstlisting.5.1} +\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{37}{lstlisting.5.2} +\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{37}{lstlisting.5.3} +\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{38}{lstlisting.5.4} +\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{38}{lstlisting.5.5} +\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{39}{lstlisting.5.6} +\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{40}{lstlisting.5.7} +\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{41}{lstlisting.5.8} +\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9} +\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{42}{lstlisting.5.10} +\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{43}{lstlisting.5.11} +\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{43}{lstlisting.5.12} +\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{44}{lstlisting.5.13} +\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{45}{lstlisting.5.14} +\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{52}{lstlisting.5.15} \addvspace {10\p@ } -\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}{72}{lstlisting.6.8} -\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9} +\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{67}{lstlisting.6.1} +\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{68}{lstlisting.6.2} +\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{68}{lstlisting.6.3} +\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{68}{lstlisting.6.4} +\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{68}{lstlisting.6.5} +\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{69}{lstlisting.6.6} +\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{69}{lstlisting.6.7} +\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{70}{lstlisting.6.8} +\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{70}{lstlisting.6.9} \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } -\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1} +\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{97}{lstlisting.B.1} diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/src/document.lot --- a/book/src/document.lot Wed Mar 30 15:52:38 2011 +0200 +++ b/book/src/document.lot Wed Mar 30 17:44:36 2011 +0200 @@ -5,9 +5,9 @@ \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } -\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{69}{table.6.1} +\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{67}{table.6.1} \addvspace {10\p@ } -\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1} +\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{75}{table.7.1} \addvspace {10\p@ } \addvspace {10\p@ } \addvspace {10\p@ } diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/src/document.pdf Binary file book/src/document.pdf has changed diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/src/document.tex --- a/book/src/document.tex Wed Mar 30 15:52:38 2011 +0200 +++ b/book/src/document.tex Wed Mar 30 17:44:36 2011 +0200 @@ -63,7 +63,7 @@ \nocite{*} %\maketitle %\newgeometry{left=3cm,right=3cm,bottom=1cm} -\input{title} +%\input{title} %\restoregeometry \tableofcontents %\pagenumbering{roman} diff -r a25ebfdd39f7 -r a4c2e7afc4d8 book/src/document.toc --- a/book/src/document.toc Wed Mar 30 15:52:38 2011 +0200 +++ b/book/src/document.toc Wed Mar 30 17:44:36 2011 +0200 @@ -1,133 +1,133 @@ \select@language {ngerman} -\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}{10}{section.2.1} -\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2} -\contentsline {section}{\numberline {2.3}Comsoft GmbH}{12}{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}{34}{section.4.4} -\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{35}{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}{46}{subsection.5.1.2} -\contentsline {subsubsection}{Bsp. 1: Zielstellung}{46}{section*.31} -\contentsline {subsubsection}{Bsp. 1: Code}{46}{section*.32} -\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{46}{section*.33} -\contentsline {subsubsection}{Bsp. 2: Zielstellung}{47}{section*.34} -\contentsline {subsubsection}{Bsp. 2: Code}{47}{section*.35} -\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{47}{section*.36} -\contentsline {subsection}{\numberline {5.1.3}Compiler}{48}{subsection.5.1.3} -\contentsline {subsubsection}{Scanner}{49}{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}{51}{section*.40} -\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5} -\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{54}{subsection.5.1.6} -\contentsline {subsubsection}{Beispiel}{54}{section*.41} -\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7} -\contentsline {subsubsection}{Algorithmus}{57}{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}{61}{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}{64}{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}{80}{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}{82}{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} +\contentsline {chapter}{\numberline {1}Vorwort}{5}{chapter.1} +\contentsline {section}{\numberline {1.1}Danksagungen}{6}{section.1.1} +\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2} +\contentsline {section}{\numberline {2.1}Zielsetzung}{8}{section.2.1} +\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2} +\contentsline {section}{\numberline {2.3}Comsoft GmbH}{10}{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}{32}{section.4.4} +\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{33}{section.4.5} +\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6} +\contentsline {chapter}{\numberline {5}Entwurf}{35}{chapter.5} +\contentsline {section}{\numberline {5.1}ATCCL}{35}{section.5.1} +\contentsline {subsection}{\numberline {5.1.1}Syntax}{36}{subsection.5.1.1} +\contentsline {subsubsection}{Notation}{36}{section*.20} +\contentsline {subsubsection}{Buchstaben und Ziffern}{37}{section*.21} +\contentsline {subsubsection}{Kommentare}{37}{section*.22} +\contentsline {subsubsection}{Terminatoren}{37}{section*.23} +\contentsline {subsubsection}{Bezeichner}{38}{section*.24} +\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{38}{section*.25} +\contentsline {subsubsection}{Datentypen und Konstanten}{39}{section*.26} +\contentsline {subsubsection}{Flugplaneigenschaften}{40}{section*.27} +\contentsline {subsubsection}{Operatoren}{41}{section*.28} +\contentsline {subsubsection}{Regeldefinitionen}{41}{section*.29} +\contentsline {subsubsection}{Programm}{43}{section*.30} +\contentsline {subsection}{\numberline {5.1.2}Beispiele}{44}{subsection.5.1.2} +\contentsline {subsubsection}{Bsp. 1: Zielstellung}{44}{section*.31} +\contentsline {subsubsection}{Bsp. 1: Code}{44}{section*.32} +\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{44}{section*.33} +\contentsline {subsubsection}{Bsp. 2: Zielstellung}{45}{section*.34} +\contentsline {subsubsection}{Bsp. 2: Code}{45}{section*.35} +\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{45}{section*.36} +\contentsline {subsection}{\numberline {5.1.3}Compiler}{46}{subsection.5.1.3} +\contentsline {subsubsection}{Scanner}{47}{section*.37} +\contentsline {subsubsection}{Parser}{47}{section*.38} +\contentsline {subsubsection}{Synthese}{47}{section*.39} +\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{48}{subsection.5.1.4} +\contentsline {subsubsection}{FlightPlan-Interface}{49}{section*.40} +\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{50}{subsection.5.1.5} +\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{52}{subsection.5.1.6} +\contentsline {subsubsection}{Beispiel}{52}{section*.41} +\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{53}{subsection.5.1.7} +\contentsline {subsubsection}{Algorithmus}{55}{section*.42} +\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{56}{section*.43} +\contentsline {subsubsection}{Alternative}{57}{section*.44} +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{57}{section*.45} +\contentsline {section}{\numberline {5.2}DFLOW}{58}{section.5.2} +\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{58}{subsection.5.2.1} +\contentsline {subsubsection}{Map}{59}{section*.46} +\contentsline {subsubsection}{Notify}{59}{section*.47} +\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{60}{subsection.5.2.2} +\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{62}{subsection.5.2.3} +\contentsline {chapter}{\numberline {6}Realisierung}{63}{chapter.6} +\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{63}{section.6.1} +\contentsline {subsection}{\numberline {6.1.1}Compiler}{63}{subsection.6.1.1} +\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{64}{subsection.6.1.2} +\contentsline {subsection}{\numberline {6.1.3}CppUnit}{64}{subsection.6.1.3} +\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{65}{subsection.6.1.4} +\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{65}{section.6.2} +\contentsline {subsection}{\numberline {6.2.1}IDE}{65}{subsection.6.2.1} +\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{66}{subsection.6.2.2} +\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{66}{subsection.6.2.3} +\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{66}{section.6.3} +\contentsline {section}{\numberline {6.4}ATCCL}{66}{section.6.4} +\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{66}{subsection.6.4.1} +\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{70}{subsection.6.4.2} +\contentsline {subsection}{\numberline {6.4.3}Synthese}{70}{subsection.6.4.3} +\contentsline {section}{\numberline {6.5}DFLOW}{71}{section.6.5} +\contentsline {subsection}{\numberline {6.5.1}FDPS}{71}{subsection.6.5.1} +\contentsline {subsection}{\numberline {6.5.2}Node Manager}{72}{subsection.6.5.2} +\contentsline {subsection}{\numberline {6.5.3}AWP}{72}{subsection.6.5.3} +\contentsline {subsection}{\numberline {6.5.4}CWP}{73}{subsection.6.5.4} +\contentsline {chapter}{\numberline {7}Verifikation}{75}{chapter.7} +\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{75}{section.7.1} +\contentsline {section}{\numberline {7.2}Unit-Tests}{76}{section.7.2} +\contentsline {section}{\numberline {7.3}Testspezifikation}{76}{section.7.3} +\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{77}{section.7.4} +\contentsline {section}{\numberline {7.5}Effizienz}{78}{section.7.5} +\contentsline {section}{\numberline {7.6}Leistungsanalyse}{78}{section.7.6} +\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{78}{subsection.7.6.1} +\contentsline {subsection}{\numberline {7.6.2}Datensatz}{79}{subsection.7.6.2} +\contentsline {subsection}{\numberline {7.6.3}Auswertung}{80}{subsection.7.6.3} +\contentsline {chapter}{\numberline {8}Zusammenfassung}{83}{chapter.8} +\contentsline {section}{\numberline {8.1}Fazit}{83}{section.8.1} +\contentsline {section}{\numberline {8.2}Ausblick}{83}{section.8.2} +\contentsline {chapter}{\numberline {A}Feinentwurf}{93}{appendix.A} +\contentsline {section}{\numberline {A.1}ATCCL}{93}{section.A.1} +\contentsline {subsection}{\numberline {A.1.1}Factory}{93}{subsection.A.1.1} +\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{93}{subsection.A.1.2} +\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{94}{subsection.A.1.3} +\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{94}{subsection.A.1.4} +\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{95}{subsection.A.1.5} +\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{97}{appendix.B}