| Article ID: | iaor20001765 | 
| Country: | Netherlands | 
| Volume: | 115 | 
| Issue: | 2 | 
| Start Page Number: | 368 | 
| End Page Number: | 379 | 
| Publication Date: | Jun 1999 | 
| Journal: | European Journal of Operational Research | 
| Authors: | Berman Oded, Kumar U. Dinesh | 
| Keywords: | quality & reliability | 
This paper presents optimization models for a fault tolerant software by selecting a set of versions for a given program. The objective is to maximize the reliability of the software satisfying a budget limitation. Optimization models are developed for two block recovery schemes: (1) independent recovery block and (2) consensus recovery block. The paper also presents simple formulas to calculate the reliability of the two schemes.