Refine
Has Fulltext
- yes (1)
Is part of the Bibliography
- yes (1) (remove)
Year of publication
- 2016 (1) (remove)
Document Type
- Doctoral Thesis (1)
Language
- German (1) (remove)
Keywords
- Augmented Reality (1)
- Computer Games (1)
- Computerspiel (1)
- Interaktive Echtzeitsysteme (1)
- Leistungsmessung (1)
- Leistungsvorhersage (1)
- Model Checking (1)
- Nebenläufigkeit (1)
- Parallelisierung (1)
- Profiling (1)
Institute
Sonstige beteiligte Institutionen
- Beuth Hochschule für Technik Berlin (1) (remove)
Im Rahmen dieser Arbeit werden die Nebenläufigkeit, Konsistenz und Latenz in asynchronen
Interaktiven Echtzeitsystemen durch die Techniken des Profilings und des Model
Checkings untersucht. Zu Beginn wird erläutert, warum das asynchrone Modell das vielversprechendste
für die Nebenläufigkeit in einem Interaktiven Echtzeitsystem ist. Hierzu
wird ein Vergleich zu anderen Modellen gezogen. Darüber hinaus wird ein detaillierter
Vergleich von Synchronisationstechnologien, welche die Grundlage für Konsistenz
schaffen, durchgeführt. Auf der Grundlage dieser beiden Vergleiche und der Betrachtung
anderer Systeme wird ein Synchronisationskonzept entwickelt.
Auf dieser Basis wird die Nebenläufigkeit, Konsistenz und Latenz mit zwei Verfahren
untersucht. Die erste Technik ist das Profiling, wobei einige neue Darstellungsformen von
gemessenen Daten entwickelt werden. Diese neu entwickelten Darstellungsformen werden
in der Implementierung eines Profilers verwendet. Als zweite Technik wird das Model
Checking analysiert, welches bisher noch nicht im Kontext von Interaktiven Echtzeitsystemen
verwendet wurde. Model Checking dient dazu, die Verhaltensweise eines Interaktiven
Echtzeitsystems vorherzusagen. Diese Vorhersagen werden mit den Messungen aus
dem Profiler verglichen.