Journal article Open Access

Investigate the Relation between the Correctness and the Number of Versions of Fault Tolerant Software System

Pham Ba Quang; Nguyen Tien Dat; Huynh Quyet Thang

In this paper, we generalize several techniques in developing Fault Tolerant Software. We introduce property "Correctness" in evaluating N-version Systems and compare it to some commonly used properties such as reliability or availability. We also find out the relation between this property and the number of versions of system. Our experiments to verify the correctness and the applicability of the relation are also presented.

Files (260.2 kB)
Name Size
456.pdf
md5:524bc70574571fe3824e23e3a85f57f5
260.2 kB Download
9
4
views
downloads
All versions This version
Views 99
Downloads 44
Data volume 1.0 MB1.0 MB
Unique views 99
Unique downloads 33

Share

Cite as