Abstract
Some possibilities for mathematical modelling of safety related systems are studied.Some Markov Chain models are used as method for reaching European Standards. An efficient IAD method for computing stationary probability vectors is presented.