Abstract
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capacity planning, overload control and related applications, it is useful to have a method allowing one to find good and relatively simple approximations for the observed system behavior. This paper investigates one such approach where we attempt to represent the latter by adequately selecting the parameters of a set of queueing models. We identify a limited number of queueing models that we use as Building Blocks in our procedure. The selected Building Blocks allow us to accurately approximate the measured behavior of a range of different systems. We propose an approach for selecting and combining suitable Building Blocks, as well as for their calibration. We are able to successfully validate our methodology for a number of case studies. Finally, we discuss the potential and the limitations of the proposed approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, A.O.: Probability, Statistics, and Queueing Theory with Computer Science Applications, 2nd edn. Academic Press, London (1990)
Alouf, S., Nain, P., Towlsey, D.F.: Inferring network characteristics via moment-based estimators. In: INFOCOM, pp. 1045–1054 (2001)
Bacigalupo, D.A., Turner, J.D., Graham, R.N., Dillenberger, D.N.: A dynamic predictive framework for e-business workload management. In: 7th World Multiconference on Systemics,Cybernetics and Informatics (SCI2003) Performance of Web Services Invited Session, Orlando, Florida, USA (2003)
Brandwajn, A.: Equivalence and decomposition in queueing systems- a unified approach. Performance Evaluation 1985, 175–186 (1985)
Burnham, K.P., Anderson, D.R.: Model Selection and Multi-Model Inference, 2nd edn. Springer, Heidelberg (2002)
Brandwajn, A., Wang, H.A.: Conditional Probability Approach to M/G/1-like Queues. Submitted for publication, available as a technical report (2006)
Cao, J., Andersson, M., Nyberg, C., Kihl, M.: Web server performance modeling using an M/G/1/K*PS queue. In: ICT’2003: 10th International Conference on Telecommunications, 2nd edn., pp. 1501–1506 (2005)
Cong, J., Wolfinger, B.E.: A unified load generator based on formal load specification and load transformation. In: Proceedings of ValueTools 2006: International Conference on Performance Evaluation Methodologies and Tools, Pisa, Italy (2006)
Conn, A.R., Scheinberg, K.K., Toint, P.L.: Recent progress in unconstrained nonlinear optimization without derivatives. Mathematical Programming 79, 397–414 (1997)
Crovella, M., Krishnamurthy, B.: Internet Measurement: Infrastructure, Traffic and Applications. John Wiley & Sons, Inc., Chichester (2006)
Heidelberger, P., Lavenberg, S.S.: Computer performance evaluation methodology. IEEE Trans. Computers 33, 1195–1220 (1984)
Kaufman, J.S.: Approximation Methods for Networks of Queues with Priorities. Performance Evaluation 4, 183–198 (1984)
Kelly, F.P.: Reversibility and Stochastic Networks. John Wiley & Sons, Chichester (1979)
Kimura, T.: Approximations for Multi-Server Queues: System Interpolations. Queueing Systems: Theory and Applications 17, 347–382 (1994)
Kleinrock, L.: Queueing Systems, Volume 1: Theory. John Wiley & Sons, Chichester (1975)
Liu, Z., Wynter, L., Xia, C.H., Zhang, F.: Parameter inference of queueing models for IT systems using end-to-end measurements. Performance Evaluation 63, 36–60 (2006)
Paxson, V.E.: Measurements and Analysis of End-To-End Internet Dynamics. Doctoral Thesis, University of California at Berkeley (1998)
Powell, M.J.D.: Unconstrained minimization algorithms without computation of derivatives. Bollettino della Unione Matematica Italiana 9, 60–69 (1974)
Quintero, A., Elalamy, Y., Pierre, S.: Performance evaluation of a broadband wireless access system subjected to heavy load. Computer Communications 27, 781–791 (2004)
Salamatian, K., Fdida, S.: A framework for interpreting measurement over Internet. In: Proceedings of the ACM SIGCOMM workshop on models, methods and tools for reproducible network research, Karlsruhe, Germany, pp. 87–94 (2003)
Scherr, A.: An Analysis of Time-Shared Computer Systems. MIT Press, Cambridge (1967)
Varki, E., Merchant, A., Xu, J., Qiu, X.: Issues and challenges in the performance analysis of real disk arrays. IEEE Trans. Parallel Distrib. Syst. 15, 559–574 (2004)
Wang, J., Keshav, S.: Efficient and accurate Ethernet simulation. In: 24th Annual IEEE International Conference on Local Computer Networks, Boston, MA, pp. 182–191. IEEE Computer Society Press, Los Alamitos (1999)
Wolfinger, B.E., Zaddach, M., Heidtmann, K.D., Bai, G.: Analytical modeling of primary and secondary load as induced by video applications using UDP/IP. Computer Communications 25, 1094–1102 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Begin, T., Brandwajn, A., Baynat, B., Wolfinger, B.E., Fdida, S. (2007). Towards an Automatic Modeling Tool for Observed System Behavior. In: Wolter, K. (eds) Formal Methods and Stochastic Models for Performance Evaluation. EPEW 2007. Lecture Notes in Computer Science, vol 4748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75211-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-75211-0_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75210-3
Online ISBN: 978-3-540-75211-0
eBook Packages: Computer ScienceComputer Science (R0)