---

Peter Tröger nimmt eine umfassende Einordnung und Bewertung von Methoden vor, mit denen sich nicht-funktionale Eigenschaften wie Zuverlässigkeit, Verfügbarkeit und Sicherheit modellieren und analysieren lassen. Er diskutiert dabei die Frage, ob und wie die Unvollkommenheit von Ausgangsinformationen berücksichtigt werden kann. Dafür werden die Teilprobleme Unsicherheit und Uneindeutigkeit im Kontext von Informationstechnologien genauer besprochen. Der Autor zeigt, dass die meisten etablierten Ansätze diese beiden Probleme nur teilweise berücksichtigen, wodurch eine frühe Modellbildung aufwendig oder sogar unmöglich wird. Er stellt einige neue Ansätze vor, mit denen die Berücksichtigung von Unvollkommenheit besser gelingen kann.

---

Verlässliche IT-Systeme.- Qualitative Modellierung.- Quantitative Ausfallprognose.- Quantifizierung von Unsicherheit.- Neue Ansätze für die Berücksichtigung von Unvollkommenheit.

---

Dr. Peter Tröger ist an der Beuth Hochschule für Technik Berlin tätig. Er beschäftigt sich schwerpunktmäßig mit der Gestaltung und Analyse von verlässlichen skalierbaren IT-Systemen.

---