System reliability analysis of an N-version programming application
作者： J.B. Dugan , M.R. Lyu
DOI: 10.1109/24.370232
关键词:
摘要: This paper presents a quantitative reliability analysis of system designed to tolerate both hardware and software faults. The achieves integrated fault tolerance by implementing N-version programming (NVP) on redundant hardware. considers unrelated faults, related transient permanent imperfect coverage. overall model is Markov in which the states chain represent long-term evolution system-structure. For each operational configuration, fault-tree captures effects faults task computation. parameterized using experimental data associated with recent implementation an NVP current design paradigm. considering typical failure rates coverage parameters. authors results show that it important consider system, since these estimates vary time. Moreover, function for error detection recovery extremely fault-tolerant software. Several orders magnitude reduction unreliability can be observed if this provided promptly. >
sci-hub.se 参考文章(16)
Joanne Bechta Dugan, Randy Van Buren, Reliability evaluation of fly-by-wire computer systems Journal of Systems and Software. ,vol. 25, pp. 109- 120 ,(1994) , 10.1016/0164-1212(94)90061-2
J. Arlat, K. Kanoun, J.-C. Laprie, Dependability modeling and evaluation of software fault-tolerant systems IEEE Transactions on Computers. ,vol. 39, pp. 504- 513 ,(1990) , 10.1109/12.54843
V.F. Nicola, A. Goyal, Modeling of correlated failures and community error recovery in multiversion software IEEE Transactions on Software Engineering. ,vol. 16, pp. 350- 359 ,(1990) , 10.1109/32.48942
J.B. Dugan, K.S. Trivedi, Coverage modeling for dependability analysis of fault-tolerant systems IEEE Transactions on Computers. ,vol. 38, pp. 775- 787 ,(1989) , 10.1109/12.24286
D.E. Eckhardt, L.D. Lee, A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 1511- 1517 ,(1985) , 10.1109/TSE.1985.231895
Robin A. Sahner, Kishor S. Trivedi, Reliability Modeling Using SHARPE IEEE Transactions on Reliability. ,vol. R-36, pp. 186- 193 ,(1987) , 10.1109/TR.1987.5222336
K.H. Kim, H.O. Welch, Distributed execution of recovery blocks: an approach for uniform treatment of hardware and software faults in real-time applications IEEE Transactions on Computers. ,vol. 38, pp. 626- 636 ,(1989) , 10.1109/12.24266
J.-C. Laprie, J. Arlat, C. Beounes, K. Kanoun, Definition and analysis of hardware- and software-fault-tolerant architectures IEEE Computer. ,vol. 23, pp. 39- 51 ,(1990) , 10.1109/2.56851
A.T. Tai, J.F. Meyer, A. Avizienis, Performability enhancement of fault-tolerant software IEEE Transactions on Reliability. ,vol. 42, pp. 227- 237 ,(1993) , 10.1109/24.229492
B. Littlewood, D.R. Miller, Conceptual modeling of coincident failures in multiversion software IEEE Transactions on Software Engineering. ,vol. 15, pp. 1596- 1614 ,(1989) , 10.1109/32.58771