On-board preventive maintenance: A design-oriented analytic study for long-life applications

Performance Evaluation

Volumn 35, Issue 3, 1999, Pages 215-232

  Tai, Ann T ^a,c,d   Alkalai, Leon ^b,c   Chau, Savio N ^b,c  

^a IA Tech Inc   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d UNIVERSITY OF TEXAS AT DALLAS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONSTRAINT THEORY; LIFE CYCLE; PREVENTIVE MAINTENANCE; RELIABILITY; RISK ASSESSMENT; SERVICE LIFE;

MISSION RELIABILITY GAINS; ON-BOARD PREVENTIVE MAINTENANCE; PHASED-MISSION ANALYSIS;

LIFE SUPPORT SYSTEMS (SPACECRAFT);

EID: 0032652284     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(99)00006-1     Document Type: Article

References (25)

1. L. Alkalai, NASA center for integrated space microsystems, in: Proceedings of Advanced Deep Space System Development Program Workshop on Advanced Spacecraft Technologies, Pasadena, CA, June 1997.
2. L. Alkalai, A.T. Tai, Long-life deep-space applications, IEEE Comput. 31 (1998) 37-38.
3. A.T. Tai, S.N. Chau, L. Alkalai, H. Hecht, On-board preventive maintenance: Analysis of effectiveness and optimal duty period, in: Proceedings of the Third International Workshop on Object-Oriented Real-time Dependable Systems (WORDS'97), Newport Beach, CA, February 1997, pp. 40-47.
4. Y. Huang, C. Kintala, N. Kolettis, N.D. Fulton, Software rejuvenation: Analysis, module and applications, in: Digest of the 25th Annual International Symposium on Fault-Tolerant Computing, Pasadena, CA, June 1995, pp. 381-390.
5. S. Garg, A. Puliafito, M. Telek, K.S. Trivedi, Analysis of software rejuvenation using Markov regenerative stochastic Petri net, in: Proceedings of the Sixth International Symposium on Software Reliability Engineering, Toulouse, France, October 1995, pp. 180-187.
6. S. Garg, A. Puliafito, M. Telek, K.S. Trivedi, On the analysis of software rejuvenation policies, in: Proceedings of the 12th Annual Conference on Computer Assurance (COMPASS'97), Gaithersberg, MD, June 1997.
7. S. Garg, A. Puliafito, M. Telek, K.S. Trivedi, Analysis of preventive maintenance in transaction based software systems, IEEE Trans. Comput. 47 (1998) 96-107.
8. P.S. Ho, T. Kwok, Electromigration in metals, Rep. Progr. in Phys. 52 (1989) 301-348.
9. K.-N. Tu, J.W. Mayer, L.C. Feldman, Electronic Thin Film Science for Electrical Engineers and Materials Scientists, Macmillan, New York, 1992.
10. P.J. Rudeck, Long-term annealing of a radiation-hardened 1.0 micron bulk CMOS process, IEEE Trans. Nucl. Sci. 39 (1992) 1903-1911.
11. T. Carriere, J. Beaucour, A. Gach, B. Johlander, L. Adams, Dose rate and annealing effects on total dose response of MOS and bipolar circuits, IEEE Trans. Nucl. Sci. 42 (1995) 1567-1574.
12. L. Alkalai, J. Klein, M. Underwood, The New Millennium Program microelectronics systems, advanced technology development, in: Proceedings of the 34th Aerospace Science Meeting and Exhibit, Reno, Nevada, January 1996.
13. L. Alkalai, A roadmap for space microelectronics technology into the New Millennium, in: Proceedings of the 35th Space Congress, Cocoa Beach, FL, April 1998.
14. K. Sasidhar, L. Alkalai, A. Chatterjee, Testing NASA's 3D-stack MCM space flight computer, IEEE Design & Test Comput. 15 (1998) 44-55.
15. S.N. Chau, X2000 avionics system conceptual design document, JPL Technical Report, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, 1997.
16. S.N. Chau et al., X2000 Architecture Tiger Team meeting review, Technical Report, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, June 1998.
17. A. Bondavalli, I. Mura, M. Nell, Analytical modeling and evaluation of phased-mission systems for space applications, in: IEEE High-Assurance Systems Engineering Workshop, Washington, DC, August 1997.
18. A.K. Somani, K.S. Trivedi, Phased-mission system analysis using Boolean algebraic methods, in: Proceedings of 1994 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, Nashville, TN, May 1994, pp. 98-107.
19. J.F. Meyer, Performability evaluation of the SIFT computer, IEEE Trans. Comput. C-29 (1980) 501-509.
20. D. Kececioglu, Reliability Engineering Handbook, vol. I, Prentice-Hall, Englewood Cliffs, NJ, 1991.
21. K.S. Trivedi, Probability & Statistics with Reliability, Queueing, and Computer Science Applications, Prentice-Hall, Englewood Cliffs, NJ, 1982.
22. E.G. Coffman, E.N. Gilbert, Optimal strategies for scheduling checkpoints and preventive maintenance, IEEE Trans. Reliability R-39 (1990) 9-18.
23. J.L. Bruno, E.G. Coffman, J.C. Lagarias, P.W. Shor, Processor shadowing: Maximizing expected throughput in fault-tolerant systems, Math. Oper. Res., to appear.
24. S.M. Ross, Stochastic Processes, 2nd ed., Wiley, New York, 1996.
25. A.T. Tai, J.F. Meyer, A. Avižienis, Software Performability: From Concepts to Applications, Kluwer Academic Publishers, Boston, MA, 1996.