GUARDS Project - PDCC Activity Output, Report GUARDS/D3A4/AO/6001 C, Mar 18 1997.

Analytical Modelling and Evaluation of the GUARDS instances: example for Space Applications 

A. Bondavalli*, I. Mura**, M. Nelli***

* CNUCE Istituto del CNR, Via S. Maria 36, 56126 Pisa, Italy

** Dept. Information Engineering, University of Pisa, Via Diotisalvi 2, Pisa, Italy

*** PDCC - Consorzio Pisa Ricerche, Piazza A. D'Ancona, 1 - 56127 PISA, Italy


This report describes the modelling and evaluation of a GUARDS instance for space applications: the Rosetta mission provided by Matra Marconi Space. By using the hierarchical methodology identified by PDCC [8] , we focused on the analysis of the higher levels of the hierarchical modelling architecture. We identify the more relevant features for the validation task of the Rosetta mission and we provide some indications about the construction and solutions of the models. We have applied the general rules of our methodology for a preliminary modelling and evaluation of Rosetta. This have provided some feed back on our approach and has contributed to the identification of the GUARDS methodology described in [5] . A more refined modelling and evaluation will be carried out (up to the required detail) in the fu-ture to account for the issues arising from the detailed definition of the space application


[1] 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.

[2] 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.

[3] 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.

[4] J. B. Dugan, "Automated Analysis of Phased-Mission Reliability," IEEE Transaction on Reliability, Vol. 40, pp. 45-52, 1991.

[5] 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.

[6] J. F. Meyer, "On evaluating the performability of degradable computing systems," IEEE TC, Vol. C-29, pp. 720-731, 1980.

[7] MMS-PDCC, "Specification of the Rosetta Mission. Collection of documents and e-mails exchanged between MMS and PDCC.," 1996.

[8] 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.

[9] 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.

[10] D. Powell, "Preliminary Definition of the GUARDS Architecture," LAAS-CNRS, ESPRIT Project 20716 GUARDS Report D1A1/AO/5000/D, January 7 1997.

[11] 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.

[12] 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.

[13] A. K. Somani and K. S. Trivedi, "Phased-Mission Systems Using Boolean Algebraic Methods," Performance Evaluation Review, Vol. pp. 98-107, 1994.

[14] 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