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/.

Startseite > Lehre > SoSe 2016 > Entwurf und Implementierung paralleler Programme

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

Aktuelles

  • 22.08.2016: Klausurergebnisse: Die Ergebnisse der Klausur wurden per UniWorX verschickt. Die Klausureinsicht findet am Dienstag, den 30.08.2016, 11-12 Uhr im Raum F003, Oettingenstr. 67 statt.
  • 22.08.2016: Nachprüfung: Eine Nachprüfung wird angeboten. Sie findet Ende November/Anfang Dezember als mündliche oder schriftliche Prüfung abhängig von der Anzahl der Teilnehmer statt. Bitte melden Sie sich bis spätestens 07.11.2016, 09:00 Uhr per UniWorX für die Nachprüfung an. Eine Abmeldung ist ebenfalls nur bis 07.11.2016 09:00 Uhr möglich.
  • 01.08.2016: Verzögerung bei der Bekanntgabe der Ergebnisse der Klausur: Leider verzögert sich die Korrektur und daher die Bekanntgabe der Ergebnisse der Klausur noch etwas. 
  • 04.07.2016: Klausur: Bitte seien Sie am 15.07.2016 um 13:45 Uhr im Raum M018, Geschw.-Scholl-Pl. 1. Die Klausur beginnt pünktlich um 14:00 Uhr. Die Bearbeitungszeit wird 120 Minuten betragen. Es sind keinerlei Hilfsmittel zugelassen.
  • 04.07.2016: Klausuranmeldung: Wenn Sie die reguläre Klausur am Freitag, den 15.07.2016 um 14-17 Uhr mitschreiben wollen, melden Sie sich bitte bis 13.07.2016 09:00 Uhr per UniWorX zur Klausur an. Eine Abmeldung muss ebenfalls bis 13.07.2016 09:00 Uhr per UniWorX erfolgen, sonst wird, wie am Institut üblich, bei Nicht-Erscheinen zur Klausur ein entsprechender Vermerk an das Prüfungsamt gemeldet. Sie werden allerdings in der Klausur auch die Möglichkeit haben, Ihre Klausur zu entwerten. Sie wird dann nicht korrigiert und nicht als durchgefallen gewertet.
  • 16.06.2016: Beispielklausur: Unter Klausur finden Sie eine Beispielklausur inklusive Musterlösung.
  • 08.03.2016: Klausurtermin: Die reguläre Klausur findet am Freitag, den 15.07.2016 um 14-17 Uhr im Raum M018, Geschw.-Scholl-Pl. 1 statt. Bitte melden Sie sich ebenfalls per UniWorX zur Klausur an. Die An- und Abmeldung ist bis 13.07.2016 09:00 Uhr möglich. Eine Teilnahme an der Klausur ohne Anmeldung per UniWorX ist nicht möglich. 
  • 10.02.2016: Anmeldung zur Vorlesung: Bitte melden Sie sich per UniWorX zur Vorlesung an, damit wir einen besseren Überblick über die Anzahl der Hörer haben. Die Anmeldung ist ab sofort möglich.

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, Geschw.-Scholl-Pl. 1, Raum M105

Übung (2-stündig)

  • Fr 10ct-12 Uhr, Oettingenstr. 67, Raum U151 (erstmals am 22.04.2016)
  • Fr 12ct-14 Uhr, Oettingenstr. 67, Raum 123 (erstmals am 22.04.2016)

Klausur

Die reguläre Klausur findet am Freitag, den 15.07.2016 um 14-17 Uhr im Raum M018, Geschw.-Scholll-Pl. 1 statt. Zur Klausur sind keinerlei Hilfsmittel zugelassen (weder Vorlesungsunterlagen noch elektronische Hilfsmittel). 
 
Bitte melden Sie sich per  UniWorX zur Klausur an. Die Anmeldung ist bis zum 13.07.2016 09:00 Uhr möglich. Eine Teilnahme ohne Anmeldung ist nicht möglich! Falls Sie die Klausur kurzfristig doch nicht mitschreiben möchten, bitten wir außerdem um eine Abmeldung per  UniWorX bis zum 13.07.2016 09:00 Uhr (wir möchten vermeiden unnötig viele Kopien anzufertigen!). Nichterscheinen ohne vorherige Abmeldung wird im Transcript of Records vermerkt. Sie werden in der Klausur die Möglichkeit haben, Ihre Klausur zu  entwerten. Sie wird dann  nicht korrigiert und  nicht als durchgefallen gewertet.

Nachholklausur

Zur Nachholklausur sind  keinerlei Hilfsmittel zugelassen (weder Vorlesungsunterlagen noch elektronische Hilfsmittel). Die Nachholklausur findet voraussichtlich Anfang/Mitte des Wintersemesters 2016/17 statt.

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.

Ü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/
 
Es kann bei der Ausführung der Applets auf obiger Seite zu Problemen wegen des neuen Sicherheitslevel von Java kommen. Um diese unter Windows zu beheben, öffnen Sie das "Java Control Panel" (Suchen Sie das Schlagwort "Java" in der Systemsteuerung). Im Tab "Sicherheit" müssen Sie dann eine Ausnahme auf der Ausnahmeliste hinzufügen. Klicken Sie hierzu auf "Siteliste bearbeiten" und dort auf "Hinzufügen". Geben Sie die URL http://www.doc.ic.ac.uk/ ein und Klicken "Ok". Im darauf folgenden Dialog bestätigen Sie, dass diese Ausnahme hinzugefügt werden soll mit "Fortfahren". Nach einem Neustart des Browsers sollte das Applet funktionieren. Mit Google Chrome treten allerdings weiterhin Probleme auf, wofür wir leider noch keine Lösung gefunden haben. Für Firefox und Internet Explorer sollte dieses Vorgehen allerdings Abhilfe schaffen.

Tool

Drucken
nach oben
Impressum - Datenschutz Kontakt