Naslov
Model-based Verification of the SIP Invite Scenario

Autori
Matetić, Siniša ; Bagić Babac, Marina

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
36th International Convention MIPRO 2013 Proceedings / Biljanović, P. - Rijeka : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2013, 1079-1084

ISBN
978-953-233-074-8

Skup
36th International Convention on Information and Communication Technology, Electronics and Microelectronics

Mjesto i datum
Opatija, Hrvatska, 20.05.2013. - 24.05.2013

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Session Initiation Protocol; Coloured Petri Nets; verification

Sažetak
The Session Initiation Protocol (SIP) is a signaling protocol for multimedia control over the Internet. It is used for initiating, maintaining and terminating multimedia sessions. In this paper we have carried out the verification of the SIP Invite scenario with Coloured Petri nets (CP-nets or CPNs). First, we have specified and verified the protocol model using a simulation tool. Then, we have verified the scenario using a state space analysis tool. We have concluded that the SIP Invite transaction is free of livelocks, and has only desirable deadlocks. Therefore, no additional remodeling for the protocol Invite transaction is needed.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo

POVEZANOST RADA