392145 Netz VerSyS & SysSafe (PjS) (SoSe 2002)

Dieses Projektseminar bietet die Mölichkeit an, unterschiedliche Themen in den Bereichen
Computernetz, System-Verifikation und System-Safety zu bearbeiten. Ausgewählte Themen von
Vorschläge sowie vorherigen erfolgreichen Projekten in PjS der RVS-Gruppe sind beispielsweise wie
folgt. Netz-Projekte werden mit Kooperation der AG-RVS-Mitglieder implementiert.

• Virtual Private Netz Software teilweise zu implementieren und auf dem RVS-Netz zu testen;
• Ein Linux-Cluster von 4 Sun Sparcstation 4-Maschinen plus zusätzlichen anderen

Maschinen zu implementieren und konfigurieren;

• Unfall-Beispiele in der Luftfahrt oder bei der Deutschen Bahn mit Hilfe von Why-Because

Analysis zu bearbeiten;

• Algorithmen für die Bedienung der verteilten Systemen zu spezifizieren und

implementieren;

• Tools für die einfachere Benutzung der Causal Systems Analysis und Why-Because Analysis

zu entwickeln.

Beim ersten Treffen werden die Interessen der Teilnehmer diskutiert und passende Projektvorschläge
vorgestellt. Der Lauf des PjSs wird sich nach den Industrie-passenden Projekt-Entwicklungsmethoden
richten, und diese Vorgehensweise wird auch in dem ersten Treffen vorgestellt.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Dieses Projekt-Seminar ist die Fortsetzung des gleichnamigen Seminars in Winter Semester
2001-2.

Literaturangaben

• Why-Because Analysis: Formal Reasoning About Incidents, Buch (in PS/PDF-Form) von

Peter Ladkin und Karsten Loer.

• Zusätzliche Literatur aus den Einzelbereichen.

Externe Kommentarseite

http://www.rvs.uni-bielefeld.de/lecture/S02.html#392145