Unsicherheit und Uneindeutigkeit in Verlasslichkeitsmodellen

Peter Troeger nimmt eine umfassende Einordnung und Bewertung von Methoden vor, mit denen sich nicht-funktionale Eigenschaften wie Zuverlassigkeit, Verfugbarkeit und Sicherheit modellieren und analysieren lassen. Er diskutiert dabei die Frage, ob und wie die Unvollkommenheit von Ausgangsinformationen berucksichtigt werden kann. Dafur werden die Teilprobleme Unsicherheit und Uneindeutigkeit im Kontext von Informationstechnologien genauer besprochen. Der Autor zeigt, dass die meisten etablierten Ansatze diese beiden Probleme nur teilweise berucksichtigen, wodurch eine fruhe Modellbildung aufwendig oder sogar unmoeglich wird. Er stellt einige neue Ansatze vor, mit denen die Berucksichtigung von Unvollkommenheit besser gelingen kann.