1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/book/src/document.toc Wed Mar 23 21:10:10 2011 +0100
1.3 @@ -0,0 +1,133 @@
1.4 +\select@language {ngerman}
1.5 +\contentsline {chapter}{\numberline {1}Vorwort}{3}{chapter.1}
1.6 +\contentsline {section}{\numberline {1.1}Danksagungen}{3}{section.1.1}
1.7 +\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}
1.8 +\contentsline {section}{\numberline {2.1}Zielsetzung}{7}{section.2.1}
1.9 +\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}
1.10 +\contentsline {section}{\numberline {2.3}Comsoft GmbH}{9}{section.2.3}
1.11 +\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}
1.12 +\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}
1.13 +\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}
1.14 +\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}
1.15 +\contentsline {subsubsection}{Routensystem}{12}{section*.3}
1.16 +\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}
1.17 +\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}
1.18 +\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}
1.19 +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}
1.20 +\contentsline {subsubsection}{Slot}{14}{section*.7}
1.21 +\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}
1.22 +\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}
1.23 +\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}
1.24 +\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}
1.25 +\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}
1.26 +\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}
1.27 +\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}
1.28 +\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}
1.29 +\contentsline {subsubsection}{LLVM}{22}{section*.10}
1.30 +\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}
1.31 +\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}
1.32 +\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}
1.33 +\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}
1.34 +\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}
1.35 +\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}
1.36 +\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}
1.37 +\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}
1.38 +\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}
1.39 +\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}
1.40 +\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}
1.41 +\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}
1.42 +\contentsline {subsubsection}{Redundanz}{27}{section*.14}
1.43 +\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}
1.44 +\contentsline {subsubsection}{Aerodrome}{28}{section*.15}
1.45 +\contentsline {subsubsection}{Runway}{29}{section*.16}
1.46 +\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}
1.47 +\contentsline {subsubsection}{Flight Type}{29}{section*.18}
1.48 +\contentsline {subsubsection}{True Airspeed}{29}{section*.19}
1.49 +\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}
1.50 +\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}
1.51 +\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}
1.52 +\contentsline {section}{\numberline {4.4}Sollkriterien}{31}{section.4.4}
1.53 +\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{32}{section.4.5}
1.54 +\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}
1.55 +\contentsline {chapter}{\numberline {5}Entwurf}{34}{chapter.5}
1.56 +\contentsline {section}{\numberline {5.1}ATCCL}{34}{section.5.1}
1.57 +\contentsline {subsection}{\numberline {5.1.1}Syntax}{35}{subsection.5.1.1}
1.58 +\contentsline {subsubsection}{Notation}{35}{section*.20}
1.59 +\contentsline {subsubsection}{Buchstaben und Ziffern}{36}{section*.21}
1.60 +\contentsline {subsubsection}{Kommentare}{36}{section*.22}
1.61 +\contentsline {subsubsection}{Terminatoren}{36}{section*.23}
1.62 +\contentsline {subsubsection}{Bezeichner}{37}{section*.24}
1.63 +\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{37}{section*.25}
1.64 +\contentsline {subsubsection}{Datentypen und Konstanten}{38}{section*.26}
1.65 +\contentsline {subsubsection}{Flugplaneigenschaften}{39}{section*.27}
1.66 +\contentsline {subsubsection}{Operatoren}{40}{section*.28}
1.67 +\contentsline {subsubsection}{Regeldefinitionen}{40}{section*.29}
1.68 +\contentsline {subsubsection}{Programm}{42}{section*.30}
1.69 +\contentsline {subsection}{\numberline {5.1.2}Beispiele}{42}{subsection.5.1.2}
1.70 +\contentsline {subsubsection}{Zielstellung}{42}{section*.31}
1.71 +\contentsline {subsubsection}{Code}{43}{section*.32}
1.72 +\contentsline {subsubsection}{Bemerkungen}{43}{section*.33}
1.73 +\contentsline {subsubsection}{Zielstellung}{43}{section*.34}
1.74 +\contentsline {subsubsection}{Code}{44}{section*.35}
1.75 +\contentsline {subsubsection}{Bemerkungen}{44}{section*.36}
1.76 +\contentsline {subsection}{\numberline {5.1.3}Compiler}{44}{subsection.5.1.3}
1.77 +\contentsline {subsubsection}{Scanner}{45}{section*.37}
1.78 +\contentsline {subsubsection}{Parser}{46}{section*.38}
1.79 +\contentsline {subsubsection}{Synthese}{46}{section*.39}
1.80 +\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{47}{subsection.5.1.4}
1.81 +\contentsline {subsubsection}{FlightPlan-Interface}{47}{section*.40}
1.82 +\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{49}{subsection.5.1.5}
1.83 +\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{50}{subsection.5.1.6}
1.84 +\contentsline {subsubsection}{Beispiel}{50}{section*.41}
1.85 +\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{52}{subsection.5.1.7}
1.86 +\contentsline {subsubsection}{Algorithmus}{53}{section*.42}
1.87 +\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{55}{section*.43}
1.88 +\contentsline {subsubsection}{Alternative}{56}{section*.44}
1.89 +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{56}{section*.45}
1.90 +\contentsline {section}{\numberline {5.2}DFLOW}{57}{section.5.2}
1.91 +\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{57}{subsection.5.2.1}
1.92 +\contentsline {subsubsection}{Map}{57}{section*.46}
1.93 +\contentsline {subsubsection}{Notify}{58}{section*.47}
1.94 +\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{59}{subsection.5.2.2}
1.95 +\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{60}{subsection.5.2.3}
1.96 +\contentsline {chapter}{\numberline {6}Realisierung}{62}{chapter.6}
1.97 +\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{62}{section.6.1}
1.98 +\contentsline {subsection}{\numberline {6.1.1}Compiler}{62}{subsection.6.1.1}
1.99 +\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{63}{subsection.6.1.2}
1.100 +\contentsline {subsection}{\numberline {6.1.3}CppUnit}{63}{subsection.6.1.3}
1.101 +\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{64}{subsection.6.1.4}
1.102 +\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{64}{section.6.2}
1.103 +\contentsline {subsection}{\numberline {6.2.1}IDE}{64}{subsection.6.2.1}
1.104 +\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{65}{subsection.6.2.2}
1.105 +\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{65}{subsection.6.2.3}
1.106 +\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{65}{section.6.3}
1.107 +\contentsline {section}{\numberline {6.4}ATCCL}{65}{section.6.4}
1.108 +\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{65}{subsection.6.4.1}
1.109 +\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{69}{subsection.6.4.2}
1.110 +\contentsline {subsection}{\numberline {6.4.3}Synthese}{69}{subsection.6.4.3}
1.111 +\contentsline {section}{\numberline {6.5}DFLOW}{70}{section.6.5}
1.112 +\contentsline {subsection}{\numberline {6.5.1}FDPS}{70}{subsection.6.5.1}
1.113 +\contentsline {subsection}{\numberline {6.5.2}Node Manager}{71}{subsection.6.5.2}
1.114 +\contentsline {subsection}{\numberline {6.5.3}AWP}{71}{subsection.6.5.3}
1.115 +\contentsline {subsection}{\numberline {6.5.4}CWP}{72}{subsection.6.5.4}
1.116 +\contentsline {chapter}{\numberline {7}Verifikation}{73}{chapter.7}
1.117 +\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{73}{section.7.1}
1.118 +\contentsline {section}{\numberline {7.2}Unit-Tests}{74}{section.7.2}
1.119 +\contentsline {section}{\numberline {7.3}Testspezifikation}{74}{section.7.3}
1.120 +\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{75}{section.7.4}
1.121 +\contentsline {section}{\numberline {7.5}Effizienz}{75}{section.7.5}
1.122 +\contentsline {section}{\numberline {7.6}Leistungsanalyse}{76}{section.7.6}
1.123 +\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{76}{subsection.7.6.1}
1.124 +\contentsline {subsection}{\numberline {7.6.2}Datensatz}{77}{subsection.7.6.2}
1.125 +\contentsline {subsection}{\numberline {7.6.3}Auswertung}{77}{subsection.7.6.3}
1.126 +\contentsline {chapter}{\numberline {8}Zusammenfassung}{80}{chapter.8}
1.127 +\contentsline {section}{\numberline {8.1}Fazit}{80}{section.8.1}
1.128 +\contentsline {section}{\numberline {8.2}Ausblick}{80}{section.8.2}
1.129 +\contentsline {chapter}{\numberline {A}Feinentwurf}{87}{appendix.A}
1.130 +\contentsline {section}{\numberline {A.1}ATCCL}{87}{section.A.1}
1.131 +\contentsline {subsection}{\numberline {A.1.1}Factory}{87}{subsection.A.1.1}
1.132 +\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{87}{subsection.A.1.2}
1.133 +\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{88}{subsection.A.1.3}
1.134 +\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{88}{subsection.A.1.4}
1.135 +\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{89}{subsection.A.1.5}
1.136 +\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{90}{appendix.B}