Dependability Evaluation of a Distributed Shared Memory Multiprocessor System

  • Mourad Rabah
  • Karama Kanoun
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1667)


This paper deals with the dependability evaluation of a Multipurpose, Multiprocessor System (MMS) under investigation by a system manufacturer. MMS is symmetric with a DSM and a CC-NUMA. As the system is scalable, we consider two architectures: a reference one composed of four nodes and an extended one with an additional spare node. A set of dependability and performability measures is evaluated for these architectures with two categories of application users, accepting different service degradation levels. Modeling is based on GSPN to which reward rates are added to evaluate performability measures. The originality of our approach is the clear separation between the architectural and the service concerns. The results allow us to quantify the influence of the main parameters and to compare the dependability of the systems under consideration. They can thus be used for supporting the manufacturer design choices as well as the potential user configuration choices.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    T. Kloppenburg, “LOGISIRE-A Safe Computer System for Process-Automation”, Proc. 3rd Intern. GI/IGT/GMA Conf., Bremerhaven, Germany, Springer-Verlag, 1987.Google Scholar
  2. 2.
    Triconex, TRICON Technical Product Guide, Version 9 Systems, Irvine, Triconnex Corporation,, 1996.Google Scholar
  3. 3.
    J. Poueyo and J.P. Dalzon, “Mastering Safety of Opel and Distributed Systems in Compliance with IEC 61508”, Proc. IFAC 2nd Symp. on Information Control Manufacturing (INCOM’98), Nancy-Metz, France, pp. 511–516, 1998.Google Scholar
  4. 4.
    G. Wirthumer, “Votrics-Fault Tolerance Realized in Software”, Proc. 8th IFAC Int. Conference on Computer Safety, Reliability and Security (SAFECOMP’89), Vienna, Austria, pp. 135–140, 1989.Google Scholar
  5. 5.
    J. Protic, M. Tomasevic and V. Milutinovic, Eds. Distributed Shared Memory-Concepts and Systems, IEEE Computer Society, 1998.Google Scholar
  6. 6.
    J.F. Meyer, “On Evaluating the Performability of Degradable Computing Systems”, Proc. 8th IEEE Int. Symp. Fault-Tolerant Computing (FTCS-8), Toulouse, France, pp. 43–52, 1978.Google Scholar
  7. 7.
    J. Arlat and J.-C. Laprie, “Performance-Related Dependability Evaluation of Supercomputer Systems”, Proc. Proc. 13th Int. Symp. on Fault-Tolerant Computing (FTCS-13), Milano, Italy, IEEE Computer Society Press, pp. 276–283, 1983.Google Scholar
  8. 8.
    J.F. Meyer and W.H. Sanders, “Specification and Construction of Performability Models”, Proc. Int. Workshop on Performability Modeling of Computer and Communication Systems, Mont Saint Michel, France, pp. 1–32, 1993.Google Scholar
  9. 9.
    L.A. Tomek, V. Mainkar, R.M. Geist and K.S. Trivedi, “Reliability Modeling of Life-Critical, Real-Time Systems”, Proceeding of the IEEE, Special Issue on Real-Time Systems, 82 (1), pp. 108–121, 1994.Google Scholar
  10. 10.
    G. Ciardo, J. Muppala and K.S. Trivedi, “SPNP: Stochastic Petri Net Package”, Proc. 3rd Int. Workshop on Petri Nets and Performance Models, Los Alamitos, CA, USA, pp. 142–151, 1989.Google Scholar
  11. 11.
    R.A. Howard, Dynamic Probabilistic Systems, New York, J. Wiley and Sons, 1971.Google Scholar
  12. 12.
    K. Kanoun, M. Borrel, T. Moreteveille and A. Peytavin, “Availability of CAUTRA, a subset of the French Air Traffic Control System”, IEEE Transactions on Computers, Vol. 48, No. 5, pp. 528–535, 1999.CrossRefGoogle Scholar
  13. 13.
    M. Nelli, A. Bondavalli and L. Simoncini, “Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking”, Proc. 2nd European Dependable Computing Conf., Taormina, Italy, Springer-Verlag, 1996.Google Scholar
  14. 14.
    N. Fota, M. Kâaniche and K. Kanoun, “Dependability Evaluation of an Air Traffic Control System”, Proc. 3rd IEEE Int. Computer Performance & Dependability Symposium (IPDS), Durham, NC, pp. 206–215, 1998. To appear in Performance Evaluation, Elsevier-Science, North-Holland, 1999.CrossRefGoogle Scholar
  15. 15.
    A. Marsan, G. Balbo and G. Conte, “A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems”, ACM Transactions on Computers, 2 (2), pp. 93–122, 1984.CrossRefGoogle Scholar
  16. 16.
    J.K. Muppala, A. Sathaye, R. Howe, C and K.S. Trivedi, “Dependability Modeling of a Heterogeneous VAX-cluster System Using Stochastic Reward Nets”, Hardware and Software Fault Tolerance in Parallel Computing Systems, Ed. D.R. Avresky, pp. 33–59, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Mourad Rabah
    • 1
  • Karama Kanoun
    • 1
  1. 1.LAAS-CNRS — 7 Avenue du Colonel RocheToulouse Cedex 4France

Personalised recommendations