Technische Informatik I: Betriebssysteme

Die folgende Beschreibung ist noch nicht endgültig.. PBL 23.2.96

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.

Seit den letzten 10 Jahren erscheint der Internet-Newsletter

   FORUM ON RISKS TO THE PUBLIC IN COMPUTERS AND RELATED SYSTEMS (comp.risks)
   ACM Committee on Computers and Public Policy, Peter G. Neumann, moderator

Er ist im WWW unter http://catless.ncl.ac.uk/Risks/ zu lesen.

Von Zeit zu Zeit erscheinen eigene Artikel zu dem Thema in den Zeitungen und Zeitschriften wie ``The Economist'' und ``Der Spiegel''. In der letzten Zeit sind z.B. folgende Artikel erschienen: die Computer-Steuerung des Airbus A320/A330/A340 und Boeing B777, Meinungen über Pornographie im Internet, staatliche Kontrolle-Vorschläge zur Kryptographie von Daten (z.B. private Email), Kreditkarten- und bargeldlose Zahlung im Internet, usw. In diesem Seminar diskutieren wir besondere Risiken im Zusammenhang mit der alltäglichen Benutzung von Computern. Die Quellen stehen fast alle auf dem WWW zur Verfügung oder sind in den Zeitschriften erschienen. Teilnehmer müssen ein Thema auswählen, es untersuchen und in dem Seminar in das Diskussionsthema einführen. Anschließend wird eine schriftliche Ausarbeitung über das Thema und die Diskussion erwartet. Besondere technische Kenntnisse und Vorkenntnisse von den behandelten Themen sind nicht erforderlich. Die Teilnehmer müssen aber bereit sein, das WWW, Zeitungen und anderen Quellen zu benutzen, um ein gestelltes Thema zu erarbeiten. Folgende Themen werden als Vorschläge angeboten:

• Die soziale Regulierung des Internets, insbesondere für Kinder und andere Gesellschaften und Länder;
• Die unbeschränkte Kodierung der Kommunikationen über das Internet;
• Die unbeschränkte(?) Verfügbarket der Pornographie über das Internet;
• Die Geschichte der Airbus-Un- und Vorfälle;
• Vergleich des Airbus-Designs mit dem der B777;
• Risiken der Verwendung von Computern in Autos, z.B. für Bremsensteuerung und andere Kontrollsysteme;
• Risiken in anderen Steurungsystemen wie digitale Telefonvermittlungsanlagen, Kraftwerksteuerungen, Bahnsignale, usw.;
• Die Clipper-Chip-Auseinandersetzung in den USA und in anderen Ländern wie z.B. Australien;
• Die Möglichkeit des rein elektronischen Banking.

Im diesen Semester sind alle eingeladen, die Interesse an Problemen mit der Spezifikation und Verifikation von Systemen haben. Wir diskutieren die verschiedenen Methoden um Systeme zu spezifizieren und die Möglichkeit, die Korrektheit dieser Systeme zu beweisen. Dazu diskutieren und probieren wir die Theorem-Provers Eves und PVS. Als Themen nehmen wir die Spezifikation des Radio-Link-Protokolls (ein Teil der TDMA-Technik für den Cellular-Telefon-Service) und den Beweis des Lazy-Caching-Algorithmus von Afek, Brown, Merritt.

Wir richten auch im RVS-Bereich unser eigenes Unix-Netz ein. Wir diskutieren im AG-Seminar auch die Organisation und die wesentlichen Software-Tools wie NFS- und sendmail-Configuration. Für Interessenten gibt es die Mölichkeit, nach einiger Zeit im RVS-Netz-Dienst mitzuarbeiten.

Das Seminar trägt der sprunghaft wachsenden Bedeutung des World Wide Webs und der damit einhergehenden Informationsinflation sorge. Neben einer kurzen Einführung in HTML, stehen Design- und Aufbauaspekte im Vordergrund. Dabei wird besonders auf die Informationsdarstellung wert gelegt werden. Dazu werden Techniken der Gestaltung in HTML 2.0, in den Netscape HTML Erweiterungen behandelt, aber auch neue Methoden durch HotJava und VRML (Virtual Reality Markup Language). Anstatt einer Seminararbeit werden kleinere Projekte verteilt, die im Seminar vorgstellt und dann als HTML-Struktur niedergelegt werden.

Zurück zur ...