Advertisement

Modelling and Performance Evaluation of Wireless Networks

  • G. H. S. Carvalho
  • R. M. Rodrigues
  • C. R. L. Francês
  • J. C. W. A. Costa
  • S. V. Carvalho
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3124)

Abstract

Integration between voice services and data services brought about new concepts in modelling and performance evaluation of wireless networks. In this paper it is proposed a new approach to deal with that putting together a formal method called Statecharts and a Continuous Time Markov Chain (CTMC). From the specification of the system made in Statecharts it is automatically generated a CTMC, and then evaluated the performance measures. The advantages of this technique are better representation of the behavior of the system without ambiguity and with consistency.

Keywords

Wireless Network Data Packet Radio Channel Traffic Load Data Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Lindermann, C., Thummler, A.: Performance Analysis of the General Packet Radio Service. In: 21st International Conference on Distributed Computing Systems, pp. 673–680 (2001)Google Scholar
  2. 2.
    Lin, P., Lin, Y.B.: Channel Allocation for GPRS. IEEE Transaction on Vehicular Technology 50(2), 375–387 (2001)CrossRefGoogle Scholar
  3. 3.
    Yacoub, M.D.: Wireless Technology: Protocols, Standards, and Techniques. CRC Press, Standards (2002)Google Scholar
  4. 4.
    Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Chen, W.Y., Wu, J.L.C., Lu, L.L.: Performance Comparision of Dynamic Resource Allocation With/Without Channel De-Alloccation in GSM/GPRS Networks. IEEE Communication Letters 7(1), 10–12 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • G. H. S. Carvalho
    • 1
    • 2
  • R. M. Rodrigues
    • 1
  • C. R. L. Francês
    • 1
  • J. C. W. A. Costa
    • 1
  • S. V. Carvalho
    • 2
  1. 1.Electrical and Computing Engineering DepartmentUniversidade Federal do Pará-UFPABelém/PABrazil
  2. 2.Laboratory of Computing and Applied Mathematics-LACInstituto Nacional de Pesquisas Espaciais-INPESão José dos Campos/SPBrazil

Personalised recommendations