Fakultät für Informatik

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

TUM

Master Praktikum im Sommersemester 2013
Seamless Model-based Engineering of a Reactive System

 

In diesem Praktikum sind leider keine Plätze mehr frei.

Inhalt

Model-based Development hat zum Ziel aus formalen Modellen automatisiert lauffähige Software zu erzeugen. Nach dem heutigen Stand der Forschung ist es sogar möglich ein realistisches System von den Anforderungen bis hin zum lauffähigen Maschinencode modellbasiert zu entwickeln. Eine besondere Herausforderung ist dabei ein durchgängiges Systemmodell, das es erlaubt die Modelle der einzelnen Entwicklungsphasen wiederzuverwenden bzw. von einander abzuleiten.

Diese sehr praxisnahe Anwendung von formalen Methoden bleibt einem Studium oftmals verschlossen und umso größer ist das „Aha-Erlebnis“, wenn die Anwendbarkeit dieser Methoden an realen Systemen unter Beweis gestellt wird.

Im Rahmen des Master Praktikums werden die Teilnehmer in die durchgängige modell-basierte Entwicklung eingeführt und werden anschließend zusammen in einem Team ein reales System von den Anforderungen bis zum Maschinencode modellbasiert realisieren. Um das Automatisierungspotential aufzuzeigen soll diese Entwicklung in einem Tool realisiert werden.

Lernziele

Die Teilnehmer nehmen Folgendes aus dem Master Praktikum mit:

  • Was ist Model-based Development und wie wird es in der Praxis eingesetzt? Was sind die Grundsätze und welche Vorteile verspricht man sich davon?
  • Welche formalen Methoden werden in der Praxis eingesetzt? Für was werden sie eingesetzt? Welche Methode ist für welchen Zweck geeignet? Wie hängen die erzeugten Modelle zusammen?
  • Ist es möglich, ein realistisches System komplett modell-basiert zu entwickeln (ohne eine Zeile Code selber zu schreiben)?
  • Welche Vor- bzw. Nachteile bringt diese Entwicklung?

Kriterien

Anwesenheit bei allen Terminen, (Zwischen-)Präsentationen zu dem aktuellen Stand des Projektes, sowie eine Abschlusspräsentation am Ende des Semesters. Da das Praktikum an einigen Stellen auch an Fragen der aktuellen Forschung kratzt, gibt es die Möglichkeit besonders innovative Ergebnisse im Anschluss zu veröffentlichen.

Organisation

Die Entwicklung des Systems soll in Gruppen zu je 2-5 Teilnehmern durchgeführt werden.

Wir würden das Praktikum mit einem kurzen Theorieteil beginnen, in dem wir eine Einführung in die Inhalte geben und die Teilnehmer diese Inhalte anhand von Übungen anwenden. Der anschließende Großteil des Praktikums soll damit verbracht werden, sich in das zu realisierende System einzuarbeiten und es dann zu realisieren. Zum Abschluss sollen die entwickelten Systeme vorgestellt werden und Erfahrungen gesammelt und ausgetauscht werden.

Termine

Das Seminar findet immer Montags von 12:15-13:45 Uhr im Raum 01.11.018 (Konrad Zuse) in Garching statt.
  • 29.01.2013 13:30-14:30 Uhr Infotermin (Folien)
  • 15.04.2013 12:15-13:45 Uhr Einführung/Organisatorisches (Folien)
  • 22.04.2013 12:15-13:45 Uhr AF3 Einführung/Organisatorisches (Folien)
  • 29.04.2013 12:15-13:45 Uhr Besprechung der Tickets/Einführung in AF3 Komponentenmodelle (Folien)
  • 06.05.2013 12:15-13:45 Uhr Besprechung der Tickets / Zusammenarbeit und Teams (Folien)
  • 13.05.2013 12:15-13:45 Uhr Besprechung der Tickets / Feedback (Folien)
  • 27.05.2013 12:15-13:45 Uhr MSC Feasibility und Refinement (Folien)
  • 03.06.2013 12:15-13:45 Uhr Verification Patterns (Folien)
  • 10.06.2013 12:15-13:45 Uhr Besprechung der Tickets (Folien)
  • 24.06.2013 12:15-13:45 Uhr Hardware Topologie und Deployment (Folien)
  • 01.07.2013 12:15-13:45 Uhr Finalisierung der Aufgaben (Folien)
  • 15.07.2013 12:15-13:45 Uhr Informationen zur Abschlusspräsentation (Folien)

Material

Fallstudie CMCS

AF3 Download (bitte AF3 2.x, Nightly Build Version installieren)
AF3 Screencasts

Vorlesung "Modellierung verteilter Systeme"
Paper zu formaler Fundierung
Paper zum Architekturmodell

Veranstalter

Die folgenden Mitarbeiter des Lehrstuhls sind verantwortlich für diese Veranstaltung:


© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2013-07-15 13:27:37