Offene Projekte

Effiziente Implementierung verschiedener Verifikationsalgorithmen

Kurze Beschreibung des Projektes. Durch die große Verbreitung technischer Systeme ist die korrekte Herstellung von Software und Hardware von immenser Bedeutung. Dies trifft insbesondere bei 'kritischen' Systemen zu, wobei kritisch bedeuten kann, dass von der korrekten Arbeitsweise des Systems viel Geld, viel Zeit oder sogar Menschenleben abhängen. Obgleich hier noch große Herausforderungen existieren, gibt es bereits etlich spannede Ergebnisse und anspruchsvolle Algorithmen. In diesem Projekt soll sich die Teilnehmerin in einen Teil dieses Gebiets einarbeiten. Anschließend kann das Projekt eine eher theoretische Richtung nehmen oder die praktische Implementierung von Verifikationsalgorithmen zum Inhalt haben.
Vorwissen dieser Module wäre nützlich: FGI1, AuD
Das Projekt passt am besten zu diesem Modul: FGI1, AuD
Kontakt: Frank Heitmann( heitmann"AT"informatik.uni-hamburg.de)

Kurze Beschreibung des Projektes. Bei den heutigen großen Softwaresystemen ist es einzelnen EntwicklerInnen nicht mehr möglich, den ganzen Quellcode zu überblicken. Die Softwarearchitektur hilft dann zumindest grob den Überblick über das System und die Schnittstellen zu behalten. Ein Architekturstil wiederum gibt gewisse Vorgaben, wie die Architektur entworfen werden soll, was also beispielsweise erlaubt und was verboten ist. Im Laufe der Arbeit an einem Softwaresystem kommt es allerdings häufig vor, dass die Architektur des tatsächlichen Systems von der gewünschten Architektur bzw. dem Stil abweicht. In diesem Projekt soll sich die Teilnehmerin in das Thema Softwarearchitektur im Allgemeinen und Softwarearchitekturstile im Speziellen einarbeiten und dann an der Fragestellung mitarbeiten, wie dem obigen Problem entgegen gewirkt werden kann.
Vorwissen dieser Module wäre nützlich: SE1, SE2
Das Projekt passt am besten zu diesem Modul: SE2
Kontakt: Petra Becker-Pechau, Frank Heitmann( heitmann"AT"informatik.uni-hamburg.de)

Kurze Beschreibung des Projektes. In diesem Projekt sollen zur Unterstützung des Lernprozesses insbesondere in den theoretischen Fächern wie FGI1 und AuD verschiedene Methoden der Visualisierung des Stoffes erdacht, entworfen und implementiert werden. Im Anschluss sollen diese neue Methoden eingesetzt und evaluiert werden. Da wir bei FGI1 oder AuD beginnen wollen, sind Kenntnisse dieses Stoffes hilfreich, dieser kann aber auch während des Projektes aufgefrischt werden.
Vorwissen dieser Module wäre nützlich: AuD oder FGI1, etwas DM
Das Projekt passt am besten zu diesem Modul: AuD oder FGI1
Kontakt: Frank Heitmann( heitmann"AT"informatik.uni-hamburg.de)