Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
RVS-Lehrveranstaltungen - Sommersemester 1998
Technische Informatik I: Betriebssysteme
Beleg-Nr.: 39 20 05Beginn:
Die Vorlesung ist zweigeteilt:
- zum einen werden die Grundbegriffe der Betriebssysteme behandelt,
- zum anderen wird eine Einführung in der Benutzung der Spezifikationssprache TLA+ erfolgen.
Literatur
- A. Silberschatz, J.L. Peterson, P.B. Galvin: Operating Systems Concepts, Addison-Wesley.
- Verschiedene TLA-Dokumente aus dem World-Wide-Web, gesammelt unter den TLA Homepage von Michael Blume.
- Andrew Tanenbaum: Moderne Betriebsysteme, Prentice-Hall/Hanser-Verlag (auch in Englisch: Modern Operating Systems).
- Andrew Tanenbaum: Betriebsysteme, Prentice-Hall/Hanser-Verlag (auch in Englisch: Operating Systems). (Nein, es ist nicht dasselbe Buch - es ist mehr ein How-To für Programmierer.)
Computer Netzwerke
Beleg-Nr.: 39 21 35Beginn: Donnerstag der 16. April, 14:00-16:00, D6-135
Die Vorlesung beginnt mit einer Einführung in die Schichten-basierten Klassifikationssysteme für Protokolle und Dienste, die überall in den Telekommunikationswissenschaften benutzt werden. Das ISO-Standard-Modell besteht z.B. aus 7 Schichten. Danach folgt eine Einführung in TCP/IP, dem Protokollstapel, den das Internet benutzt (Heiko Holtkamp).
Die untere Schicht eines Netzes besteht aus Protokollen und Diensten, die nah an der Hardware liegen. Diese Schichten benutzten oft spezialisierte Hardware: Bridges, Routers, Gateways u.s.w. Eine Einführung in das Ethernet wird auch Erklärungen über die zugehörigen Hardwareteile beinhalten (Michael Blume).
Die Architektur eines Netzes und die dafür benutzten Algorithmen sind nur eine Aspekt der korrekten Funktion eines Netzes. Darüber hinaus ist auch Leistung wichtig - wie ein Netz unter leichtem und schwerem Verkehr läuft. Dafüer braucht man eine Technik zur Messung der Leistung. Es wird erklärt, wie man die Leistung eines Netzes unter verschiedenen Aspekten messen kann (I Made Wiryana).
Damit man sieht, wie die neueste Internettechnik aussieht, wird eine kurze Enführung im IP New-generation, die Weiterbilding von IP, und vielleicht auch das Lightweight Directory Access Protokoll, LDAP gehalten (Mark Niemann).
Protokolle sind eigentlich entworfen, neue `Service'-Eigenschaften von Lower-level Protokoll-Eigenschaften auszubauen. Z.B., wie man ein zuverlässiges Nachrichten-Lieferungs-Dienst aus einem unzuverlässigen Paket-Lieferungs-Protokoll aufbauen kann. Es ist wesentlich, daß solche Mechanismen genau sind, und wie geplant funktionieren. Deshalb müssen sie genau spezifiziert werden, damit die Algorithmen verifiziert werden können. Verschiedene Protokoll- und Dienst-Ausbau-Mechanismen werden in der Prozess-Algebra CSP (für Communicating Sequential Processes) beschrieben (Peter Ladkin).
Literatur
- Einführung
in die Computernetze (Deutsch und English),
Michael Blume, Heiko Holtkamp, I Made Wiryana, RVS-Bk-02, 7 Mai 1998. - (Queueing-Theorie + Leistungsmessen)
Data Networks, D. Bertsekas und R. Gallager, 2nd Edition, Prentice-Hall 1992. - (Allgemeine Protokollen und Spezifikation)
Principles of Protocol Design, R. Sharp, Prentice-Hall 1994.
Allgemeine Literatur für Computernetze
- Computer Networks (Deutsche Ausgabe: Computer Netzwerke), A. Tannenbaum, 3. Ausgabe, Prentice-Hall, 1996
- Data and Computer Communications, W. Stallings, 5. Ausgabe, Prentice-Hall 1997.
WB-Analyse: Projekt-Seminar
Beleg-Nr.: 39 21 35Beginn: Wir treffen uns n.V. Dienstag oder Mittwoch in der ersten Semesterwoche
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. Wir werden neue Beispiele bearbeiten und Unterstützung-Tools entwickeln. Dieses Seminar ist eine Fortzetzung des Projektseminars vom letzten Semester. Trotzdem sind neue Teilnehmer herzlich willkommen - es gibt genügend Beispiele und Probleme für alle!
Literatur
- Towards "Why...Because"-Analysis of Failures
[ Abstract | PS 503K, gzipped ]
Karsten Loer, RVS-Dip-98-02, 20 February 1998 -
wb2dot
A tool for converting WB-Graphs written in textual ASCII form (in EBNF) automatically into graphs. wb2dot uses the dot tool, part of the graphviz suite from Bell Labs.
Michael Höhl
RVS-Soft-04, 9 March 1998 -
Formalising Failure Analysis
[ Abstract |
Paper ]
Thorsten Gerdsmeier, Peter Ladkin, Karsten Loer, 4 June 1997, Report RVS-Occ-97-06 - Analysing the 1993 Warsaw Accident With a WB-Graph Draft Version Michael HHöhl and Peter Ladkin, 12 June 1997.
-
A Tool For Building and Analysing WB-Graphs
Thorsten Gerdsmeier, 3 March 1997, Research Report RVS-RR-97-02
Recommended by Prof. D. Gibbon, Linguistik und Literaturwissenschaft, Uni Bielefeld. -
Analysing the Cali Accident With a WB-Graph
Thorsten Gerdsmeier, Peter Ladkin and Karsten Loer
Second Version, 13 March 1997 (first version, 14 January 1997), Research Report RVS-RR-97-01
in Participant's Proceedings of the first Workshop on Human Error and Systems Development,
Technical Report GAAG TR-97-2, Glasgow Accident Analysis Group, University of Glasgow.
Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme
Beleg-Nr.: 39 21 42Beginn: Wir treffen uns n.V. Dienstag oder Mittwoch in der zweiten Semesterwoche
Alle sind eingeladen, die Interesse an Problemen mit der Spezifikation, Verifikation und Analyse von Systemen haben. Themen sind:
- Methoden um Systeme zu spezifizieren;
- Beweise der Korrektheit dieser Systeme;
- Unterstützung der Beweise mit Hilfe der Theorem-Provers Eves und PVS;
- Beispiele wie das Radio-Link-Protokoll RLP1 und der Lazy-Caching-Algorithmus von Afek, Brown, Merritt;
- Weiterentwicklung der WBA;
- Praktische UNIX-System- und WWW-Server-Verwaltung;
- Weiterentwicklung der Tools fü WB-Graphen, für die, die Interesse in den Themen des Projekt Seminars haben, allerdings nicht im Projekt-Seminar teilnehmen können.