Abstract
Rapid advances in technology resulted in the proliferation of complex computer and communication systems that are used in different applications ranging from spacecraft flight-control to information and financial services. Dependability, performance, and performability evaluation techniques provide a useful method for examining the behavior of a computer or communication system right from the design stage to implementation and final deployment. The relative importance of performance and dependability requirements will differ depending on the system requirements and typical usage. Sometimes performance and dependability issues can be addresses separately, but sometimes their interactions and corresponding tradeoffs demand a measure that combines aspects of both.
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 Analysis of Multiprocessor Systems. ACM Trans. on Computer Systems. 2 (1984) 93–122
Beaudry, M.D.: Performance — related Reliability Measures for Computing Systems. IEEE Trans. on Computers. 27 (1978) 540–547
Bobbio, A., Trivedi, K.: An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. IEEE Trans. on Computers. 35 (1986) 803–814
Bobbio, A., Puliafito, A., Telek, M., Trivedi, K.: Recent Developments in Stochastic Petri Nets. Journal of Circuits, Systems, and Computers. 8 (1998) 119–158
Bolch, G., Greiner, S., de Meer, H.. Trivedi, K.: Queueing Networks and Markov Chains, John Wiley & Sons, (1998)
Ciardo, G., Blakemore, A., Chimento, P.F., Muppala, J.K., Trivedi, K.S.: Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets. In Mayer, C., Plemmons, R.J. (eds.): Linear Algebra, Markov Chains and Queueing Models. IMA Volumes in Mathematics and Its Applications. Vol.48. Springer-Verlag (1993) 145–191
Gross, D., Harris, C.M.: Fundamentals of Queueing Theory. John Wiley & Sons, (1985)
Howard, R.A.: Dynamic Probabilistic Systems, Vol. II: Semi-Markov and Decision Processes. John Wiley & Sons, (1971)
Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman Hall (1995)
Lindemann, C.: Performance Modelling with Deterministic and Stochastic Petri Nets. John Wiley & Sons, (1998)
Meyer, J.F.: On Evaluating the Performability of Degradable Computing Systems. IEEE Trans. on Computers. 29 (1980) 720–731
Trivedi, K.S.: Probability and Statistics with Reliability, Queuing and Computer Science Applications. Prentice-Hall, (1982)
Trivedi, K.S., Sathaye, A.S., Ibe, O.C., Howe, R.C., Aggarwal, A.: Availability and Performance — Based Sizing of Multiprocessor Systems, Communications in Reliability, Maintainability and Serviceability. (1996)
Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems. Kluwer Academic Publishers, (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Goševa-Popstojanova, K., Trivedi, K. (2000). Stochastic Modeling Formalisms for Dependability, Performance and Performability. In: Haring, G., Lindemann, C., Reiser, M. (eds) Performance Evaluation: Origins and Directions. Lecture Notes in Computer Science, vol 1769. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46506-5_17
Download citation
DOI: https://doi.org/10.1007/3-540-46506-5_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67193-0
Online ISBN: 978-3-540-46506-5
eBook Packages: Springer Book Archive