Abstract
This paper discusses an efficient modelling environment named PENPET for performability evaluation of fault-tolerant, gracefully degradable systems. A specific class of stochastic Petri nets is used to describe both performance-related and dependability-related system characteristics. Structured and library-based modelling techniques are introduced to generate, largely automatically, performability models that are well-structured in a hierarchical and modular fashion. The subsequent solution of these models permits the computation of significant performability measures by employing various solution techniques. The applicability of PENPET is illustrated in the performability evaluation of a fault-tolerant multiprocessor system developed for automation systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ajmone Marsan, M., Balbo, G., Conte, G.: “A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems”, ACM Transactions on Computer Systems, May 1984.
Ajmone Marsan, M., Balbo, G., Conte, G.: “Performance Models of Multiprocessor Systems”, MIT Press, Cambridge MS, 1986.
Courtois, P. J.: “On Time and Space Decomposition of Complex Structures”, Communication of the ACM, Vol. 28 Nr. 6, 1985.
De Silva e Souza, E., Gail, H. R.: “Calculating Availability and Performability Measures of Repairable Computer Systems Using Randomization”, Journal of the ACM 36 (1989), pp. 171 –193.
Gross, D., Miller, D. R.: “The randomization techniques as a modeling tool and solution procedure for transient Markov processes”, Operations Research, 32 (1984), pp. 216–222.
Haverkort, B. R., Niemegeers, I. G. G.: “Using Dynamic Queueing Networks as a Tool for Specifiying Performability Models”, Memoranda Informatica 89–51, University of Twente, Department of Computer Science, September 1989.
Johnson, A. M., Malek, M.: “Survey of Software Tools for Evaluating Reliability, Availibility and Serviceability”, ACM Computing Surveys, Vol. 20, No. 4, December 1988.
Klas, G.; “A Subsystem Identification Algorithm for Approximate Solution of large GSPN Models”, in Proc. of 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Turin, February 1991.
Kulkarni, V. G., Nicola, V. F., Smith, R. M. and Trivedi, K. S.: “Numerical Evaluation of Performability and Job Completion Time in Repairable Fault-Tolerant Systems”, FTCS Proceedings, Vol. 16, 1986.
Lepold, R.: “PENPET: A New Approach to Performability Modelling Using Stochastic Petri Nets” in Proc. of First Int. Workshop on Performability Modelling of Computer and Communication Systems, Enschede, February 1991.
Lepold, R., Klas, G.: “Generierung und analytische Auswertung stochastischer Petri-Netz-Modelle zur Bewertung komplexer Systemarchitekturen”, in Proc. 11. ITGIGI-Fachtagung Architektur von Rechensystemen Munich, Germany, March 1990, pp.219–230.
Meyer, J. F.: “Unified performance-reliability evaluation”, in Proc. of the 1984 American Control Conference, San Diego, California, June 1984.
Sanders, W. H., Meyer, J. F.: “Performability modeling of distributed systems using stochastic activity networks”, in Proc. of 2nd Int. Workshop on Petri Nets and Performance Models, Madison, WI, August 1987.
Sanders, W. H., Meyer, J. F.: “A unified approach for specifying measures of performance, dependability and performability”, in Proc. of IFIP WG 10.4 International Working Conference on Dependable Computing for Critical Applications, Santa Barbara, California, August 1989.
Smith, R. M., Trivedi, K. S., Ramesh, A. V.: “Performability Analysis: Measures, an Algorithm, and a Case Study”, IEEE Trans. Computers, C-37 (1988), pp. 406–417.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lepold, R. (1991). Performability Evaluation of a Fault-Tolerant Multiprocessor Architecture Using Stochastic Petri Nets. In: Cin, M.D., Hohl, W. (eds) Fault-Tolerant Computing Systems. Informatik-Fachberichte, vol 283. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76930-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-76930-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54545-3
Online ISBN: 978-3-642-76930-6
eBook Packages: Springer Book Archive