A methodology and tool for measurement-based dependability evaluation of digital I and C systems in critical applications
暂无分享,去创建一个
[1] Ravishankar K. Iyer,et al. Software Dependability in the Tandem GUARDIAN System , 1995, IEEE Trans. Software Eng..
[2] Dong Tang,et al. Verification and Validation Guidelines for High Integrity Systems. , 1994 .
[3] H. Hecht,et al. Rare conditions and their effect on software failures , 1994, Proceedings of Annual Reliability and Maintainability Symposium (RAMS).
[4] Kishor S. Trivedi,et al. Reliability Modeling Using SHARPE , 1987, IEEE Transactions on Reliability.
[5] Ravishankar K. Iyer,et al. MEASURE+: a measurement-based dependability analysis package , 1993, SIGMETRICS '93.
[6] Dong Tang,et al. Evaluation of software dependability based on stability test data , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[7] John D. Musa,et al. Software reliability measurement , 1984, J. Syst. Softw..
[8] P. J. Green,et al. Probability and Statistical Inference , 1978 .
[9] Ravishankar K. Iyer,et al. Experimental analysis of computer system dependability , 1996 .
[10] J-C. Laprie,et al. DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..