Abstract
A new performance and performability modeling tool is introduced in this paper. PENELOPE is the first tool which incorporates evaluation and optimization algorithms. It is the result of a combination between the performability modeling concept and Markov decision theory. Different algorithms are adopted and included in the tool under the unifying paradigm of reconfigurability as the basis for adaptation and optimization. In addition to transient and steady-state performability measures, also transient and stationary control functions can be computed and graphically presented. Model specification and specification of transient or stationary control functions can be separately performed and deliberately combined with each other. Besides providing a new modeling paradigm, the tool supports model creation, experimentation, storage and presentation of results by means of an easily usable interface and an integrated model data base system.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Béounes, C., Aguéra, M., Arlat, J., Bachmann, S., Bourdeau, C., Doucet, J.-E., Kanoun, K., Laprie, J.-C., Metge, S., Moreira de Souza, J., Powell, D., Spiesser, P.: “Surf-2: A program for dependability evaluation of complex hardware and software systems”; Proc. FTCS 23, IEEE Computer Soc. Press., 1993, pp. 668–673.
Ciardo, G., Muppala, J., Trivedi, K.S.: “SPNP: Stochastic Petri net package”; Proc. PNPM'89, IEEE Computer Soc. Press, 1989, pp. 142–151.
Couvillion, J.A., Freire, R., Johnson, R., Obal II, W.D., Qureshi, A., Rai, M., Sanders, W.H., Tvedt, J.E.: “Performability modelling with UltraSAN”; IEEE Software, September 1991, 69–80.
Furchtgott, D.G., Meyer, J.F.: “A performability solution method for degradable nonrepairable systems”; IEEE Trans. Comput. 33(6), 1984, 550–554.
Haverkort, B.R., Niemegeers, I.G.: “Performability Modelling Tools and Techniques”; Performance Evaluation, Vol. 25, No. 1, March 1996.
Lee, Y.H., Shin, K.G.: “Optimal Reconfiguration Strategy for a Degradable Multimodule Computing System”, Journal of the ACM, Vol. 34, No. 2, 1987.
Lindemann, C., German, R.: “DSPNexpress: A software package for efficiently solving deterministic and stochastic Petri nets”; Performance Tools 1992, Edinburgh University Press, Edinburgh 1993.
de Meer, H.: “Transiente Leistungsbewertung und Optimierungrekonfigurierbarer fehlertoleranter Rechensysteme”; Arbeitsberichte des IMMD der Universität Erlangen-Nürnberg, Vol. 25, No. 10, October 1992.
de Meer, H., Trivedi, K.S., Mario Dal Cin: “Guarded Repair of Dependable Systems”; Theoretical Computer Science, Special Issue on Dependable Parallel Computing, Vol. 129, July 1994.
de Meer, H., Ševčíková, H.: “XPenelope User Guide, Version 3.1”; Technical Report, FBI-HH-M-265/96, University of Hamburg, November 1996.
Schulzrinne, H., Kurose, J.F., Towsley, D.: “Congestion Control for Real-Time Traffic in High-Speed Networks”; IEEE INFOCOM'90, 1990.
Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains, Princeton University Press, 1994.
Tijms, Henk C.: Stochastic modelling and analysis: a computational approach; John Wiley, 1986.
“Special Issue on Performability”; Performance Evaluation, February 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Meer, H., Ševčíková, H. (1997). PENELOPE dependability evaluation and the optimization of performability. In: Marie, R., Plateau, B., Calzarossa, M., Rubino, G. (eds) Computer Performance Evaluation Modelling Techniques and Tools. TOOLS 1997. Lecture Notes in Computer Science, vol 1245. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022194
Download citation
DOI: https://doi.org/10.1007/BFb0022194
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63101-9
Online ISBN: 978-3-540-69131-0
eBook Packages: Springer Book Archive