nach oben

Erschienen in:

2014 | OriginalPaper | Buchkapitel

A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction

verfasst von : Junxian Liu, Lin Liu

Erschienen in: Transactions on Petri Nets and Other Models of Concurrency IX

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

With the increasing popularity of Voice over IP, the Session Initiation Protocol (SIP), a protocol for session creation and management, has become more and more important. This paper is focused on SIP non-INVITE transaction (NIT) and analyzes its functional correctness and performance. We firstly propose an extension to a Coloured Petri Net (CPN) based protocol verification methodology with a performance analysis component. Following the extended methodology, CPN models for NIT are created, verified and simulated. Functional verification shows that NIT contains no livelock and dead code, but it is not free of deadlock. Simulation analysis indicates that channel loss has a signifcant impact on bandwidth consumption by NIT, and when channel loss rate is less than 20 %, the delay by the server generating its final response has great influence on NIT performance. The outcome of this research also demonstrates the effectiveness of CPN for both functional and performance analysis of network protocols.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Tissue Systems and Petri Net Synthesis

Handley, M., Schulzrinne, H., Schooler, E., Rosenberg, J.: SIP: Session Initiation Protocol. RFC 2543 (Proposed Standard, obsoleted by RFC 3261), March 1999

Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session Initiation Protocol (2002)

Glasmann, J., Kellerer, W., Muller, H.: Service development and deployment in H.323 and SIP. In: Proceedings of the Sixth IEEE Symposium on Computers and Communications, pp. 378–385 (2001)

Glasmann, J., Kellerer, W., Muller, H.: Service architectures in H.323 and SIP: a comparison. IEEE Commun. Surv. Tutorials 5(2), 32–47 (2003)CrossRef

Wang, L., Agarwal, A., Atwood, J.: Modelling and verification of interworking between SIP and H.323. Comput. Netw. 45(2), 77–98 (2004)CrossRef

3GPP: 3GPP Website - Technologies. http://www.3gpp.org/Technologies. Accessed: 20 January 2013

Camarillo, G., García-Martín, M.: The 3G IP Multimedia Subsystem (IMS): Merging the Internet and the Cellular Worlds. Wiley, New York (2011)

Rosenberg, J., Schulzrinne, H., Huitema, C., Gurle, C.: Session Initiation Protocol (SIP) Extension for Instant Messaging. RFC 3428, December 2002

Chebbo, H., Wilson, M.: Traffic and load modelling of an IP mobile network. In: 4th International Conference on 3G Mobile Communication Technologies, 3G 2003, (Conf. Publ. No. 494), pp. 423–427 (2003)

10.

Schmidt, H., Dang, C.T., Hauck, F.: Proxy-based security for the session initiation protocol (SIP). In: Second International Conference on Systems and Networks Communications, ICSNC 2007, p. 42 (2007)

11.

Geneiatakis, D., Lambrinoudakis, C., Kambourakis, G., Kafkalas, A., Ehlert, S.: A first order logic security verification model for SIP. In: IEEE International Conference on Communications, ICC ’09, pp. 1–6 (2009)

12.

Wu, J.S., Wang, P.Y.: The performance analysis of SIP-T signaling system in carrier class VoIP network. In: 17th International Conference on Advanced Information Networking and Applications, AINA 2003, pp. 39–44 (2003)

13.

Subramanian, S., Dutta, R.: Performance and scalability of M/M/c based queuing model of the SIP proxy server - a practical approach. In: 2009 Australasian Telecommunication Networks and Applications Conference (ATNAC), pp. 1–6 (2009)

14.

Sisalem, D., Liisberg, M., Rebahi, Y.: A theoretical model of the effects of losses and delays on the performance of SIP. In: Global Telecommunications Conference, IEEE GLOBECOM 2008, pp. 1–6. IEEE (2008)

15.

Gurbani, V.K., Jagadeesan, L.J., Mendiratta, V.B.: Characterizing session initiation protocol (SIP) network performance and reliability. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 196–211. Springer, Heidelberg (2005)CrossRef

16.

Rohricht, M., Bless, R.: Advanced quality-of-service signaling for the session initiation protocol (SIP). In: 2012 IEEE International Conference on Communications (ICC), pp. 6987–6992 (2012)

17.

Sari, R., Wirya, P.: Performance analysis of session initiation protocol on emulation network using NIST NET. In: The 9th International Conference on Advanced Communication Technology, vol. 1, pp. 506–510 (2007)

18.

Peng, Y., Zhanting, Y., Jizeng, W.: Petri net model of session initiation protocol and its verification. In: International Conference on Wireless Communications, Networking and Mobile Computing, WiCom 2007, pp. 1861–1864 (2007)

19.

Gehlot, V., Hayrapetyan, A.: A formalized and validated executable model of the SIP-based presence protocol for mobile applications. In: ACM Southeast Regional Conference, pp. 185–190. ACM (2007)

20.

Gehlot, V., Nigro, C.: Colored Petri net model of the session initiation protocol (SIP). In: IECON 2010–36th Annual Conference on IEEE Industrial Electronics Society, pp. 2150–2155 (2010)

21.

Ding, L.G., Liu, L.: Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured Petri nets. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 132–151. Springer, Heidelberg (2008)CrossRef

22.

Liu, L.: Verification of the SIP transaction using coloured Petri nets. In: Proceedings of the Thirty-Second Australasian Computer Science Conference (ACSC 2009), Computer Science 2009. CRPIT, Wellington, New Zealand, 19–23 January, 2009, vol. 91, pp. 63–72. Australian Computer Society (2009)

23.

Billington, J., Wilbur-Ham, M.C., Bearman, M.Y.: Automated protocol verification. In: Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V, pp. 59–70. North-Holland Publishing Co., Amsterdam (1985)

24.

Billington, J.: Specification of protocols: protocol engineering. In: Kent, A., Williams, J., Kent, R. (eds.) Encyclopedia of Microcomputers, vol. 7, pp. 299–314. Marcel Dekker, New York (1991)

25.

Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Berlin (2009)CrossRef

26.

Gordon, S.D.: Verification of the WAP transaction layer using coloured Petri nets. Ph.D. thesis, Telecommunications Research and Computer Systems Engineering Centre, University of South Australia, November 2001

27.

Han, B.: Formal specification of the TCP service and verification of TCP connection management. Ph.D. thesis, School of Electrical and Information Engineering, University of South Australia, December 2004

28.

Ouyang, C., Billington, J.: Formal analysis of the internet open trading protocol. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol. 3236, pp. 1–15. Springer, Heidelberg (2004)

29.

Tokmakoff, A., Billington, J.: An approach to the analysis of interworking traders. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 127–146. Springer, Heidelberg (1999)CrossRef

30.

Villapol, M.E., Billington, J.: A coloured Petri net approach to formalising and analysing the resource reservation protocol. CLEI Electron. J 6(1), 1–25 (2003)

31.

Vanit-Anunchai, S., Billington, J., Kongprakaiwoot, T.: Discovering chatter and incompleteness in the datagram congestion control protocol. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 143–158. Springer, Heidelberg (2005)CrossRef

32.

CPN Group: CPN Tools homepage (2012)

33.

Kristensen, L.M., Simonsen, K.I.F.: Applications of coloured Petri nets for functional validation of protocol designs. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) ToPNoC VII. LNCS, vol. 7480, pp. 56–115. Springer, Heidelberg (2013)CrossRef

34.

Liu, J., Ye, X., Li, J.: Analyzing performance for complex protocol using validated CP-nets models. In: Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology, CIT ’10, pp. 377–384. IEEE Computer Society, Washington, DC (2010)

35.

Billington, J., Gallasch, G.E., Han, B.: A coloured Petri net approach to protocol verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 210–290. Springer, Heidelberg (2004)CrossRef

36.

Kohler, E., Handley, M., Floyd, S.: Datagram Congestion Control Protocol (DCCP). RFC 4340 (Proposed Standard), March 2006. Updated by RFCs 5595, 5596

37.

Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall Inc., Upper Saddle River (1991)

38.

Diamond, W.: Practical Experiment Designs: For Engineers and Scientists. Industrial Engeneering/Quality Management. Wiley, New York (2001)

39.

Billington, J., Vanit-Anunchai, S., Gallasch, G.E.: Parameterised coloured Petri net channel models. In: Jensen, K., Billington, J., Koutny, M. (eds.) ToPNoC III. LNCS, vol. 5800, pp. 71–97. Springer, Heidelberg (2009)CrossRef

40.

Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT 9(3–4), 213–254 (2007)CrossRef

41.

Happenhofer, M., Egger, C., Reichl, P.: Quality of signalling: a new concept for evaluating the performance of non-INVITE SIP transactions. In: 2010 22nd International Teletraffic Congress (ITC), pp. 1–8, September 2010

42.

Sparks, R.: Problems Identified Associated with the Session Initiation Protocol’s (SIP) Non-INVITE Transaction. RFC 4321 (Informational), January 2006

43.

Babich, F., Deotto, L.: Formal methods for specification and analysis of communication protocols. IEEE Commun. Surv. Tutorials 4(1), 2–20 (2002)CrossRef

Titel: A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction
verfasst von: Junxian Liu
Lin Liu
Verlag: Springer Berlin Heidelberg
Buch: Transactions on Petri Nets and Other Models of Concurrency IX
Print ISBN: 978-3-662-45729-0

Electronic ISBN: 978-3-662-45730-6

Copyright-Jahr: 2014
DOI: https://doi.org/10.1007/978-3-662-45730-6_8

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner