Projektgruppe Modellbasierte Softwareanalyse

Prof. Dr. A.B. Cremers, Dr. Günter Kniesel, Daniel Speicher, Jan Nonnen

Zielgruppe

Die Projektgruppe richtet sich an Studierende im Bachelor- und Diplomstudiengang. Diplom-Studierende können auch nur an dem Seminar teilnehmen (das als B-Seminar gewertet wird).

Themen

Steigende Softwarekomplexität erfordert effektivere und beherrschbarere Herangehensweisen an Softwareentwicklung, zum Beispiel an die Entwicklung eingebetteter Fahrzeugsoftware. Als Reaktion auf diese Herausforderungen vollzieht sich seit einigen Jahren ein Paradigmenwechsel von der klassischen Programmentwicklung hin zu modellbasierten Techniken. Der Einsatz solcher Techniken wird bereits bei großen Fahrzeugherstellern wie DaimlerChrysler erfolgreich angewendet.

In der Projektgruppe soll untersucht werden, wie man aktuelle Techniken zur Analyse objektorientierter Software auf modellbasierte Systeme übertragen kann und welche neuen Erkenntnisse und Verwendungsmöglichkeiten sich daraus ergeben.

Dazu wird im Seminarteil (Sommersemester 2010) das grundlegende Wissen vermittelt über Softwareanalyse, modellbasierten Systeme allgemein sowie ein spezielles, modellbasiertes Werkzeug, das die Grundlage unserer praktischen Arbeit im zweiten Teil der Projektgruppe sein wird. Ferner lernen die Teilnehmer sich selbstständig (mit Hilfe ihres Betreuers) in ein wissenschaftliches Thema einzuarbeiten und dieses zu präsentieren.

Der Praktikumsteil (Wintersemester 2010/2011) wird die besprochenen Analyseverfahren mit Hilfe modellbasierter Techniken umsetzen und die Ergebnisse mit bestehenden Ansätzen vergleichen.

Aus diesem Vergleich und den durch die Umsetzung gewonnenen Erfahrungen sollen weitere Verbesserungsmöglichkeiten identifiziert werden, die als Themen von Bachelor- und Diplomarbeiten in Frage kommen. Die TeilnehmerInnen der Projektgruppe wären natürlich bei der Vergabe dieser Themen die bevorzugten KandidatInnen.

Seminar

Praktikum

Organisatorisches

Veranstaltungsnummer (laut Modulhandbuch) BA-INF 051
Veranstaltungsnummer (laut Vorlesungsverzeichnis) 612000073
Leistungspunkte 10 (für Seminar + Praktikum)
Sprache deutsch
Veranstalter Dr. Günter Kniesel, Daniel Speicher
Zuordnung DPO 2003 B

Kontakt

Betreuer E-mail Tel Raum
gk Günter Kniesel gk@cs.uni-bonn.de (0228) 73-4511 A107
dsp Daniel Speicher dsp@cs.uni-bonn.de (0228) 73-4315 A109
jn Jan Nonnen nonnen@cs.uni-bonn.de (0228) 73-4519 A123
Last modified: 2017/08/30 02:46
*