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 2015 > Entwurf und Implementierung paralleler Programme

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

Aktuelles

  • 23.11.2015: Ergebnisse der Nachholklausur: Die Ergebnisse der Nachholklausur wurden per UniWorX veröffentlicht. Die Klausureinsicht findet am Do, den 03.12.2015, um 10-11 Uhr im Raum F006, Oettingenstr. 67 statt.

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 L155

Übung (2-stündig)

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

Klausur

Zur Klausur sind keinerlei Hilfsmittel zugelassen (weder Vorlesungsunterlagen noch elektronische Hilfsmittel). Die Klausur findet am Freitag, den 17.07.2015, 10:00-12:00 Uhr im Raum B051, Theresienstr. 39, statt. Eine Anmeldung erfolgt per UniWorX und ist ab sofort möglich. Die Anmeldung bzw. Abmeldung ist bis 15.07.2015 10:00 Uhr möglich. 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. 

Nachholklausur

Zur Nachholklausur sind  keinerlei Hilfsmittel zugelassen (weder Vorlesungsunterlagen noch elektronische Hilfsmittel). Die Nachholklausur wird in Form einer schriftlichen Klausur am Freitag, den 20.11.2015, 12:00-14:00 Uhr im Raum B U101 in der Oettingenstr. 67 stattfinden. Bitte melden Sie sich bis 18.11.2015 9:00 Uhr per UniWorX zu Klausur an. Ohne Anmeldung können Sie nicht an der Klausur teilnehmen. Bitte bedenken Sie auch, dass wir bei Nicht-Erscheinen trotz Anmeldung wie am Institut üblich das Nicht-Erscheinen im Transcript of Records vermerken. Eine Abmeldung ist ebenfalls bis 18.11.2015 9:00 Uhr per UniWorX möglich.

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: Do, 16.07.15.

Ü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