392151 Netz VerSyS und SysSafe (PjS) (WiSe 2001/2002)
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 nach Vorschlägen sowie vorherigen erfolgreichen Projekten und PjS der RVS-Gruppe sind beispielsweise wie folgt. Netz-Projekte werden in Kooperation mit den AG-RVS-Mitgliedern implementiert werden.
- 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 nach der Industrie-passenden Projekt-Entwicklungsmethoden gemacht, und diese Vorgehensweise wird auch in dem ersten Treffen vorgestellt.
Bibliography
-
- Why-Because Analysis: Formal Reasoning About Incidents, Buch (http://www.rvs.uni-bielefeld.de/publications/books/WBAbook/)(in PS/PDF-Form) von Peter Ladkin und Karsten Loer.
- Zusätzliche Literatur aus den Eizelbereichen.
External comments page
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| by appointment | n.V. |
Subject assignments
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | HS |
No more requirements
No eLearning offering available
- Address:
- WS2001_392151@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_1018188@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=1018188
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 1018188
Top of page