Reliability research of computerized voting system

This paper studies the reliability of a real computer system&Mdash;a computer controlled and managed voting system (CCMVS). The CCMVS structure and the significance of reliability estimation are described first. Then the reliability is analyzed with fault tree analysis (FTA) and quantitatively evaluated using symbolic hierarchical automated reliability and performance evaluator (SHARPE). Finally, the weak point of the CCMVS is identified and measures to improve its reliability are proposed on the basis of the reliabilitylity data such as reliability and importance. Experiments have proved that the reliability of CCMVS is obviously improved using reliability techniques.