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

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


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.


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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)CrossRefGoogle Scholar
  3. 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)CrossRefGoogle Scholar
  4. 4.
    3GPP. Conferencing using the IP multimedia (IM) core network (CN) subsystem; stage 3. Technical report, 3GPP (March 2006)Google Scholar
  5. 5.
    Barnes, M., Boulton, C., Levin, O.: Rfc 5239 - a framework for centralized conferencing. Request for comments, IETF (June 2008)Google Scholar
  6. 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)CrossRefGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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. 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. 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)CrossRefGoogle Scholar
  11. 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)CrossRefGoogle Scholar
  12. 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)CrossRefGoogle Scholar
  13. 13.
    Huaxu, W., GuiPing, S., Yanlan, D.: SIP Modeling and Simulation, pp. 397–431. CRC Press (2008)Google Scholar
  14. 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)CrossRefGoogle Scholar
  15. 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. 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. 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. 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)zbMATHCrossRefGoogle Scholar
  19. 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)CrossRefGoogle Scholar
  20. 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)CrossRefGoogle Scholar
  21. 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)CrossRefGoogle Scholar
  22. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  1. 1.Dipartimento di MatematicaSeconda Università di NapoliCasertaItaly
  2. 2.Dipartimento di Informatica e SistemisticaUniversità di Napoli “Federico II”NapoliItaly

Personalised recommendations