Das Projekt untersucht quantitative Analysetechniken für probabilistische und hybride Systeme. Solche Systeme werden heutzutage verwendt, um Phänomene zu untersuchen, die in einem breiten Spektrum von Anwendungsdomänen vorkommen, von modernen Stromnetzen über eingebettete Hard- und Software bis hin zu Transportinfrastruktur. Die Prinzipien der quantitativen Analyse für soche Systeme wurden in der jüngsten Vergangenheit von einer aktiven Forschungsgemeinschaft entwickelt, der alle Projektpartner in prominenter Weise angehören. Allerdings stellt die Skalierbarkeit der Techniken eine zentrale Herausforderung dar. Die Projektpartner haben drei vielversprechende Ansatzpunkt identifiziert, um die Skalierbarkeit zu verbessern: Kompositionelle Techniken nutzen die Modularität eines gegebenen Systems aus. Abstraktion verringert die Komplexität eines Systemmodells auf den wesentlichen Kern für die Analyse. Parametrisierung leitet Ergebnisse für ganze Familien von Systemen her, die sich in Parameterwerten unterscheiden. Das Projekt is gemäß dieser Ansatzpunkte strukturiert.