Submitted: April 2008
Abstract
The analysis of complex systems is an important field in computer science. For qualitative properties of systems, this problem is quite well understood now. There exists a wide tool support for specification of models and properties as well as the analysis of them.
Currently, quantitative properties are more and more becoming the focus of interest. These quantities include complicated timing behavior and continuous state-spaces as well as stochastic and probabilistic characteristics.
The purpose of this thesis is the analysis of systems with random behavior with certain unknown parameters, like the reliability of sub-components. The approach analyzes the property for all parameter evaluations of a system without formerly fixing concrete values. That is, all possible values of parameters are considered at once. Within others, the result acquired by such an analysis allows for finding optimal parameter evaluations for a certain property.