Coverage modeling for dependability analysis of fault-tolerant systems
作者： J.B. Dugan , K.S. Trivedi
DOI: 10.1109/12.24286
关键词:
摘要: Several different models for predicting coverage in a fault-tolerant system, including permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous extended stochastic Petri net computing developed. Two types of events that interfere with recovery examined; methods modeling such events, whether they deterministic or random, given. The sensitivity system reliability/availability to the parameter various error-handling strategies investigated. It is found policy attempting upon detection an error (as opposed automatically reconfiguring affected component out system) can actually increase unreliability system. >
acm.org
jaxa.jp参考文章(20)
YASHWANT K. MALAIYA, STEPHEN Y. H. SU, A survey of methods for intermittent fault analysis 1979 International Workshop on Managing Requirements Knowledge (MARK). pp. 577- 586 ,(1979) , 10.1109/MARK.1979.8817149
Yann-Hang Lee, Characterization of failure handling in fault-tolerant multiprocessor systems University of Michigan. ,(1985)
K. S. Trivedi, G. Ciardo, A. Bobbio, J. B. Dugan, The Design of a Unified Package for the Solution of Stochastic Petri Net Models International Workshop on Timed Petri Nets. pp. 6- 13 ,(1985) , 10.21236/ADA150326
J. B. Dugan, K. S. Trivedi, R. M. Geist, V. F. Nicola, Extended Stochastic Petri Nets: Applications and Analysis international symposium on computer modeling measurement and evaluation. pp. 507- 519 ,(1984) , 10.21236/ADA148439
H. Kopetz, A. Avizienis, T. Anderson, J. C. Laprie, P. A. Lee, Fault tolerance, principles and practice ,(1990)
Mary K. Vernon, Mark A. Holliday, The GTPN analyzer: numerical methods and user interface fall joint computer conference. pp. 1099- 1105 ,(1986) , 10.5555/324493.325062
Kishar Shridharbhai Trivedi, Probability and Statistics With Reliability, Queuing and Computer Science Applications ,(1982)
Terry Williams, Probability and Statistics with Reliability, Queueing and Computer Science Applications Journal of the Operational Research Society. ,vol. 34, pp. 916- 917 ,(1983) , 10.1057/JORS.1983.197
Bobbio, Trivedi, An Aggregation Technique for the Transient Analysis of Stiff Markov Chains IEEE Transactions on Computers. ,vol. 35, pp. 803- 814 ,(1986) , 10.1109/TC.1986.1676840
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