Reliability analysis of N ‐version programming with deadline mechanism

In this paper reliability models for fault tolerant N‐version programming and consensus recovery block (combination of N‐version programming and recovery block) with deadline mechanism are analysed. Explicit expressions for reliability of N‐version programming and consensus recovery block with exponential execution times are derived. The paper also presents optimisation models for real time N‐version programming. The objective of the optimisation problem is to maximise reliability of the software satisfying a budget constraint. The paper also includes efficient branch and bound procedure that can be used to solve the optimisation problem.