RVS-Lehrveranstaltungen, Sommersemester 1997-1998

Technische Informatik I: Betriebssysteme

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.

Die Vorlesung beginnt mit einer Einfürung in die Schichten-basierten Klassifikationssysteme f¨ 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, den zwei Protokollen, die 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 ins 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äeft. 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 veilleicht 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

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

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.

Zurück zur ...