Skip to main content

Dependability Evaluation of a Distributed Shared Memory Multiprocessor System

  • Conference paper
  • First Online:
Dependable Computing — EDCC-3 (EDCC 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1667))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. Triconex, TRICON Technical Product Guide, Version 9 Systems, Irvine, Triconnex Corporation,, 1996.

    Google Scholar 

  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. 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. J. Protic, M. Tomasevic and V. Milutinovic, Eds. Distributed Shared Memory-Concepts and Systems, IEEE Computer Society, 1998.

    Google Scholar 

  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. 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. 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. 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. 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. R.A. Howard, Dynamic Probabilistic Systems, New York, J. Wiley and Sons, 1971.

    Google Scholar 

  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.

    Article  Google Scholar 

  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. 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.

    Chapter  Google Scholar 

  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.

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rabah, M., Kanoun, K. (1999). Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. In: Hlavička, J., Maehle, E., Pataricza, A. (eds) Dependable Computing — EDCC-3. EDCC 1999. Lecture Notes in Computer Science, vol 1667. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48254-7_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-48254-7_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66483-3

  • Online ISBN: 978-3-540-48254-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics