Modeling Correlation in Software Recovery Blocks

IEEE Transactions on Software Engineering

Volumn 19, Issue 11, 1993, Pages 1071-1086

  Trivedi, Kishor S ^a  

^a DUKE UNIVERSITY   (United States)

^b HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

Correlation; Markov models; software fault tolerance; software recovery blocks; software reliability; stochastic modeling; stochastic Petri nets

Indexed keywords

APPROXIMATION THEORY; CORRELATION METHODS; CORRELATION THEORY; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; PROBABILITY; RANDOM PROCESSES; RELIABILITY; SOFTWARE ENGINEERING;

MARKOV MODELS; SOFTWARE FAULT TOLERANCE TECHNIQUE; SOFTWARE MODULES; SOFTWARE RECOVERY BLOCKS; STOCHASTIC PETRI NET PACKAGE; STOCHASTIC REWARD NETS;

COMPUTER SOFTWARE;

EID: 0027698703     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.256854     Document Type: Article

References (27)

1. A. Avizienis, “The N-version approach to fault-tolerant software,” IEEE Trans. Software Eng., vol. SE-11, pp. 1491–1501, Dec. 1985.
2. B. Randell, “System structure for software fault tolerance,” IEEE Trans. Software Eng., vol. SE-1, pp. 220–232, June 1975.
3. R. K. Scott, J. W. Gault, and D. F. McAllister, “The consensus recovery block,” in Proc. Total System Reliability Symp., 1983, pp. 74–85.
4. J. Knight and N. Leveson, “An experimental evaluation of the assumption of independence in multiversion programming,” IEEE Trans. Software Eng., vol. SE-12, pp. 96–109, Jan. 1986.
5. J. Knight and N. Leveson, “An empirical study of failure probabilities in multiversion software,” in Proc. 16th Int. Symp. on Fault-Tolerant Computing, July 1986, pp. 165–170.
6. S. S. Brilliant, J. C. Knight, and N. G. Leveson, “Analysis of faults in an N-version software experiment,” IEEE Trans. Software Eng., vol. 16, pp. 238–247, Feb. 1990.
7. R. Scott, J. Gault, and D. McAllister, “Fault-tolerant software reliability modeling,” IEEE Trans. Software Eng., vol. SE-13, pp. 582–592, May 1987.
8. G. Pucci, “On the modelling and testing of recovery block structures,” in Proc. 20th Int. Symp. on Fault Tolerant Computing (Newcastle upon Tyne, UK), 1990, pp. 356–363.
9. G. Pucci, “A new approach to the modeling of recovery block structures,” IEEE Trans. Software Eng., vol. 18, pp. 356–363, Feb. 1992.
10. D. E. Eckhardt and L. D. Lee, “A theoretical basis for the analysis of multiversion software subject to coincident errors,” IEEE Trans. Software Eng., vol. SE-11, pp. 1511–1517, Dec. 1985.
11. V. F. Nicola and A. Goyal, “Modeling of correlated failures and community error recovery in multiversion software,” IEEE Trans. Software Eng., vol. 16, pp. 350–359, Mar. 1990.
12. R. Geist, A. Offutt, and F. Harris, “Estimation and enhancement of real-time software reliability through mutation analysis,” IEEE Trans. Comput., (Special Issue on Fault-Tolerant Computing), vol. 41, pp. 550–558, May 1992.
13. P. E. Ammann and J. C. Knight, “Data diversity: An approach to software fault tolerance,” in Proc. 17th Int. Symp. on Fault-Tolerant Computing (Los Alamitos, CA) (IEEE Computer Society Press, July 1987), pp. 122–126.
14. A. Csenki, “Recovery block reliability analysis with failure clustering,” in Proc. IFIP Working Group 10.4 Int. Working Conf. on Dependable Computing for Critical Applications (University of California, Santa Barbara), Aug. 1989.
15. J. C. Laprie, “Dependability evaluation of software systems,” IEEE Trans. Software Eng., vol. SE-10, pp. 701–714, Nov. 1984.
16. M. C. Hsueh, R. K. Iyer, and K. S. Trivedi, “Performability modeling based on real data: A case study,” IEEE Trans. Comput., vol. 37, pp. 478-484, Apr. 1988.
17. H. Choi, V. G. Kulkarni, and K. S. Trivedi, “Markov regenerative stochastic Petri nets,” in 16th IFIP W.G. 7.3 Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (Performance’93), (Rome, Italy), Sept. 1993.
18. G. Chiola, “A software package for the analysis of generalized stochastic Petri net models,” in Proc. Int. Workshop on Timed Petri Nets (Los Alamitos, CA) (IEEE Computer Society Press, July 1985), pp. 136–143.
19. G. Ciardo, A. Blakemore, P. F. Chimento, J. K. Muppala, and K. S. Trivedi, “Automated generation and analysis of markov reward models using stochastic reward nets,” in Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and Applications, C. Meyer and R. J. Plemmons, Eds., vol. 48. Heidelberg, Germany: Springer-Verlag, 1993.
20. J. Couvillion, R. Freire, R. Johnson, W. O. II, A. Qureshi, M. Rai, W. Sanders, and J. Tvedt, “Performability modelling with ultrasan,” IEEE Software, pp. 69–80, Sept. 1991.
21. W. J. Stewart, “Marca: Markov chain analyzer,” in Numerical Solution of Markov Chains. New York: Dekker, 1991, pp. 37–61.
22. G. Ciardo, J. K. Muppala, and K. S. Trivedi, “Analyzing concurrent and fault-tolerant software using stochastic reward nets,” J. Parallel Distributed Comput., vol. 15, no. 3, pp. 255–269, 1992.
23. J. K. Muppala, S. P. Woolet, and K. S. Trivedi, “Real-time systems performance in the presence of failures,” IEEE Computer, vol. 24, pp. 37–47, May 1991.
24. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
25. G. Ciardo, J. Muppala, and K. Trivedi, “SPNP: Stochastic Petri net package,” in Proc. Int. Workshop on Petri Nets and Performance Models (Los Alamitos, CA) (IEEE Computer Society Press, Dec. 1989), pp. 142–150.
26. M. K. Molloy, “Performance analysis using stochastic Petri nets,” IEEE Trans. Comput., vol. C-31, pp. 913–917, Sept. 1982.
27. M. Ajmone Marsan, G. Conte, and G. Balbo, “A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans. Comput. Syst., vol. 2, pp. 93–122, May 1984.