Personal tools

Quantitative Analyses

From PUMA Graduiertenkolleg

Revision as of 15:12, 21 February 2008 by Seidl (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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").