Skip to main content

A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework

  • Chapter

Part of the Lecture Notes in Computer Science book series (TOPNOC,volume 7400)

Abstract

This paper proposes a Stochastic Activity Networks (SANs) based approach to performance analysis of a conferencing framework compliant with the IP multimedia core network subsystem specification. The proposed approach relies on the OsMoSys modeling methodology and applies some concepts of component software engineering to the development of formal models. The paper introduces the possibility of building template models in order to enable the definition of families of models and describes the implementation of a library of reusable SANs modeling the components of the conferencing framework. Starting from the model library, we analyze the performance of a current implementation of the conferencing framework by instantiating and composing SAN models. Scalability and computational complexity are also addressed. We validate the resulting model of the conferencing system and discuss the advantages of the proposed approach through a comparative analysis with the results of an experimental campaign conducted over a real-world testbed implementation.

Keywords

  • Stochastic Activity Networks
  • models composition
  • performance evaluation
  • network management and monitoring
  • IP Multimedia Subsystem

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-35179-2_13
  • Chapter length: 26 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-35179-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Camarillo, G., Garcia-Martin, M.A.: The 3G IP Multimedia Subsystem (IMS): Merging the Internet and the Cellular Worlds, 3rd edn. (September 2008)

    Google Scholar 

  2. Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G.: The OsMoSys approach to multi-formalism modeling of systems. Software and System Modeling 3(1), 68–81 (2004)

    CrossRef  Google Scholar 

  3. Buono, A., Loreto, S., Miniero, L., Romano, S.P.: A distributed IMS enabled conferencing architecture on top of a standard centralized conferencing framework. IEEE Communications Magazine 45(3), 152–159 (2007)

    CrossRef  Google Scholar 

  4. 3GPP. Conferencing using the IP multimedia (IM) core network (CN) subsystem; stage 3. Technical report, 3GPP (March 2006)

    Google Scholar 

  5. Barnes, M., Boulton, C., Levin, O.: Rfc 5239 - a framework for centralized conferencing. Request for comments, IETF (June 2008)

    Google Scholar 

  6. Amirante, A., Castaldi, T., Miniero, L., Romano, S.P.: Improving the Scalability of an IMS-Compliant Conferencing Framework Part II: Involving Mixing and Floor Control. In: Schulzrinne, H., State, R., Niccolini, S. (eds.) IPTComm 2008. LNCS, vol. 5310, pp. 174–195. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  7. Amirante, A., Castaldi, T., Miniero, L., Romano, S.P.: Improving the Scalability of an IMS-Compliant Conferencing Framework Part II: Involving Mixing and Floor Control. In: Schulzrinne, H., State, R., Niccolini, S. (eds.) IPTComm 2008. LNCS, vol. 5310, pp. 174–195. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  8. Truchly, P., Golha, M., Tomas, F., Radoslav, G., Legen, M.: Simulation of IMS using current simulators. In: 50th International Symposium on ELMAR, vol. 2, pp. 545–548 (September 2008)

    Google Scholar 

  9. Gupta, P., Shmatikov, V.: Security analysis of voice-over-ip protocols. In: Proceedings of the 20th IEEE Computer Security Foundations Symposium, pp. 49–63. IEEE Computer Society, Washington, DC (2007)

    Google Scholar 

  10. Shankesi, R., AlTurki, M., Sasse, R., Gunter, C.A., Meseguer, J.: Model-Checking DoS Amplification for VoIP Session Initiation. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 390–405. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  11. Luo, A., Lin, C., Wang, K., Lei, L., Liu, C.: Quality of protection analysis and performance modeling in IP multimedia subsystem. Comput. Commun. 32, 1336–1345 (2009)

    CrossRef  Google Scholar 

  12. Guimarães, A.P., Maciel, P.R.M., Matias Jr., R.: Quantitative Analysis of Dependability and Performability in Voice and Data Networks. In: Meghanathan, N., Kaushik, B.K., Nagamalai, D. (eds.) CCSIT 2011, Part II. CCIS, vol. 132, pp. 302–312. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  13. Huaxu, W., GuiPing, S., Yanlan, D.: SIP Modeling and Simulation, pp. 397–431. CRC Press (2008)

    Google Scholar 

  14. Bo, C., Junliang, C., Min, D.: Petri net based formal analysis for multimedia conferencing services orchestration. Expert Systems with Applications 39, 696–705 (2012)

    CrossRef  Google Scholar 

  15. Owezarski, P., Boyer, M.: Modeling of Multimedia Architectures: The Case of Videoconferencing with Guaranteed Quality of Service, pp. 501–525. ISTE (2010)

    Google Scholar 

  16. Franceschinis, G., Gribaudo, M., Iacono, M., Marrone, S., Moscato, F., Vittorini, V.: Interfaces and binding in component based development of formal models. In: Proceedings of the 4th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2009, pp. 44:1–44:10. ICST (2009)

    Google Scholar 

  17. Moscato, F., Vittorini, V., Amato, F., Mazzeo, A., Mazzocca, N.: Solution workflows for model-based analysis of complex systems. IEEE T. Automation Science and Engineering 9(1), 83–95 (2012)

    Google Scholar 

  18. Zhang, W.J., Li, Q., Bi, Z.M., Zha, X.F.: A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing. International Journal of Production Research 38(50), 1109–1131 (2000)

    MATH  CrossRef  Google Scholar 

  19. Bondavalli, A., Lollini, P., Montecchi, L.: Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. In: Brinkschulte, U., Givargis, T., Russo, S. (eds.) SEUS 2008. LNCS, vol. 5287, pp. 186–197. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  20. Tiassou, K., Kanoun, K., Ka, M., Seguin, C., Papadopoulos, C.: Modeling Aircraft Operational Reliability. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 157–170. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  21. Chiaradonna, S., Di Giandomenico, F., Lollini, P.: Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems. International Journal of Critical Infrastructure Protection 4(1), 24–40 (2011)

    CrossRef  Google Scholar 

  22. Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.H.: Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. In: DSN, pp. 353–358. IEEE (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Marrone, S., Mazzocca, N., Nardone, R., Presta, R., Romano, S.P., Vittorini, V. (2012). A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. In: Jensen, K., van der Aalst, W.M., Ajmone Marsan, M., Franceschinis, G., Kleijn, J., Kristensen, L.M. (eds) Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science, vol 7400. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35179-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35179-2_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35178-5

  • Online ISBN: 978-3-642-35179-2

  • eBook Packages: Computer ScienceComputer Science (R0)