Predicting dependability properties on-line

Consider a system put into operation at time t₀. During the design phase, i.e. before time t₀, a model ℳ is used to tune up certain system parameters in order to satisfy some dependability constraints. Once in operation, some aspects of the system´s behavior are observed during the interval [t₀,t]. In this paper, we show how to integrate into model ℳ the observations made during [t₀,t] in the operational phase, in order to improve the predictions on the behavior of the system after time t