1.1 --- a/book/src/document.toc Wed Mar 30 15:52:38 2011 +0200
1.2 +++ b/book/src/document.toc Wed Mar 30 17:44:36 2011 +0200
1.3 @@ -1,133 +1,133 @@
1.4 \select@language {ngerman}
1.5 -\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}
1.6 -\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}
1.7 -\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}
1.8 -\contentsline {section}{\numberline {2.1}Zielsetzung}{10}{section.2.1}
1.9 -\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}
1.10 -\contentsline {section}{\numberline {2.3}Comsoft GmbH}{12}{section.2.3}
1.11 -\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}
1.12 -\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}
1.13 -\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}
1.14 -\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}
1.15 -\contentsline {subsubsection}{Routensystem}{14}{section*.3}
1.16 -\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}
1.17 -\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}
1.18 -\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}
1.19 -\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}
1.20 -\contentsline {subsubsection}{Slot}{16}{section*.7}
1.21 -\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}
1.22 -\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}
1.23 -\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}
1.24 -\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}
1.25 -\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}
1.26 -\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}
1.27 -\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}
1.28 -\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}
1.29 -\contentsline {subsubsection}{LLVM}{24}{section*.10}
1.30 -\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11}
1.31 -\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12}
1.32 -\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}
1.33 -\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}
1.34 -\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}
1.35 -\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}
1.36 -\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}
1.37 -\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}
1.38 -\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}
1.39 -\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}
1.40 -\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}
1.41 -\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}
1.42 -\contentsline {subsubsection}{Redundanz}{29}{section*.14}
1.43 -\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}
1.44 -\contentsline {subsubsection}{Aerodrome}{30}{section*.15}
1.45 -\contentsline {subsubsection}{Runway}{31}{section*.16}
1.46 -\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}
1.47 -\contentsline {subsubsection}{Flight Type}{31}{section*.18}
1.48 -\contentsline {subsubsection}{True Airspeed}{31}{section*.19}
1.49 -\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}
1.50 -\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}
1.51 -\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}
1.52 -\contentsline {section}{\numberline {4.4}Sollkriterien}{34}{section.4.4}
1.53 -\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{35}{section.4.5}
1.54 -\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}
1.55 -\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}
1.56 -\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}
1.57 -\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}
1.58 -\contentsline {subsubsection}{Notation}{38}{section*.20}
1.59 -\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}
1.60 -\contentsline {subsubsection}{Kommentare}{39}{section*.22}
1.61 -\contentsline {subsubsection}{Terminatoren}{39}{section*.23}
1.62 -\contentsline {subsubsection}{Bezeichner}{40}{section*.24}
1.63 -\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}
1.64 -\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}
1.65 -\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}
1.66 -\contentsline {subsubsection}{Operatoren}{43}{section*.28}
1.67 -\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}
1.68 -\contentsline {subsubsection}{Programm}{45}{section*.30}
1.69 -\contentsline {subsection}{\numberline {5.1.2}Beispiele}{46}{subsection.5.1.2}
1.70 -\contentsline {subsubsection}{Bsp. 1: Zielstellung}{46}{section*.31}
1.71 -\contentsline {subsubsection}{Bsp. 1: Code}{46}{section*.32}
1.72 -\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{46}{section*.33}
1.73 -\contentsline {subsubsection}{Bsp. 2: Zielstellung}{47}{section*.34}
1.74 -\contentsline {subsubsection}{Bsp. 2: Code}{47}{section*.35}
1.75 -\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{47}{section*.36}
1.76 -\contentsline {subsection}{\numberline {5.1.3}Compiler}{48}{subsection.5.1.3}
1.77 -\contentsline {subsubsection}{Scanner}{49}{section*.37}
1.78 -\contentsline {subsubsection}{Parser}{49}{section*.38}
1.79 -\contentsline {subsubsection}{Synthese}{49}{section*.39}
1.80 -\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}
1.81 -\contentsline {subsubsection}{FlightPlan-Interface}{51}{section*.40}
1.82 -\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}
1.83 -\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{54}{subsection.5.1.6}
1.84 -\contentsline {subsubsection}{Beispiel}{54}{section*.41}
1.85 -\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}
1.86 -\contentsline {subsubsection}{Algorithmus}{57}{section*.42}
1.87 -\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}
1.88 -\contentsline {subsubsection}{Alternative}{59}{section*.44}
1.89 -\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}
1.90 -\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}
1.91 -\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}
1.92 -\contentsline {subsubsection}{Map}{61}{section*.46}
1.93 -\contentsline {subsubsection}{Notify}{61}{section*.47}
1.94 -\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}
1.95 -\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{64}{subsection.5.2.3}
1.96 -\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}
1.97 -\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}
1.98 -\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}
1.99 -\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2}
1.100 -\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}
1.101 -\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}
1.102 -\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}
1.103 -\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}
1.104 -\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}
1.105 -\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}
1.106 -\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}
1.107 -\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}
1.108 -\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1}
1.109 -\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2}
1.110 -\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}
1.111 -\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}
1.112 -\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}
1.113 -\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}
1.114 -\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}
1.115 -\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}
1.116 -\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}
1.117 -\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}
1.118 -\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}
1.119 -\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}
1.120 -\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}
1.121 -\contentsline {section}{\numberline {7.5}Effizienz}{80}{section.7.5}
1.122 -\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}
1.123 -\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}
1.124 -\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}
1.125 -\contentsline {subsection}{\numberline {7.6.3}Auswertung}{82}{subsection.7.6.3}
1.126 -\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}
1.127 -\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}
1.128 -\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}
1.129 -\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}
1.130 -\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}
1.131 -\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}
1.132 -\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}
1.133 -\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}
1.134 -\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}
1.135 -\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}
1.136 -\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B}
1.137 +\contentsline {chapter}{\numberline {1}Vorwort}{5}{chapter.1}
1.138 +\contentsline {section}{\numberline {1.1}Danksagungen}{6}{section.1.1}
1.139 +\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}
1.140 +\contentsline {section}{\numberline {2.1}Zielsetzung}{8}{section.2.1}
1.141 +\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}
1.142 +\contentsline {section}{\numberline {2.3}Comsoft GmbH}{10}{section.2.3}
1.143 +\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}
1.144 +\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}
1.145 +\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}
1.146 +\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}
1.147 +\contentsline {subsubsection}{Routensystem}{12}{section*.3}
1.148 +\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}
1.149 +\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}
1.150 +\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}
1.151 +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}
1.152 +\contentsline {subsubsection}{Slot}{14}{section*.7}
1.153 +\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}
1.154 +\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}
1.155 +\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}
1.156 +\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}
1.157 +\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}
1.158 +\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}
1.159 +\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}
1.160 +\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}
1.161 +\contentsline {subsubsection}{LLVM}{22}{section*.10}
1.162 +\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}
1.163 +\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}
1.164 +\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}
1.165 +\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}
1.166 +\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}
1.167 +\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}
1.168 +\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}
1.169 +\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}
1.170 +\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}
1.171 +\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}
1.172 +\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}
1.173 +\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}
1.174 +\contentsline {subsubsection}{Redundanz}{27}{section*.14}
1.175 +\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}
1.176 +\contentsline {subsubsection}{Aerodrome}{28}{section*.15}
1.177 +\contentsline {subsubsection}{Runway}{29}{section*.16}
1.178 +\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}
1.179 +\contentsline {subsubsection}{Flight Type}{29}{section*.18}
1.180 +\contentsline {subsubsection}{True Airspeed}{29}{section*.19}
1.181 +\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}
1.182 +\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}
1.183 +\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}
1.184 +\contentsline {section}{\numberline {4.4}Sollkriterien}{32}{section.4.4}
1.185 +\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{33}{section.4.5}
1.186 +\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}
1.187 +\contentsline {chapter}{\numberline {5}Entwurf}{35}{chapter.5}
1.188 +\contentsline {section}{\numberline {5.1}ATCCL}{35}{section.5.1}
1.189 +\contentsline {subsection}{\numberline {5.1.1}Syntax}{36}{subsection.5.1.1}
1.190 +\contentsline {subsubsection}{Notation}{36}{section*.20}
1.191 +\contentsline {subsubsection}{Buchstaben und Ziffern}{37}{section*.21}
1.192 +\contentsline {subsubsection}{Kommentare}{37}{section*.22}
1.193 +\contentsline {subsubsection}{Terminatoren}{37}{section*.23}
1.194 +\contentsline {subsubsection}{Bezeichner}{38}{section*.24}
1.195 +\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{38}{section*.25}
1.196 +\contentsline {subsubsection}{Datentypen und Konstanten}{39}{section*.26}
1.197 +\contentsline {subsubsection}{Flugplaneigenschaften}{40}{section*.27}
1.198 +\contentsline {subsubsection}{Operatoren}{41}{section*.28}
1.199 +\contentsline {subsubsection}{Regeldefinitionen}{41}{section*.29}
1.200 +\contentsline {subsubsection}{Programm}{43}{section*.30}
1.201 +\contentsline {subsection}{\numberline {5.1.2}Beispiele}{44}{subsection.5.1.2}
1.202 +\contentsline {subsubsection}{Bsp. 1: Zielstellung}{44}{section*.31}
1.203 +\contentsline {subsubsection}{Bsp. 1: Code}{44}{section*.32}
1.204 +\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{44}{section*.33}
1.205 +\contentsline {subsubsection}{Bsp. 2: Zielstellung}{45}{section*.34}
1.206 +\contentsline {subsubsection}{Bsp. 2: Code}{45}{section*.35}
1.207 +\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{45}{section*.36}
1.208 +\contentsline {subsection}{\numberline {5.1.3}Compiler}{46}{subsection.5.1.3}
1.209 +\contentsline {subsubsection}{Scanner}{47}{section*.37}
1.210 +\contentsline {subsubsection}{Parser}{47}{section*.38}
1.211 +\contentsline {subsubsection}{Synthese}{47}{section*.39}
1.212 +\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{48}{subsection.5.1.4}
1.213 +\contentsline {subsubsection}{FlightPlan-Interface}{49}{section*.40}
1.214 +\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{50}{subsection.5.1.5}
1.215 +\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{52}{subsection.5.1.6}
1.216 +\contentsline {subsubsection}{Beispiel}{52}{section*.41}
1.217 +\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{53}{subsection.5.1.7}
1.218 +\contentsline {subsubsection}{Algorithmus}{55}{section*.42}
1.219 +\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{56}{section*.43}
1.220 +\contentsline {subsubsection}{Alternative}{57}{section*.44}
1.221 +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{57}{section*.45}
1.222 +\contentsline {section}{\numberline {5.2}DFLOW}{58}{section.5.2}
1.223 +\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{58}{subsection.5.2.1}
1.224 +\contentsline {subsubsection}{Map}{59}{section*.46}
1.225 +\contentsline {subsubsection}{Notify}{59}{section*.47}
1.226 +\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{60}{subsection.5.2.2}
1.227 +\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{62}{subsection.5.2.3}
1.228 +\contentsline {chapter}{\numberline {6}Realisierung}{63}{chapter.6}
1.229 +\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{63}{section.6.1}
1.230 +\contentsline {subsection}{\numberline {6.1.1}Compiler}{63}{subsection.6.1.1}
1.231 +\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{64}{subsection.6.1.2}
1.232 +\contentsline {subsection}{\numberline {6.1.3}CppUnit}{64}{subsection.6.1.3}
1.233 +\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{65}{subsection.6.1.4}
1.234 +\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{65}{section.6.2}
1.235 +\contentsline {subsection}{\numberline {6.2.1}IDE}{65}{subsection.6.2.1}
1.236 +\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{66}{subsection.6.2.2}
1.237 +\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{66}{subsection.6.2.3}
1.238 +\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{66}{section.6.3}
1.239 +\contentsline {section}{\numberline {6.4}ATCCL}{66}{section.6.4}
1.240 +\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{66}{subsection.6.4.1}
1.241 +\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{70}{subsection.6.4.2}
1.242 +\contentsline {subsection}{\numberline {6.4.3}Synthese}{70}{subsection.6.4.3}
1.243 +\contentsline {section}{\numberline {6.5}DFLOW}{71}{section.6.5}
1.244 +\contentsline {subsection}{\numberline {6.5.1}FDPS}{71}{subsection.6.5.1}
1.245 +\contentsline {subsection}{\numberline {6.5.2}Node Manager}{72}{subsection.6.5.2}
1.246 +\contentsline {subsection}{\numberline {6.5.3}AWP}{72}{subsection.6.5.3}
1.247 +\contentsline {subsection}{\numberline {6.5.4}CWP}{73}{subsection.6.5.4}
1.248 +\contentsline {chapter}{\numberline {7}Verifikation}{75}{chapter.7}
1.249 +\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{75}{section.7.1}
1.250 +\contentsline {section}{\numberline {7.2}Unit-Tests}{76}{section.7.2}
1.251 +\contentsline {section}{\numberline {7.3}Testspezifikation}{76}{section.7.3}
1.252 +\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{77}{section.7.4}
1.253 +\contentsline {section}{\numberline {7.5}Effizienz}{78}{section.7.5}
1.254 +\contentsline {section}{\numberline {7.6}Leistungsanalyse}{78}{section.7.6}
1.255 +\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{78}{subsection.7.6.1}
1.256 +\contentsline {subsection}{\numberline {7.6.2}Datensatz}{79}{subsection.7.6.2}
1.257 +\contentsline {subsection}{\numberline {7.6.3}Auswertung}{80}{subsection.7.6.3}
1.258 +\contentsline {chapter}{\numberline {8}Zusammenfassung}{83}{chapter.8}
1.259 +\contentsline {section}{\numberline {8.1}Fazit}{83}{section.8.1}
1.260 +\contentsline {section}{\numberline {8.2}Ausblick}{83}{section.8.2}
1.261 +\contentsline {chapter}{\numberline {A}Feinentwurf}{93}{appendix.A}
1.262 +\contentsline {section}{\numberline {A.1}ATCCL}{93}{section.A.1}
1.263 +\contentsline {subsection}{\numberline {A.1.1}Factory}{93}{subsection.A.1.1}
1.264 +\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{93}{subsection.A.1.2}
1.265 +\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{94}{subsection.A.1.3}
1.266 +\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{94}{subsection.A.1.4}
1.267 +\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{95}{subsection.A.1.5}
1.268 +\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{97}{appendix.B}