Bewertung der Dependability und anderer -abilities von Systemen
Blockseminar, Hauptstudium, im Wintersemester 2005
Veranstaltungsnummer: 044576
An viele technische Systeme werden in der Praxis hohe Anforderungen gestellt.
Die Menge der wünschenswerten Eigenschaften beinhaltet Dependability, Availability, Reliability, Suvivability, um nur einige "-abilities" zu nennen.
In diesem Seminar befassen wir uns damit,
- was mit diesen Eigenschaften erfasst werden soll,
- wie sich diese Eigenschaften messen, modellieren, berechnen und bewerten lassen,
- welche Techniken und Werkzeuge hierfür existieren.
Eine Untersuchung beispielsweise der Verfügbarkeit eines Systems wird anhand eines mathematischen Modells kalkuliert.
In diesem Seminar sollen aktuelle Ansätze der modellgestützten Bewertung von
Systemen aufgearbeitet werden.
Literaturhinweise werden bei der Themenvergabe gegeben.
Blockseminar am Ende der Vorlesungszeit
Zeitplan:
-
Mitte Oktober bis Mitte November: Themenvergabe (Di, 14.00-16.00 Uhr, Zimmer
403, GB V, Campus Süd), erstmalig 18.10.2005
-
Mitte Oktober bis Anfang Februar: Themenbearbeitung unter Rücksprache mit
dem Veranstalter
-
Ende der Vorlesungszeit: 1 bis 2-tägiges Kompaktseminar
Aufgaben der Teilnehmer:
-
Einarbeitung in einen aktuellen Ansatz, Literatursuche und Auswertung
- Schriftliche Ausarbeitung zum gewählten Thema
-
Vortrag und Teilnahme am Kompaktseminar
Die inhaltliche Gestaltung sollte sich an den folgenden Fragen orientieren:
- Wie funktioniert das reale System?
- Welche Aspekte des Systems werden in der Modellierung berücksichtigt und warum?
- Wie wird das Modell formal notiert? Welche Eigenschaften hat die gewählte Notation?
- Mit welcher Methodik, Technik, Algorithmen werden Eigenschaften
bestimmt? Ist der Einsatz der Technik für derartige Modelle und
Fragestellungen ülich?
- Welche Ergebnisse werden erzielt? Lassen sich die Ergebnisse nachvollziehen?