Dependability Modelling under Uncertainty: An Imprecise Probabilistic Approach

This work introduces new uncertainty-preserving dependability methods for early design stages. These include the propagation of uncertainty through dependability models, the activation of data from similar components for analyses and the integration of uncertain dependability predictions into an optimization framework. It is shown that Dempster-Shafer theory can be an alternative to probability theory in early design stage dependability predictions. Expert estimates can be represented, input uncertainty is propagated through the system and prediction uncertainty can be measured and interpreted. The resulting coherent methodology can be applied to represent the uncertainty in dependability models.