In continuation of a successful series of events, the 4th Many-core Applications Research Community (MARC) symposium took place at the HPI in Potsdam on December 8th and 9th 2011. Over 60 researchers from different fields presented their work on many-core hardware architectures, their programming models, and the resulting research questions for the upcoming generation of heterogeneous parallel systems.
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.