FB3
TZI
BISS
Lehrveranstaltungen der Arbeitsgruppe Betriebssysteme, Verteilte Systeme im Wintersemester 2004/05
Diese Liste enthält Lehrveranstaltungen, die von Mitarbeitern der Arbeitsgruppe Betriebssysteme, Verteilte Systeme voraussichtlich angeboten bzw. mitveranstaltet werden.
- Lehrveranstaltungen im Grundstudium
- Lehrveranstaltungen im Hauptstudium
- Veranstaltungen für andere Studiengänge
- Stundenplan der AGBS
- Lehrveranstaltungen in vergangenen Semestern
Lehrveranstaltungen im Grundstudium
| Titel: | Praktische Informatik 1 & Programmierpraktikum |
| Art der Veranstaltung: | Vorlesung mit Übungen |
| Beschreibung: | ausführlichere Informationen |
| Lehrveranstalter: | Prof. Dr. Jan Peleska |
| Kategorie: | V+Ü+P |
| Umfang: | 2+2+4 SWS |
| ECTS: | 4+4 |
| Termin: | Vorlesung: Mo. 10-12 Uhr, HS 2010 Übungen und Praktika: s. Homepage |
| Beginn: | 25.10.2004 |
Lehrveranstaltungen im Hauptstudium
| Titel: | Safety-Critical Systems 1 |
| Art der Veranstaltung: | Vorlesung mit Übungen |
| Lehrveranstalter: | Prof. Dr. Jan Peleska, Tobias Hartmann |
| Beschreibung: | ausführlichere Informationen |
| Kategorie: | V+Ü |
| Umfang: | 2+2 SWS |
| ECTS: | 6 |
| Termin: | Vorlesung: Di. 8-10 Uhr,
MZH 7210 Übung: Do. 13-15 Uhr, GW2 B1400 |
| Beginn: 26.10.2004 |
| Titel: | Testautomatisierung 2 |
| Art der Veranstaltung: | Kurs |
| Lehrveranstalter: | Prof. Dr. Jan Peleska |
| Beschreibung: | ausführlichere Informationen |
| Kategorie: | K |
| Umfang: | 4 SWS |
| ECTS: | 6 |
| Termin: | Mo. 15-17 Uhr,
ZB-BB0480  Mi. 8-10 Uhr, MZH 5210 |
| Beginn: | 25.10.2004 |
| Titel: | Spezifikation eingebetteter Systeme |
| Art der Veranstaltung: | Vorlesung mit Übungen |
| Lehrveranstalter: | Prof. Dr. Jan Peleska, Kirsten Berkenkötter |
| Beschreibung: | ausführlichere Informationen |
| Kategorie: | V+Ü |
| Umfang: | 2+2 SWS |
| ECTS: | 6 |
| Termin: | Vorlesung: Do. 8-10 Uhr, GW1-HS 1000 Übung: Di. 15-17 Uhr, MZH 8090 |
| Beginn: | 28.10.2004 |
| Titel: | Verifikation nebenläufiger Programme |
| Art der Veranstaltung: | Kurs |
| Lehrveranstalter: | Dr. Ulrich Hannemann, Dr. Jan Bredereke |
| Beschreibung: | ausführlichere Informationen |
| Kategorie: | K |
| Umfang: | 4 SWS |
| ECTS: | 6 |
| Termin: | Mo. 13-15 Uhr,
MZH 1400 Mi. 13-15 Uhr, MZH 7220 |
| Beginn: | 25.10.2004 |
| Titel: | TRACS - Train Control Systems |
| Art der Veranstaltung: | Projekt |
| Beschreibung: |
Dieses Projekt beschäftigt sich mit der
Entwicklung und Verifikation von Bahnsteuerungssystemen, wie sie in
Stellwerken und Zügen zum Einsatz kommen. Die Software für solche
Systeme besteht typischerweise aus den wiederverwendbaren
("generischen") Steuerungsmodulen und den spezifischen
Konfigurationsdaten (als Projektierungsdaten
bezeichnet), die das
konkrete zu überwachende und steuernde Gleisnetz betreffen. Nach dem
Stand der Technik werden die Steuerungsmodule heutzutage frei
entworfen und programmiert und danach sehr ausführlichen Prüfungen und
Tests unterzogen. Im Projekt wird ein neuer Ansatz verfolgt:
|
| Lehrveranstalter: | Dr. Jan Bredereke , Dr. Ulrich Hannemann |
| Kategorie: | PP/AV |
| Umfang: | 4 SWS |
| ECTS: | 10 |
| Termin: | Fr. 13-15 Uhr, MZH 7250 |
| Beginn: | Findet weiterhin (seit WS2003/04) statt. |
Veranstaltungen für andere Studiengänge
Stundenplan der AGBS
Die Tutorien und Praktika der Veranstaltung PI1 sind hier aus Platzgründen nicht aufgeführt.
| Zeit | Montag | Dienstag | Mittwoch | Donnerstag | Freitag |
| 8-9 |
|
Safety Critical Systems 1 (VL) MZH 7210 Jan Peleska |
Testautomatisierung 2 (K) MZH 7220 Jan Peleska |
Spezifikation eingebetteter Systeme (VL) GW1-HS1000 Jan Peleska |
|
| 9-10 |
|
|
|||
| 10-11 |
Praktische Informatik 1 (VL) HS 2010 Jan Peleska |
|
|
|
|
| 11-12 |
|
|
|
|
|
| 12-13 |
|
|
|
|
|
| 13-14 |
Verifikation nebenläufiger Programme (K) MZH 1400 Ulrich Hannemann, Jan Bredereke |
|
Verifikation nebenläufiger Programme (K) MZH 7220 Ulrich Hannemann, Jan Bredereke |
Safety Critical Systems 1 (UE) GW2 B1400 Tobias Hartmann |
Projekt "TRACS" MZH 7250 Jan Bredereke, Ulrich Hannemann |
| 14-15 |
|
||||
| 15-16 |
Testautomatisierung 2 (K) ZB-BB0480 Jan Peleska |
Spezifikation eingebetteter Systeme (UE) MZH 8090 Kirsten Berkenkötter |
|
|
|
| 16-17 |
|
|
|
||
| 17-18 |
|
|
|
|
|
| 18-19 |
|
|
|
|
|
| 19-20 |
|
|
|
|
|
Lehrveranstaltungen in vergangenen Semestern
Sommersemester 2004
Wintersemester 2003/2004
Sommersemester 2003
Wintersemester 2002/2003
Sommersemester 2002
Wintersemester 2001/2002
Sommersemester 2001
Wintersemester 2000/2001
Sommersemester 2000
Wintersemester 1999/00
Sommersemester 1999
Wintersemester 1998/99
Sommersemester 1998
Wintersemester 1997/98
Sommersemester 1997
Wintersemester 1996/97
Bei Problemen mit dieser Seite: agbs
