Allgemeines
- Zeit, Ort: Dienstag, 14-16 Uhr, EN 189
- Beginn: 14. Oktober 2008, 14 Uhr, Anwesenheitspflicht
-
Dozenten:
- Prof. Dr.-Ing. Konstantin Kondak, kondak@cs.tu-berlin.de, EN 247, Sprechstunde Montag 13-15 Uhr nur nach Voranmeldung
- Dipl.-Ing. Daniel Lüdtke, dluedtke@cs.tu-berlin.de, EN 251, Sprechstunde Donnerstag 14-15 Uhr
- Anmeldung: erforderlich! Aus dem TU-Netz per Anmeldeprogramm
-
Anrechenbarkeit:
- Seminar (2 SWS SE) im Studiengebiet Technisch- Naturwissenschaftliche Anwendungen - TNA
- Seminar (2 SWS SE) im Fach Prozessdatenverabeitung und Robotik - Technische Informatik Diplom und Elektrotechnik Diplom
- Seminar (3 LP) im Modul Projekt Robotik - Wahlpflichtmodul in Bachelor Technische Informatik, Studienschwerpunkt Technische Informatik, Studienschwerpunkt Softwaretechnik
- Anrechnung in anderen Fächern/Studiengängen auf Anfrage
Inhalt
Inhalt des Seminars ist ein Einblick in aktuelle Techniken, Standards und Verfahren der Modellierung, Implementierung und Validierung von eingebetteten Echtzeitsystemen. Es werden sowohl in der Praxis eingesetzte Industriestandards betrachtet, als auch Vorschläge aus dem Forschungsumfeld vorgestellt. Die Themen erstrecken sich von Programmiersprachen (Ada 2005, Real Time Java, C/C++), bis hin zu Techniken der Spezifikation (UML, farbige Petri-Netze) und Verifikation (WCET Analyse, u.a.). Des Weiteren sollen Beispiele von sicherheitsrelevanten Echtzeitsystemen aus der Praxis betrachtet werden (z.B. das Fly-by-Wire System der Boeing 777).
Scheinkriterien
Jede(r) Teilnehmende (zumindest, wer einen Schein möchte!) bekommt im ersten Termin ein Thema zur Bearbeitung. Literatur bzw. Literaturhinweise werden als Einstieg für jedes Thema zur Verfügung gestellt. Weitergehende Literaturrecherchen werden jedoch erwartet.
Jeder Teilnehmende hält zu seinem Thema einen Vortrag (50-60 Minuten) zu dem festgelegten Termin. Zu dem Vortrag ist eine elektronische Präsentation (Beamer) vorzubereiten. An den Vortrag schließt sich eine etwa halbstündige Diskussion zu dem Vortrag und Thema an.
Im Vortrag sollen insbesondere die Konzepte verständlich anhand konkreter Beispiele vorgestellt werden. Außerdem wird mit den Vorträgen Vortragstechnik und -stil trainiert und bewertet.
Zum Inhalt des Vortrags ist außerdem eine Ausarbeitung im Stil eines wissenschaftlichen Papiers abzugeben (8-12 Seiten Umfang), die in die Bewertung eingeht. Hierbei ist unbedingt das Merkblatt zu Plagiaten der Fakultät IV zu beachten. Die Ausarbeitung ist spätestens eine Woche vor dem jeweiligen Vortrag abzugeben.
Vortragsfolien und Ausarbeitungen werden auf der Seminar-Webseite (universitätsintern) veröffentlicht.
Im Seminar gilt Anwesenheitspflicht zu jedem Termin (max. zwei Fehltermine).
Am Ende des Semesters erhält jeder Teilnehmer, der alle Teilleistungen erbracht hat einen (in den meisten Fällen unbenoteten) Seminar-Schein zur Vorlage beim Prüfungsamt. Die weitere Anerkennung im jeweiligen Fach/Modul/Studiengebiet wird individuell besprochen.
Unterlagen
(PDFs sind nur Seminarteilnehmern zugänglich)
Zeitplan
| Termin | Nr. | Thema | Vortragende(r) |
|---|---|---|---|
| 14.10.2008 | Einführung (Anwesenheitspflicht) | Kondak | |
| Themenvergabe | Lüdtke | ||
| 21.10.2008 | „Was macht einen guten Vortrag aus” oder „Über den Einsatz von Alchimie und Voodoo in guten wissenschaftlichen Vorträgen” (Vortrag, Ausarbeitung) | Lüdtke | |
| „Über die Zubereitung von guten wissenschaftlichen Ausarbeitungen” (Vortrag) | Lüdtke | ||
| 28.10.2008 | entfällt | ||
| 4.11.2008 | entfällt | ||
| 11.11.2008 | 14. | Eignen sich Skriptsprachen für eingebettete Echtzeitsysteme? (Vortrag, Ausarbeitung) | Dülsen |
| 18.11.2008 | 1. | Ada 2005 – Neue Sprachkonzepte seit Ada 83 (Vortrag, Ausarbeitung) | Raschendörfer |
| 25.11.2008 | 2. | Echtzeitsysteme mit Java (Vortrag, Ausarbeitung) | Gutsche |
| 2.12.2008 | 3. | Harte Echtzeitsysteme mit C/C++ (Vortrag, Ausarbeitung) | Awe |
| 9.12.2008 | 4. | Formale Verifikation von eingebetteten Echtzeitsystemen (Vortrag, Ausarbeitung) | Rienecker |
| 16.12.2008 | 5. | entfällt Laufzeitanalysetechniken | Pirch |
| 23.12.2008 | Ferien | ||
| 30.12.2008 | Ferien | ||
| 6.1.2009 | 6. | Fehlerbehandlung bei eingebetteten Echtzeitsystemen (Vortrag, Ausarbeitung) | Kirschner |
| 13.1.2009 | 7. | Dynamische Speicherverwaltung in Echtzeitsystemen (Vortrag, Ausarbeitung) | Regler |
| 20.1.2009 | 8. | Widersprechen sich Echtzeitanforderungen und virtuelle Maschinen? (Vortrag, Ausarbeitung) | Assi |
| 3.2.2009 | 9. | Spezifikation und Bewertung von Echtzeitsystemen mit formalen Methoden (Vortrag, Ausarbeitung) | Fedarenka |
| 3.2.2009 | 10. | Hardware/Software Co-Design von eingebetteten Echtzeitsystemen (Vortrag) | Yilmaz |
| 10.2.2009 | 12. | Das Boeing 777 Fly-by-Wire System (Vortrag, Ausarbeitung) | Dörr |
(Änderungen wahrscheinlich)
