zur Naviagation springen
 

Sie befinden sich hier:

Departments > Department Informatik > Kontakt > Professoren > Buth Bettina > Themen für Abschlussarbeiten

Aktuelle Themen für Abschlussarbeiten

Eigene Themen aus den folgenden und anderen Bereichen können nach Rücksprache auch bearbeitet werden. Themenfelder

  • SW Engineering - speziell Modellierung mit UML, Testen, Qualitätssicherung
  • Betriebssysteme
  • Theorie der Informatik

Methoden für Sichere Systeme

  • FMEA-Studie: Fehlerklassen in unterschiedlichen Programmiersprachen
    • Ausgangspunkt: Identifizierte Fehlerklassen
  • Sicherheitsstudie am Autonomen Fahrzeug (FAUST)
    • in Absprache mit den Kollegen
  • Fehlerpropagation in verschiedenen Programmierwelten
    • in Java Programmen
    • in C Programmen
    • inwieweit kann Code-Slicing hier unterstützen?
  • Studie: FMEA/FTA-Erweiterungen
    • z.B. State-Event Trees - am Beispiel ausprobieren und Erfahrungen berichten
  • TBD

Formale Methoden

! erfordert etwas mehr Kenntnis von Spezifikationen und mathematischen Methoden;

Verwendung von Model-Checking Werkzeugen wie z.B. SPIN und FDR2

  • FSDT Verifikation - Fail Safe Data Transceiver für drahtlose Kommunikation bei Bahnanwendungen
    • Fortsetzung einer vorhandene Arbeit zum Normalverhalten des FSDTs auf das Ausnahmeverhalten
    • Spezifizieren mit CSP; Verifizieren mit FDR2
  • Modellierung von Routing-Algorithmen mit SPIN