Synchronisation delay in hardware fault-tolerance techniques

This work deals with analytical modelling of synchronisation delay experienced in multiprocessing systems which execute redundant software to improve dependability figures. We propose a stochastic model based on a queuing network approach of system behaviour. We derive a bounded approximation of the distribution function of synchronisation delay by applying the matrix-geometric technique to analyse the model. An exact aggregation of the underlying Markov process is applied to cope with the exponential growth of the state space. Experimental results show that a very tight approximation can be achieved at a low computational time complexity