Fragen zu PMfE bitte nur mit dem verantwortlichen Mitarbeiter Daniel Lüdtke klären, andere Kollegen sind für ihre jeweiligen Lehrveranstaltungen zuständig. Sprechzeit ist die betreute Rechnerzeit oder nach Vereinbarung. In dringenden Fällen sonst bitte im Sekretariat oder bei technischen Problemen mit der Eisenbahnanlage bei Alexander Margraf (EN249) nachfragen.
Anmeldung zur Lehrveranstaltung ab 08.04.2009, 10:00 Uhr
Allgemeine Informationen
- Inhalt der Lehrveranstaltung
- Vorlesung und Prüfung: Professor Dr.-Ing. habil.
Konstantin Kondak
Organisation und Übungsbetrieb: Daniel Lüdtke, Raum EN 251, E-Mail dluedtke(at)cs.tu-berlin.de, Tel. 314-25324 - Allgemeine Hinweise zu den Veranstaltungen des Fachgebiets PDV/Robotik.
- LV-Nummer 0433 L 410 (Vorlesung), 0433 L 411 (Großübung), 0433 L 412 (Rechnerübungen)
- Veranstalung des Haupt-/Vertiefungsfachs
Prozessdatenverarbeitung
Vertiefungsveranstaltung im Studiengebiet TNA
Bestandteil des Master-/Bachelor Moduls PDV2
Termine der Veranstaltungen
- Vorlesung: Dienstag 12-14 Uhr, C 264, Beginn 14.04.2009
- Großübungen: Mittwoch 12-14 Uhr, MA 043, Beginn 15.04.2009, nur an einigen Terminen, siehe Tabelle
- Rechnerübung: Mittwoch 14-18 Uhr, davon betreut 15
bis 17 Uhr
Rechnerräume: EN 266 und EN 258/259
Zugangscode wird in der ersten Vorlesung (14.04.2009) bekanntgegeben. - Klausur: Montag, 20. Juli 2009 09-12 Uhr im EB 301
Nützliche Unterlagen
- Vorlesungsfolien als PDF
- Ergänzende Materialien zur Vorlesung:
- Daten im Verzeichnis /home/pdv/lehre/pmfe
- Informationen zur Modelleisenbahnanlage und ihrer Programmierung
- PMfE-Ada-Umgebung
- Ada Language Reference Manual
- TimeNET-Umgebung
- TimeNET 3.0 User Manual HTML, PDF (installiert auf den Suns)
- TimeNET 4.0 (zum selbst installieren unter Linux oder Windows)
- gnuplot-Dokumentation (für die 4. Aufgabe)
Übungsbetrieb
Im Laufe des Semesters sind mehrere Übungsaufgaben zu bearbeiten. Die erfolgreiche und fristgerechte Bearbeitung aller Aufgaben ist Voraussetzung, um einen Leistungsnachweis zu erhalten; zur Klausur wird nur zugelassen, wer alle Übungsaufgaben erfolgreich bearbeitet hat. Es ist insbesondere nicht möglich, fehlende Übungsaufgaben in den Semesterferien nachträglich zu bearbeiten, denn der Übungsbetrieb endet mit der Vorlesungszeit des Semesters. Die Note im Leistungsnachweis wird durch das Resultat der Klausur bestimmt, die Bearbeitung der Aufgaben im Übungsbetrieb wird nur mit Ok oder nicht Ok bewertet. Zum Erwerb des Leistungsnachweises muss die Klausur mindestens mit ausreichend bewertet sein.
Die Trennung der Aufgaben in die Blöcke Programmierung einer fehlertoleranten Steuerung und Petri-Netze legt es vielleicht nahe, Gruppenarbeit so zu definieren, dass ein Teil der Arbeitsgruppe sich um die Programmierung, der andere Teil um die Petri-Netze kümmert. Davon ist jedoch abzuraten, denn die Klausur wird nur zu bestehen sein, wenn ausreichend Kenntnisse in allen drei Bereichen, also Vorlesungsstoff, Programmierung einer fehlertoleranten Steuerung und Petri-Netze vorhanden sind.
Die Termine zur Fertigstellung der Aufgaben sind bewusst großzügig gehalten und sollen Euch viel Spielraum für Eure eigene Planung lassen. Erfahrungsgemäß benötigt man jedoch immer länger als geplant, und daher geben wir Euch den dringenden Rat, sofort mit der Programmierung der Eisenbahn zu beginnen. Diese Aufgabe ist so gestaltet, dass mit der Bearbeitung schon nach der ersten Übung begonnen werden kann und Stoff aus der Vorlesung erst später notwendig wird. Die Aufgaben sind zu schaffen, wenn der folgende Zeitplan eingehalten wird. Nach dem jeweils genannten Abgabetermin werden Aufgaben nicht mehr abgenommen, der praktische Teil der Veranstaltung ist dann nicht bestanden!
Aufgaben
Zur Lösung der Programmieraufgaben gehören immer
- die Vorführung des funktionierenden Programms
- Erläuterung des Programms am Rechner
- eine Graphik mit der Prozesskommunikation (Prozesse, Eintrittspunkte, Beziehungen dazwischen)
- und ein kommentiertes Programm, das per e-mail im Klartext (d.h. nicht komprimiert oder als tar-file) dem Betreuer gesendet wird.
Zur Lösung der theoretischen Teile gehört immer die Abgabe einer Ausarbeitung mit der Lösung der Aufgaben, die gedruckt oder ordentlich geschrieben und verständlich dargestellt sein muss.
- Aufgabe 1: Messung der Lok-Fahrzeiten
(Ada)
Abgabetermin: 06. Mai 2009 - Aufgabe 2: Modellierung und Verifikation
(TimeNET)
Abgabetermin: 20. Mai 2009 - Aufgabe 3: Steuerprogramm (Ada)
Abgabetermin: 10. Juni 2009 - Aufgabe 4: Leistungsbewertung
(TimeNET)
Abgabetermin: 24. Juni 2009 - Aufgabe 5: Redundante Steuerung
(Ada)
Abgabetermin: 08. Juli 2009
Großübungen
Zu einigen Schwerpunktthemen werden zur Vorbereitung der Übungsaufgaben Großübungen angeboten, die von einem Wissenschaftlichen Mitarbeiter gehalten werden. In diesen Übungen wird die Arbeitsumgebung erläutert, werden allgemeine Hinweise zur Lösung der Aufgaben gegeben und Fragen hierzu beantwortet. Bitte erscheint zahlreich, denn es ist nicht möglich, in den Rechnerzeiten diese Informationen an Euch weiterzugeben.
| Inhalt | Datum | Unterlagen |
|---|---|---|
| Eisenbahn-API (Aufgaben 1 und 3) | Mi 15.04.2009 | Folien |
| Petri-Netze und TimeNET (Aufgabe 2) | Mi 06.05.2009 | Invarianten |
| Leistungsbewertung mit TimeNET und Ausfallüberwachung (Aufgaben 4 und 5) | Mi 03.06.2009 | Folien |
| Modellierung mit DSPNs und Versionsverwaltung | Mi 24.06.2009 | |
| Fragestunde zur Klausur | Mi 15.07.2009 |
Semesterkalender
| Woche | KW | Di 12-14 C264 | Mi 12-14 MA043 | Mi 14-18 EN266a |
|---|---|---|---|---|
| 13.04. - 17.04. | 16 | VL | GÜ | RZ |
| 20.04. - 24.04. | 17 | VL | RZ | |
| 27.04. - 01.05. | 18 | VL | RZ | |
| 04.05. - 08.05. | 19 | VL | GÜ | RZ - A1 fällig |
| 11.05. - 15.05. | 20 | VL | RZ | |
| 18.05. - 22.05. | 21 | VL | RZ - A2 fällig | |
| 25.05. - 29.05. | 22 | VL | RZ | |
| 01.06. - 05.06. | 23 | VL | GÜ | RZ |
| 08.06. - 12.06. | 24 | VL entfällt | RZ - A3 fällig | |
| 15.06. - 19.06. | 25 | VL | RZ | |
| 22.06. - 26.06. | 26 | VL | GÜ | RZ - A4 fällig |
| 29.07. - 03.07. | 27 | VL | RZ | |
| 06.07. - 10.07. | 28 | VL | RZ - A5 fällig | |
| 13.07. - 17.07. | 29 | Info-Veranstaltung | GÜ |
(Änderungen vorbehalten!)
Arbeitsumgebung
Die praktischen Übungen zu PMfE zur Programmierung einer fehlertoleranten Steuerung werden an den Modelleisenbahnanlagen des Fachgebiets im Raum EN266a erfolgen. Zur Entwicklung der Steuerungssysteme stehen Sun-Arbeitsplatzrechner des Fachbereichsnetzes zur Verfügung. Von dort werden die fertigen Programme auf einen Prozessrechner geladen und zur Ausführung gebracht. Für die Aufgaben 1 und 3 wird ein Prozessrechner benötigt, für Aufgabe 5 sind zwei Prozessrechner notwendig. Es wird in Ada83 programmiert.
Die Aufgaben 2 und 4 werden remote auf einem Linux-Rechnern bearbeitet. Hinweise zur Umgebung, unter der Ihr arbeiten werdet, könnt Ihr den Aufgabenbeschreibungen sowie dem TimeNET-Manual entnehmen. Ergänzende Informationen gibt es in den Großübungen.
Rechnerzeiten
Für einen Arbeitsbereich an den Rechnern ist eine gesonderte Anmeldung erforderlich. Alle Studierenden, die zum Rechnernetz des FB Informatik bisher noch keinen Zugang haben, erhalten Anmeldeformulare im Sekretariat Rechnerbetrieb FR5-3 (Raum FR5091, Öffnungszeiten Mo-Do 9.30-11.00 und 14.00-15.00, Fr 9.30-11.00) und geben diese ausgefüllt auch dort wieder ab. Der Benutzerbereich wird dann umgehend eingerichtet. Da die Umgebung nicht unter einem tubIT-Account läuft, muss bei der Anmeldung auf die Ausnahmeregelung hingewiesen werden.
Während der betreuten Rechnerzeiten ist der verantwortliche Mitarbeiter anwesend (in den Laborräumen oder in seinem Büro). Bei ihm sind die Aufgaben abzugeben. Bitte beachtet diese betreuten Rechnerzeiten unbedingt!
Während der Rechnerzeiten haben die Teilnehmer dieser Veranstaltung Priorität beim Zugang zu den Rechnern. In der Fakultät stehen jedoch mehr Rechner zur Verfügung, als für die Rechnerzeiten benötigt werden. Es ist daher möglich, auch zu anderen als der eigenen Rechnerzeit einen freien Rechner zu finden. Bitte beachtet, dass auch die Teilnehmer anderer Veranstaltung an den Rechnern arbeiten und Arbeitsgruppen aus diesen Lehrveranstaltungen Priorität haben können.
Scheinkriterien
Die Übungsaufgaben werden nicht benotet, nur mit Ok bzw. nicht Ok bewertet. Voraussetzung zur Teilnahme an der Klausur ist, dass alle Übungsaufgaben der Gruppe mit Ok bewertet wurden. Das Ergebnis der Hauptklausur bestimmt die Note. Die Veranstaltung wird für Studierende aller gängigen (Diplom-)Fächer mit 4 SWS anerkannt.
Studierende der Fakultät IV nach StuPO90 können prüfungsrelevante Studienleistungen erbringen. Diese setzen sich wie folgt zusammen:
- Übungsaufgabe 5 als unbenotete protokollierte praktische Leistung,
- Übungsaufgabe 4 als benotete protokollierte praktische Leistung, die mit 30% in die Note im Leistungsnachweis eingeht und
- Hauptklausur, die mit 70% in die Note im Leistungsnachweis eingeht.
Für Studierende, die studienbegleitende Prüfungsleistungen erbringen, besteht die protokollierte praktische Leistung aus der Vorführung und Erläuterung des Lösungsansatzes der Aufgaben, jeweils mit der gesamten Arbeitsgruppe. Die Termine hierfür sind verbindlich die betreute Rechnerzeit in der vorgesehenen Abgabewoche und müssen dem betreuenden Assistenten bis spätestens eine Woche vorher mitgeteilt werden. Sollte die protokollierte praktische Leistung nicht bestanden werden, besteht die Wiederholung aus der erneuten Vorführung zu einem vereinbarten Termin, sonst gilt die gesamte Prüfung als nicht bestanden.
Klausur
Die Klausur wird in der ersten vorlesungsfreien Woche am Montag, den 20. Juli 2009, von 9-12 Uhr im EB 301 geschrieben. Sie erstreckt sich über den Vorlesungsstoff und das Praktikum mit der Programmierung einer fehlertoleranten Steuerung und den Petri-Netzen. Zur Klausur sind Unterlagen zugelassen (Kofferklausur), jedoch sind die Aufgaben von den Studierenden ohne fremde Hilfe zu bearbeiten; jegliche Form der Kommunikation ist untersagt. Voraussetzung zur Teilnahme an der Klausur ist die erfolgreiche Bearbeitung aller Übungsaufgaben. Zum Erwerb des Leistungsnachweises muss die Klausur mindestens mit ausreichend bewertet sein.
Alte Klausuren zum Üben, Stoff kann sich geändert haben (PDF):
