Abschlussarbeiten

Studentische Arbeiten

Wichtig: Es lohnt sich auch immer, persönlich vorbeizukommen und die Mitarbeiter persönlich nach Themen zu fragen.

Folgende Materialien helfen beim Erstellen von wissenschaftlichen Arbeiten:

Vorlage für Studien-, Bachelor und Masterarbeiten am FG Echtzeitsysteme [LaTeX]
Vorlage für Studien-, Bachelor und Masterarbeiten am FG Echtzeitsysteme [Word]

Offene Arbeiten

Automatisierte Testfallgenerierung mit Symbolischem Modelchecking

Bachelor-Thesis, Master-Thesis

Automatisches Synthetisieren von Anwendungsbedingungen aus OCL-Bedingungen für eMoflon-Graphtransformationsregeln

Bachelor-Thesis, Master-Thesis

Analyse und Optimierung von echtzeitkritischen Rekonfigurationsentscheidungen

Bachelor-Thesis, Master-Thesis

Laufende Arbeiten

Weiterentwicklung eines autonomes Modellfahrzeugs

Bachelor-Thesis, Master-Thesis

Implementierung eines Look-Aheads durch Zerlegung von TGG-Regeln

Bachelor-Thesis

Konfliktauflösungsstrategien für modellbasierte Concurrent-Engineering-Methoden

Master-Thesis

Entwurf und Implementierung einer DSL zum Ansteuern einer CNC-Fräse

Bachelor-Thesis

Effiziente Test-Suite Generierung für Software-Produktlinien

Bachelor-Thesis

Abgeschlossene Arbeiten

Zu den abgeschlossenen Arbeiten