Rare events in stochastic dynamical systems and failures in ultra-reliable reactive programs

Digest of Papers - 28th Annual International Symposium on Fault-Tolerant Computing, FTCS 1998

Volumn 1998-January, Issue , 1998, Pages 324-333

  Galves, A ^a   Gaudel, M C ^b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICAL SYSTEMS; FAULT TOLERANCE; RANDOM PROCESSES; STOCHASTIC SYSTEMS;

EXPONENTIAL DISTRIBUTIONS; MIXING DYNAMICAL SYSTEM; PHYSICAL BEHAVIORS; REACTIVE PROGRAMS; STOCHASTIC DYNAMICAL SYSTEM;

STOCHASTIC MODELS;

EID: 85043356138     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1998.689483     Document Type: Conference Paper

References (37)

1. D. J. Aldous "Markov chains with almost exponential hitting times, " Stochastic Process. Appi, Vol.13, 305-310, 1982.
2. D. J. Aldous, M. Brown "Inequalities for rare events in time-reversible Markov chains I, " in M. Shaked and Y. L. Tong, Stochastic Inequalities, IMS Lecture Notes, vol 22, 1-16, 1992.
3. D. J. Aldous, M. Brown "Inequalities for rare events in time-reversible Markov chains II, " Stochastic Processes Appi, Vol. 44, 15-25, 1993.
4. R. Bellman and T. E. Harris "Recurrence times for the Ehrenfest model, " Pacific J. Math., Vol. 1, 179, 1951.
5. S. Brocklehurst, P. Y. Chan, B. Littlewood, and J. Snell, "Recalibrating software reliability models, " IEEE Trans, on Software Engineering, Vol. 16-4, 458-470, 1990.
6. R. W. Butler, and G. B. Finelli, "The infeasi-bility of quantifying the reliability of life-critical real-time software, " IEEE Trans, on Software Engineering, Vol. 19-1, 3-12, 1993.
7. M. Cassandre, A. Calves, E. Olivieri and M. E. Vares, "Metastable behavior of stochastic dynamics: a pathwise approach, " J. Stat. Phys., Vol. 35, 603-633, 1984.
8. X. Castillo, S. R. McConnel and D. P. Sievorek, "Derivation and calibration of a transient error reliability model, " IEEE Trans, on Computers, Vol. C-31-7, 658-671, 1982.
9. R. Cogburn, "On the distribution of first passage and return times for small sets, " Ann. Probab., Vol. 13, 1219-1223, 1985.
10. P. Collet and A. Calves, "Statistics of close visits to the indifferent fixed point of an interval map, " J. Stat.Phys., Vol. 72, 459-478. 1993.
11. P. Collet and A. Calves, "Asymptotic distribution of entrance times for expanding maps of the interval, " in Dynamical Systems and Applications, WSSIAA Vol. 4, 139-152, 1995.
12. P. Collet, A. Calves and B. Schmitt, "Unpredictability of the occurrence time of a long laminar period in a model of temporal intermittency, " Ann. Inst. H. Poincaré, Section A, Vol. 57, 3: 319-331, 1992.
13. L. H. Crow and N. D. Singpurwalla, "An empirically developed Fourier serie model for describing software failures, " IEEE Trans. Reliability, Vol. 33, 176-183, 1984.
14. E. W. Czeck and D. P. Sievorek, "Effect of transient gate-level faults on program behavior, " 20th IEEE Fault Tolerant Computing Symposium, 236-243, 1990.
15. P. Dauchy, M. C. Gaudel, and B. Marre, "Using algebraic specifications in software testing: a case study on the software of an automatic subway, " Journal of Systems and Software, Vol. 21-3, 229-244, 1993.
16. W. Doeblin, "Remarques sur la théorie métrique des fractions continues, " Compositio Math., Vol. 7, 353-371, 1940.
17. P. A. Ferrari, A. Calves and C. Landim, "Exponential waiting time for a big gap in a one dimensional zero range process, " Ann. Probab., Vol. 22, 284-288, 1994.
18. A. Calves and B. Schmitt, "Occurrence times of rare events for mixing dynamical systems, " Ann. Inst. H. Poincaré, Vol. 52, 267-281, 1990.
19. A. Calves and B. Schmitt, "Inequalities for hitting times in mixing dynamical systems, " Random and Comput. Dyn., 1997 Preprint available as http://www.ma.utexas.edu/mp-arc/c/97/97-128.ps.gz.
20. T. E. Harris, "First passage and recurrence distributions, " Trans. Amer. Math. Soc, Vol. 73, 471486, 1953.
21. J. Keilson (1979) Markov Chain Models. Rarity and Exponentiality, Springer-Verlag, 1979.
22. C. Kipnis and C. Newman, "The metastable behavior of infrequently observed, weakly random, one-dimensional diffusion processes, " SIAM J. Appi. Math., Vol. 45, 972, 1985.
23. D. V. Korolyuk and D. S. Sil'vestrov, "Entry times into asymptotically receding domains for er-godic Markov chains, " Theory Prob. Appi, Vol. 19, 432-442, 1984.
24. J.C. Laprie, "Dependability evaluation of software systems in operation, " IEEE Trans, on Soft. Eng., Vol. 10-6, 701-714, 1984.
25. J.C. Laprie and K. Kanoun. "Software reliability and system reliability, " Chapter 2 of [30], 1996.
26. J. L. Lebowitz and R. H. Schonmann. "On the asymptotics of occurrence times of rare events for stochastic spin systems, " J. Stat. Phys., Vol. 48, 727-751, 1987.
27. B. Littlewood and J. Verrai, "A Bayesian reliability growth model for computer software, " J. of Royal Stat. Soc., Vol. C-22-3, 332-346, 1973.
28. B. Littlewood, "A reliability model for systems with Markov structure, " Appi. Statist., Vol. 24, 172-177, 1975.
29. B. Littlewood and L. Strigini, "Validation of ultra-high dependability for software-based systems, " Communications of the A. C. M., Vol. Soil, 69-80, 1993.
30. M. R. Lyu ed., Handbook of software reliability engineering, IEEE Computer Society Press and McGraw-Hill, 1996.
31. J. D. Musa, "A theory of software reliability and its application, " IEEE Trans, on Software Eng., Vol. SE-1(3), 312-327, 1975.
32. J. D. Musa and K. Okumoto, "A logarithmic Poisson execution time model for software reliability measurement, " 7th IEEE Int. Conf. on Soft. Eng., 230-238, 1984.
33. J. D. Musa, A. Iannino and K. Okumoto, Software reliability-measurement, prediction, application, McGraw-Hill, New-York, 1987.
34. E. Olivieri and E. Scoppola. "Markov chains with exponentially small transition probabilities: first exit problem from a general domain. I. The reversible case, " J. Stat. Phys., Vol. 79, 613-647, 1995.
35. E. Olivieri and E. Scoppola, "Markov chains with exponentially small transition probabilities: first exit problem from a general domain. II. The general case, " J. Stat. Phys., Vol. 84, 987-1041, 1996.
36. L. Strigini, "On testing process control software for reliability assesment: the effects of correlation between successive failures, " Software Testing, Verification and Reliability Vol. 6, 33-48, 1996.
37. M. Xie, "Software reliability models-a selected bibliography, " Journal of Software Testing, Verification and Reliability, Vol. 3, 3-28, 1993.