A new Markov model of N version programming systems

Abstract

Reliability performance modeling of N version programming is given. The study is based on continuous time Markov model for the general case of N versions. Derived mathematical relations between reliability performances (as a function of version execution time) and modeling parameters enable us to gain a great deal of quantitative results. The obtained results can be used to guide a design of actual systems.<>