Fault-tolerant software voters based on fuzzy equivalence relations

IEEE Aerospace Conference Proceedings

Volumn 4, Issue , 1998, Pages 5-19

  Kim, Kalhee ^a   Vouk, Mladen A ^a   McAllister, David F ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; DIGITAL ARITHMETIC; EQUIVALENCE CLASSES; FAULT TOLERANT COMPUTER SYSTEMS; FUZZY SETS; REDUNDANCY;

FAULT TOLERANT SOFTWARE; FUZZY EQUIVALENCE RELATIONS;

SOFTWARE ENGINEERING;

EID: 0031637918     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.1998.682152     Document Type: Conference Paper

References (25)

1. A. Avizienis and L. Chen, "On the Implementation of N-version Programming for Software Fault-Tolerance During Program Execution", Proc. COMPSAC 77, pp 149-155, 1977.
2. F. Belli and P. Jedrzejowicz, "Fault-Tolerant Programs and Their Reliability", IEEE Trans. Rel., Vol. 29(2), pp 184-192, 1990.
3. B. Randell, "System structure for software fault-tolerance", IEEE Trans. Soft. Eng., Vol. SE-1, pp 220-232, 1975.
4. R.K. Scott, J.W. Gault and D.F. McAllister, "Fault-Tolerant Software Reliability Modeling", IEEE Trans. Software Eng., Vol SE-13, 582-592, 1987.
5. Y.W. Leung, "Maximum Likelihood Voting fir Fault Tolerant Software with Finite Output Space", IEEE Trans. Rel, Vol. 44(3) pp 419-427, 1995.
6. J. E. Potter and M.C. Suman, "Extension of the Midvalue Selection Technique for Redundancy Management of Inertial Sensors", Journal of Guidance, Control, Dynamics, Vol. 9, No.l, January-Februrary 1986.
7. Z. Tong and R. Kain, "Vote assignments in weighted voting mechanisms", IEEE Transactions on Computers, Vol(40), May 1991, pp664-667.
8. K.S. Trivedi, Probability and Statistics with Reliability, Queueing, Computer Science Applications, Prentice-Hall, New Jersey, 1982.
9. D.E. Eckhardt, Jr., L.D. Lee, "A Theoretical Basis for the Analysis of Multi-version Software Subject to Coincident Errors", IEEE Trans. Soft. Eng., Vol. SE-11(12), pp 1511-1517, 1985.
10. D.F. McAllister, C.E. Sun and M.A. Vouk, "Reliability of Voting in Fault-Tolerant Software Systems for Small Output Spaces", IEEE Trans. Rel., Vol 39(5), pp 524-534, 1990.
11. J.C. Knight and N.G. Leveson, "An Experimental Evaluation of the assumption of Independence in Multi-version Programming", IEEE Trans. Soft. Eng., Vol. SE-12(1), pp 96-109, 1986.
12. J. Kelly, D. Eckhardt, A. Caglayan, J. Knight, D. McAllister, M. Vouk, "A Large Scale Second Generation Experiment in Multi-Version Software: Description and Early Results", Proc. FTCS 18, pp 9-14, June 1988.
13. M.A. Vouk, A. Caglayan, D.E. Eckhardt, J. Kelly, J. Knight, D. McAllister, L. Walker, "Analysis of faults detected in a large-scale multiversion software development experiment, " Proc. DASC '90, pp 378-385, 1990.
14. M.A. Vouk, D.F. McAllister, D.E. Eckhardt, K. Kim, "An Empirical Evaluation of Consensus Voting and Consensus Recovery Block Reliability in the presence of Failure Correlation, " Journal of Computer Software Engineering, 1(4), pp 364-388, 1993.
15. K. Kim, M.A. Vouk, D.F. McAllister, "An Empirical Evaluation of Maximum Likelihood Voting in Failure Correlation Conditions, " Proc. ISSRE 96, pp 330-339, 1996.
16. P. R Lorczak, . A.K. Caglayan, D.E. Eckhardt, "A Theoretical Investigation of Generalized Voters for Redundant Systems", Proc. 19th FTCS, Chicago, Illinois, June 1989, pp. 444-451.
17. S. Tamura, S. Higuchi, K. Tanaka, "Pattern Classification Based on Fuzzy Relations", IEEE Transactions on Systems, Man, Cybernetics, Vol(l), No.l, Jan, 1971.
18. J. Bezdeck and D. Harris Fuzzy Partitions and Relations; An Axiomatic Basis for Clustering", Fuzzy Sets and Systems (1) pp 111-127, 1978.
19. S.C. Althoen and R.J. Bumcrot, "Introduction to Discrete Mathematics", PWS-KENT publishing company, 1988.
20. S.S. Brilliant, J.C. Knight, N.G. Leveson, "The Consistent Comparison Problem in N-Version Software", IEEE Trans. Soft. Eng., Vol. SE-15(11), pp 1481-1484, 1989.
21. T.J. Ross, Fuzzy Logic with Engineering Applications, McGraw Hill, 1995.
22. L.A. Zadeh, Fuzzy Sets", in Fuzzy Sets and Applications: Selected Papers by L.A. Zadeh, eds. R.R. Yager, S. Ovchinnikov, R.M. Tong, H.T. Nguyen, Wiley Interscience, 1987.
23. G. J. Klir and B. Yuan, Fuzzy Sets and Fuzzy Logic: Theory and Applications, Prentice Hall, 1995.
24. H.M. Hsu and C.T. Chen, "Aggregation of fuzzy opinions under group decision making", Fuzzy Sets and Systems 79 (1996) pp 279-285.
25. R. Zwick, E. Carlstein and D.V. Budescu, "Measures of Similarity Among Fuzzy Concepts: A Comparative Analysis", International Journal of Approximate Reasoning, 1987, pp 221-242.