Rechnernetze
und verteilte Systeme
Universität Bielefeld
- Technische Fakultät
Last modified 18 June 1997
We work on: specification and verification, especially of algorithms and systems with a distributed character or in telecommunications or aeronautical contexts; analysis and optimisation of parallel programs; constraint satisfaction methods and temporal reasoning; logical, philosophical and ethical issues in computing.
Our coordinates in [ English | Deutsch | français | italiano ]
We develop all our courses and seminars using a Tadpole Sparcbook 3GX `laptop' computer running Solaris 2.4. Course and seminar slides in dvi, Postscript or html format are installed on the Sparcbook and displayed using an external transparent monitor on an overhead projector. We aim to go paperless and plasticless, but not brainless ............. A resumé of our plans was prepared for the University's 1st MultiMediaTag on 24 June 1996.
The Operating Systems course is normally given in Summer Semester. The HomePage includes links to the lecture slides, an introductory Skript by Michael Blume, Dirk Henkel and Lutz Sommerfeld, introductions to LaTeX and TLA+, and various secondary resources.
The course and seminar on Specification and Verification of Concurrent Systems is normally given Winter Semester in alternate years. The course is based on Lamport's Temporal Logic of Actions (TLA) and the specification language TLA+. The course works through various examples of hand verifications in TLA. The seminar has the form of a discussion group, in which various specification examples with errors are worked through and corrected. Participants gain practical experience with using proof attempts to analyse hierarchical specifications. The example is a series of attempted specifications of the Radio Link Protocol (RLP1) retransmission mechanism.
The course and seminar will be given first in Winter Semester 1997/98, thereafter in alternate years, alternating with System Specification and Verification. The course will be based on Prof. Ladkin's hypertextbook on the same subject. Seminar participants will study and report on the WB-Graph method of system failure analysis, and other relevant topics in system safety and reliability not covered thoroughly in the lectures.
The Unix SysAdmin seminar was first held in Summer Semester 1997. The HomePage includes a selection of the best talks given by participants, as well as the description of the themes from which they made their selection.
The Anwendung der Logik seminar was first held in Summer Semester 1996. The HomePage includes an introduction to logic by Prof. Ladkin, and lecture notes on various applications of logic in computer science by the participants.
The seminar was first held in Summer Semester 1996. Various themes felt to be important for social life were discussed and worked on.
The WWW-Design seminar has been held Summer Semester 1996, Winter Semester 19996/97 and Summer Semester 1997 jointly by Ahmed Faisal and Prof. Ladkin. The point of the seminar has been to introduce participants to tools and techniques for making effective use of the World Wide Web for communication and computing. Following a series of lectures on `standard' issues, participants give lectures on their individual seminar projects on the WWW. Use of the WWW during these presentations is required.
The Arbeitsgemeinschaft seminar meets normally every semester. Seminar participants have worked on various themes and written papers available on the RVS Publications Page and RVS Unix System Documentation. These include working on