J. Cox, T. Chaney, D. Zar
13 Feb 2011
By simulating the behavior of a synchronizer, an estimate of its Mean-Time-Between-Failures (MTBF) can be obtained. The method for estimating MTBF described here was originally based on the work of Molnar and Rosenberger , work which depended heavily for its success on their extensive experience in carrying out simulations of synchronizers. The recent work of Kinniment  and that of Jones, Wang and Greenstreet  have been of considerable benefit in improving and automating our approach. In addition, we review the stochastic aspects of estimating MTBF.