Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Software Engineering für spezielle Anwendungsgebiete: Entwurf und Implementierung paralleler Programme

Aktuelles

  • 05.12.2014: Termin Einsicht der Nachholklausur: Die Klausureinsicht findet am Donnerstag, den 11.12.2014, um 14-15 Uhr im Raum F006, Oettingenstr. 67 statt.
  • 11.11.2014: Termin schriftliche Nachholklausur: Die Nachholklausur findet am 28.11.2014 von 13-16 Uhr im Raum BU101, Oettingenstr. 67 statt. Die Bearbeitungszeit beträgt (wie bei der regulären Klausur) 120 Minuten. Die Bearbeitungszeit beginnt um 13:15 Uhr, seien Sie aber bitte schon um 13:00 Uhr im Raum. Es sind keinerlei Hilfsmittel zugelassen. Der Abmeldezeitraum wurde bis 26.11.2014 08:00 Uhr verlängert.
  • 07.11.2014: schriftliche Nachholklausur: Die Nachholklausur findet schriftlich statt. Als möglicher Termin stehen der 27.11., 28.11. oder 29.11. zur Verfügung. Ein entsprechender Raumantrag läuft gerade. Der genaue Termin wird sobald wie möglich hier bekannt gegeben. Die Anmeldung zur Klausur ist bereits abgeschlossen, eine Abmeldung von der Klausur kann noch bis 19.11.2014 per UniWorX erfolgen.
  • Ältere Meldungen

Inhalte

In komplexen Systemen werden häufig eine Vielzahl von Prozessen gleichzeitig (bzw. quasi-gleichzeitig) ausgeführt. In dieser Vorlesung werden Methoden und Techniken zur Entwicklung von Softwaresystemen auf der Grundlage paralleler Programme besprochen.

Für die Spezifikation und den Entwurf paralleler Programme wird die auf endlichen Zustandsmaschinen beruhende Sprache FSP (Finite State Processes) von Magee und Kramer verwendet. Damit können typische Phänomene und Eigenschaften, die bei der  Programmierung paraller Programme auftreten, wie z.B. Prozess-Synchronisation, Sicherheits- und Lebendigkeits-Eigenschaften und Deadlocks, erfasst und analysiert werden. Zur Analyse werden Methoden des Model-Checking eingesetzt.

Für die Implementierung paralleler Programme wird das Thread-Konzept von Java verwendet. Es werden methodische Richtlinien für die Überführung von Prozessmodellen in Java-Programme besprochen. Zur Modellierung der Implementierung paralleler Systeme wird die Unified Modeling Language UML verwendet.

Termine

Vorlesung (3-stündig)

  • Do 11ct-14 Uhr, Oettingenstr. 67, Raum BU101

Übung (2-stündig)

  • Fr 10ct-12 Uhr, Oettingenstr. 67, Raum 115 (erstmals am 25.04.)
  • Fr 14ct-16 Uhr, Oettingenstr. 67, Raum 157 (erstmals am 25.04.)

Klausur

Die Klausur wird am Mittwoch, den 23.07.2014 12-15 Uhr im Raum C123 in der Theresienstr. 41 stattfinden.
 
Zur Klausur sind keinerlei Hilfsmittel zugelassen (weder Vorlesungsunterlagen noch elektronische Hilfsmittel). Bitte melden Sie sich per UniWorX zur Klausur an. Die Anmeldung ist ab dem 01.04.2014 bis zum 21.07.2014 09:00 Uhr freigeschalten. Die Klausur kann nur mit vorheriger Anmeldung mitgeschrieben werden. Bedenken Sie aber bitte, dass ein Nichterscheinen bei der Klausur bei vorheriger Anmeldung an das Prüfungsamt gemeldet wird und als einmal durchgefallen im Transcript of Records erscheinen wird. Eine Abmeldung von der Klausur ist bis 21.07.2014 09:00 Uhr per UniWorX möglich.

Nachholklausur

Die Nachholklausur wird voraussichtlich schriftlich am 28.11.2014 um 13-16 Uhr im Raum BU101, Oettingenstr. 67 stattfinden. Bitte melden Sie sich zur Nachholklausur per UniWorX bis 03.11.2014 an. Eine Abmeldung von der Klausur ist bis zum 19.11.2014 09:00 Uhr möglich. Bedenken Sie, dass ein Nichterscheinen bei der Nachholklausur bei vorheriger Anmeldung an das Prüfungsamt gemeldet wird und als einmal durchgefallen im Transcript of Records erscheinen wird.

Personen

Dozent

Übungsleitung

Materialien

Die folgenden Materialien unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.

Vorlesung

In den Folien sind teilweise Lücken, die in der Vorlesung ergänzt werden.
Die Folien sollen ausgedruckt zur Vorlesung mitgebracht werden um Notizen und Ergänzungen eintragen zu können.

Letzte Aktualisierung: 12.06.2014: Kapitel 8 und Inhaltsverzeichnis hinzugefügt.

Die Folien umfassen den Stoff bis zur 10. und letzten Vorlesung am 10. Juli 2014.

Übung

Hörerkreis

  • Bachelor Informatik (Vertiefende Themen),
  • Master Informatikstudiengänge (Software Engineering für spezielle Anwendungsgebiete),
  • Diplomstudiengänge in Informatik,
  • Nebenfach Informatik zu Diplom-Mathematik oder Diplom-Physik

Benötigte Vorkenntnisse

sequentielles Java sowie Grundkenntnisse der Unified Modeling Language UML

Literatur

Jeff Magee, Jeff Kramer: Concurrency: State Models and Java Programs, Wiley & Sons; Auflage: 2nd ed. (21. April 2006).
Weitere Inhalte (z.B. Folien zum Buch) hier verfügbar:
http://www.doc.ic.ac.uk/~jnm/book/

Tool