Skip to main content

Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication

  • Conference paper
Numerical Software with Result Verification

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

Abstract

The computation of workload distributions of service systems in telecommunication networks is essential for determining quality of service (QoS) parameters for various types of data transfer traffic. We discuss the relation of QoS demands from the end-to-end perspective of users to possible QoS degradation by network elements e.g. when overload situations are encountered. Modeling and analysis approaches of performance measures in multi service networks are also summarized with regard to the representation of usual traffic pattern being observed in the Internet. Depending on the model, there are different ways to determine workload distributions. We investigate Wiener-Hopf factorization as an efficient approach for discrete time semi-Markovian server systems. A numerical solution of the steady state workload distribution is computed in extension of an algorithm by Grassmann and Jain. After a verification step the guaranteed workload distribution can be computed using interval arithmetic. A C++ tool for this modeling approach using C-XSC is presented as well as examples of the evaluation.

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.

References

  1. Boudec, J.-Y.: Le: Steady-State Probabilities of the PH/PH/1 Queue. Queueing Systems 3, 73–87 (1988)

    Article  MATH  Google Scholar 

  2. Bruneel, H., Kim, B.: Discrete-Time Models for Communication Systems Including ATM. Kluwer Acad. Publ., Dordrecht (1993)

    Google Scholar 

  3. Elwalid, A.I., Mitra, D.: Effective bandwidth of general Markovian traffic sources and admission control of high speed networks. IEEE/ACM Transactions on Networking 1, 329–343 (1993)

    Article  Google Scholar 

  4. Fausten, D., Luther, W., Haßlinger, G.: Verified Computing of the Stationary Workload Distribution of a GI/GI/1 Server. In: Mastorakis, N., Antoniou, G. (eds.) Recent Advances in Circuits, Systems and Signal Processing, pp. 169–174. WSEAS Press (2002)

    Google Scholar 

  5. Fausten, D., Luther, W., Haßlinger, G.: Accurate computation of traffic workload distributions. Accepted paper of Proceedings of SCAN 2002, Special issue of Numerical Algorithms (2002)

    Google Scholar 

  6. Feldmann, A., Whitt, W.: Fitting mixtures of exponentials to long-tail distributions. Performance Evaluation 31, 245–279 (1997)

    Article  Google Scholar 

  7. Grassmann, W.K., Jain, J.L.: Numerical solutions of the waiting time distribution and idle time distribution of the arithmetic GI/G/1 queue. Operations Research 37, 141–150 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  8. Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing. Springer, Heidelberg (1995)

    MATH  Google Scholar 

  9. Haßlinger, G.: Waiting times, busy periods and output models of a server analyzed via Wiener-Hopf factorization. Perf. Eval. 40, 3–26 (2000)

    Article  MATH  Google Scholar 

  10. Haßlinger, G.: Quality-of-Service analysis for statistical multiplexing with Gaussian distributed & autoregressive input modelling. Telecom. Systems 16, 315–334 (2001)

    Article  MATH  Google Scholar 

  11. Haßlinger, G., Fausten, D.: Analysis of the Workload in Communication Systems Including Data Transfers over Arbitrary Time Scales. I. J. of Simulation 3(3-4), 25–37 (2002)

    Google Scholar 

  12. Hofschuster, W., Krämer, W., Wedner, S., Wiethoff, A.: C-XSC 2.0 - A C++ Class Library for Extended Scientific Computing. Preprint 2001/1, Universität Wuppertal (2001)

    Google Scholar 

  13. Jansen, J., Limnios, N. (eds.): Proceedings of the 2nd Internat. Symposium on Semi-Markov Models. Compiegne, France (1998)

    Google Scholar 

  14. Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., Rauch, M.: C-XSC. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  15. Kleinrock, L.: Queueing systems, vol. 1/2. Wiley, Chichester (1975/1976)

    MATH  Google Scholar 

  16. Latouche, G., Ramaswami, V.: The PH/PH/1 queue at epochs of queue size change. Queueing Systems 25, 97–114 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  17. Li, S.-Q.: A general solution technique for discrete queueing analysis of multimedia traffic on ATM. IEEE Trans. on Commun. COM-39, 1115–1132 (1991)

    Article  Google Scholar 

  18. Lindley, D.V.: The theory of queues with a single server. Proc. Cambridge Philos. Soc. 48, 277–289 (1952)

    Article  MathSciNet  Google Scholar 

  19. Neuts, M.F.: Structured Stochastic Matrices of M/G/1 Type and their Applications. M. Dekker, New York (1989)

    MATH  Google Scholar 

  20. Paxson, V., Floyd, S.: Wide area traffic: The failure of Poisson modelling. IEEE/ACM Transactions on Networking 3, 226–244 (1995)

    Article  Google Scholar 

  21. Rump, S.M.: Solving Algebraic Problems with High Accuracy. In: Kulisch, U., Miranker, W.L. (eds.) A New Approach to Scientific Computation, pp. 53–120. Academic Press, New York (1983)

    Google Scholar 

  22. Sengupta, B.: The semi-Markovian queue: Theory and applications. Commun. Statist.-Stochastic Models 6, 383–413 (1990)

    Article  MATH  Google Scholar 

  23. http://www.math.uni-wuppertal.de/wrswt/xsc-sprachen.html

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fausten, D., Haßlinger, G. (2004). Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds) Numerical Software with Result Verification. Lecture Notes in Computer Science, vol 2991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24738-8_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24738-8_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21260-7

  • Online ISBN: 978-3-540-24738-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics