[Zurück zum
Forschungsbericht]

Deutsch-Chinesisches Projekt CAP

Projektbeschreibung:
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.

Weitere Informationen: http://www.cap-sino-german-lab.science/
Ansprechpartner: Bernd Becker
Tel: 0761 - 203 8140
Email: becker@informatik.uni-freiburg.de
Projektlaufzeit:
Projektbeginn: 01.10.2015
Projektende: 30.09.2018
Projektleitung:
Holger Hermanns, Lijun Zhang
Stellvertretung: Ralf Wimmer
Universität des Saarlands
Chinese Academy of Sciences

Rechnerarchitektur
Prof. Dr. Bernd Becker
Georges-Köhler-Allee 051
79110 Freiburg i. Br.

Telefon: 0761 203 8140
Fax: 0761 203 8142
http://ira.informatik.uni-freiburg.de

Mitarbeiter:
  • Braitling Bettina
  • Scheibler Karsten
  • Schubert Dominik
Finanzierung:

  • Deutsch-Chinesisches Zentrum für Wissenschaftsförderung, Sonstiges

Projektbezogene Publikationen:

  • Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Maria Ferrer Fioriti, Holger Hermanns, Bernd Becker: Cost vs. Time in Stochastic Games and Markov Automata Proc. of SETTA, 2015; 9409: 19-34 (International Symposium on Dependable Software Engineering: Theory, Tools and Applications (SETTA)), Springer-Verlag (Hrsg). : https://dx.doi.org/10.1007/978-3-319-25942-0_2

Aktueller Forschungsbericht