Prof. Dr. Holger Giese

Quantitative analysis of service-oriented real-time systems with structure dynamics II

The goal of the project is to develop new quantitative models and quantitative analysis techniques for service-oriented real-time systems that provide support for structure dynamics, real-time behavior, and uncertainty that are particularly important in the domain of service-oriented real-time systems. While already some models supporting these aspects to a certain degree exist and substantial progress has been achieved in the last years concerning their analysis, models that support all required aspects to the desired degree in one model are still missing. In this project, we therefore plan to extend the existing model of probabilistic timed graph transformation systems to probabilistic hybrid, stochastic timed, and stochastic hybrid graph transformation systems. We also plan to develop suitable analysis techniques by integrating existing tools to enable the quantitative analysis of a larger class of systems and their properties than supported by the currently existing models.

Project Partner

Project Funding

This project is financed by the DFG.