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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Camarillo, G., Garcia-Martin, M.A.: The 3G IP Multimedia Subsystem (IMS): Merging the Internet and the Cellular Worlds, 3rd edn. (September 2008)
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)
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)
3GPP. Conferencing using the IP multimedia (IM) core network (CN) subsystem; stage 3. Technical report, 3GPP (March 2006)
Barnes, M., Boulton, C., Levin, O.: Rfc 5239 - a framework for centralized conferencing. Request for comments, IETF (June 2008)
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)
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)
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)
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)
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)
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)
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)
Huaxu, W., GuiPing, S., Yanlan, D.: SIP Modeling and Simulation, pp. 397–431. CRC Press (2008)
Bo, C., Junliang, C., Min, D.: Petri net based formal analysis for multimedia conferencing services orchestration. Expert Systems with Applications 39, 696–705 (2012)
Owezarski, P., Boyer, M.: Modeling of Multimedia Architectures: The Case of Videoconferencing with Guaranteed Quality of Service, pp. 501–525. ISTE (2010)
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)
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)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)