Quantitative Analyses

From PUMA Graduiertenkolleg
Jump to navigationJump to search


The analysis of non-functional properties such as cost or ressource consumption (such as time, storage, energy,...) has been established for VLSI design but also gains more and more importance for software-intensive systems. The ressource bounds to be respected can be deterministic ("The micro processor may not use more than 2 kbit of memory") or stochastic ("The probability of system deadlock may not exceed 10^-6").