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

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.

[1]  Marc Boyer,et al.  Modeling of Multimedia Architectures: The Case of Videoconferencing with Guaranteed Quality of Service , 2010 .

[2]  Guiping Su,et al.  SIP Modeling and Simulation , 2008 .

[3]  P. Truchly,et al.  Simulation of IMS using current simulators , 2008, 2008 50th International Symposium ELMAR.

[4]  Natarajan Meghanathan,et al.  Advances in Networks and Communications , 2011 .

[5]  Karama Kanoun,et al.  Modeling Aircraft Operational Reliability , 2011, SAFECOMP.

[6]  Stefano Marrone,et al.  Interfaces and binding in component based development of formal models , 2009, VALUETOOLS.

[7]  Kai Wang,et al.  Quality of protection analysis and performance modeling in IP multimedia subsystem , 2009, Comput. Commun..

[8]  David Clark,et al.  Safety and Security Analysis of Object-Oriented Models , 2002, SAFECOMP.

[9]  Peng Ning,et al.  Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings , 2009, ESORICS.

[10]  Rivalino Matias,et al.  Quantitative Analysis of Dependability and Performability in Voice and Data Networks , 2011 .

[11]  Salvatore Loreto,et al.  A distributed IMS enabled conferencing architecture on top of a standard centralized conferencing framework [IP Multimedia Systems (IMS) Infrastructure and Services] , 2007, IEEE Communications Magazine.

[12]  Andrea Bondavalli,et al.  Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults , 2008, SEUS.

[13]  Simon Pietro Romano,et al.  Improving the Scalability of an IMS-Compliant Conferencing Framework Part II: Involving Mixing and Floor Control , 2008, IPTComm.

[14]  Silvano Chiaradonna,et al.  Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems , 2011, Int. J. Crit. Infrastructure Prot..

[15]  Deng Min,et al.  Petri net based formal analysis for multimedia conferencing services orchestration , 2012 .

[16]  Gonzalo Camarillo,et al.  The 3G IP Multimedia Subsystem (IMS): Merging the Internet and the Cellular Worlds, Second Edition , 2006 .

[17]  Z. M. Bi,et al.  A generic Petri net model for flexible manufacturing systems and its use for FMS control software testing , 2000 .

[18]  Valeria Vittorini,et al.  The OsMoSys approach to multi-formalism modeling of systems , 2004, Software & Systems Modeling.

[19]  José Meseguer,et al.  Model-Checking DoS Amplification for VoIP Session Initiation , 2009, ESORICS.

[20]  Valeria Vittorini,et al.  Solution Workflows for Model-Based Analysis of Complex Systems , 2012, IEEE Transactions on Automation Science and Engineering.

[21]  William H. Sanders,et al.  Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models , 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

[22]  Vitaly Shmatikov,et al.  Security Analysis of Voice-over-IP Protocols , 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).