Calculating the reliability of safety-critical systems requires knowledge of the failure rates of individual system components. While failure rates for physical components are well understood, the estimation of failure rates for software components remains an open question.
In this talk, we will discuss first ideas and possible steps towards estimating and predicting software failures using formal models.