This is an archived page and is no longer updated.
Current content of Prof. Ladkin's research group is available at https://rvs-bi.de/

RVS-Lehrveranstaltungen - Sommersemester 1999

Technische Informatik I: Betriebssysteme

Beleg-Nr.: 39 20 05
Beginn: Freitag 9. April, 10:00-12:00, H15
Organisatorisches Tutorium: Noch nicht festgelegt
Festliegende Tutorienzeiten: Noch nicht festgelegt

Die Vorlesung ist zweigeteilt:

Mit Hilfe von TLA+ werden Beispiele aus dem Betriebssystem-Part der Vorlesung `implementiert'. Als Ziel nehmen wir letztendlich die `Implementation' eines kleinen Round-Robin-Scheduler. Ein Skript und andere Hinweise stehen unter der Technischen Informatik I Seite (Hinweis: die Seite wird nach Änderungen als Seite für Technische Informatik II bezeichnet!) zur Verfügung.

Literatur

Zusätzlich könnten folgende Bücher hilfreich sein:


System-Administration

Beleg-Nr.: 39 21 11
Beginn: Donnerstag der 8. April, 10:00-12:00, D6-135

Die Vorlesung bietet Vorträge über die Teile der Administration eines vernetzten Rechner-Systems, die man nicht unbedingt durch Praxis bekommen kann, u.a.

Die Vorlesung beginnt mit einer auf dem On-Line-Handbuch "Einführung in die Computernetze" basierten Einführung in das Ethernet und TCP/IP. Weitere Teile des Buches können im Lauf des Semesters zur Verfügung gestellt werden.

Begleitmaterialien zur Veranstaltung werden auf einer Webseite zur Veranstaltung veröffentlicht.

Literatur

Allgemeine Literatur für Computernetze


Projekt-Seminar: WB-Analyse und Einzelprojekten

Beleg-Nr.: 39 21 28
Beginn: Erstes organisatorisches Treffen, Mi 7.4, 14.00, D6-131

Wir werden die WB-Analyse Methode (WBA) für Analyse von Vor- und Unfall-Berichten anwenden. WBA ist eine Entwicklung von Prof. Ladkin, um Kausal-Faktoren in Unfälle genau anzugeben und zu analysieren; und weiter die Analyse zu verifizieren. Wir werden neue Beispiele bearbeiten und Unterstützung-Tools entwickeln. Ausserdem besteht die Möglichkeit, Einzelprojekten im Rahmen des Seminars zu machen.

Literatur


Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme

Beleg-Nr.: 39 21 41
Beginn: Erstes organisatorisches Treffen, Di 6.4, 14.00, D6-131

Alle sind eingeladen, die Interesse an Problemen mit der Spezifikation, Verifikation und Analyse von Systemen haben. Themen sind: