** Dept. Information Engineering, University of Pisa, Via Diotisalvi
2, Pisa, Italy
*** PDCC - Consorzio Pisa Ricerche, Piazza A. D'Ancona, 1 - 56127 PISA,
 M. Alam and U. M. Al-Saggaf, "Quantitative Reliability Evaluation of Reparaible Phased-Mission Systems Using Markov Approach," IEEE Transactions on Reliability, Vol. R-35, pp. 498-503, 1986.
 J. Arlat, T. Eliasson, K. Kanoun, D. Noyes, D. Powell and J. Torin, "Evaluation of Fault -Tolerant Data Handling Systems for Spacecraft: Measures, Techniques and Example Applications," LAAS-CNRS November 1986.
 G. R. Burdick, J. B. Fussell, D. M. Rasmuson and J. R. Wilson, "Phased Mission Analysis: A review of New Developments and An Application," IEEE Transactions on Reliability, Vol. R-26, pp. 43-49, 1977.
 J. B. Dugan, "Automated Analysis of Phased-Mission Reliability," IEEE Transaction on Reliability, Vol. 40, pp. 45-52, 1991.
 E. Jenn and M. Nelli, "Approach, Methodology and Tools for Validation by Analytical Modelling," Technicatome/PDCC, Second Part of D302: "Functional Specification and Preliminary Design of GUARDS Validation Environment", ESPRIT Project 20716 GUARDS Report, February 1997.
 J. F. Meyer, "On evaluating the performability of degradable computing systems," IEEE TC, Vol. C-29, pp. 720-731, 1980.
 MMS-PDCC, "Specification of the Rosetta Mission. Collection of documents and e-mails exchanged between MMS and PDCC.," 1996.
 M Nelli, A. Bondavalli and L. Simoncini, "Dependability Modelling and Analysis of Complex Control Systems: an Application to Railway Interlocking," in Proc. EDCC-2 European Dependable Computing Conference, Taormina, Italy, 1996, pp. 93-110.
 A. Pedar and V. V. S. Sarma, "Phased-Mission Analysis for Evaluating the Effectiveness of Aerospace Computing-Systems," IEEE Transactions on Reliability, Vol. R-30, pp. 429-437, 1981.
 D. Powell, "Preliminary Definition of the GUARDS Architecture," LAAS-CNRS, ESPRIT Project 20716 GUARDS Report D1A1/AO/5000/D, January 7 1997.
 M. Smotherman and K. Zemoudeh, "A Non-Homogeneous Markov Model for Phased-Mission Reliability Analysis," IEEE Transactions on Reliability, Vol. 38, pp. 585-590, 1989.
 A. K. Somani, J. A. Ritcey and S. H. L. Au, "Computationally-Efficent Phased-Mission Reliability Analysis for Systems with Variable Configurations," IEEE Transactions on Reliability, Vol. 41, pp. 504-511, 1992.
 A. K. Somani and K. S. Trivedi, "Phased-Mission Systems Using Boolean Algebraic Methods," Performance Evaluation Review, Vol. pp. 98-107, 1994.
 A. T. Tai, S. N. Chau, L. Alkalaj and H. Hecht, "On Board Preventive Maintenance: Analysis of Effectiveness and Optimal Duty Period," in Proc. WORDS 97, Third International Workshop on Object-oriented Real-time Dependable Systems, Newport Beach, California, USA, 1997, to appear.
For more information on this paper/report contact: Andrea Coccoli