392145 Netz VerSyS & SysSafe (PjS) (SoSe 2002)
Short comment
- Forsetzung
Contents, comment
-
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.
Requirements for participation, required level
-
Dieses Projekt-Seminar ist die Fortsetzung des gleichnamigen Seminars in Winter Semester
2001-2.
Bibliography
-
- Why-Because Analysis: Formal Reasoning About Incidents, Buch (in PS/PDF-Form) von
Peter Ladkin und Karsten Loer.
- Zusätzliche Literatur aus den Einzelbereichen.
External comments page
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Di | 10-12 | C0-272 | ||
| by appointment | n.V. |
Subject assignments
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | VS; RT; ProI | HS |
- Address:
- SS2002_392145@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_1028141@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Friday, December 11, 2015
- Last update times:
- ?
- Last update rooms:
- ?
- Type(s) / SWS (hours per week per semester)
- project seminar (PjS) / 6
- Department
- Faculty of Technology
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=1028141
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 1028141