Model-based Verification of the SIP Invite Scenario (CROSBI ID 597717)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Matetić, Siniša ; Bagić Babac, Marina
engleski
Model-based Verification of the SIP Invite Scenario
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.
Session Initiation Protocol; Coloured Petri Nets; verification
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
1079-1084.
2013.
objavljeno
Podaci o matičnoj publikaciji
36th International Convention MIPRO 2013 Proceedings
Biljanović, P.
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO
978-953-233-074-8
Podaci o skupu
36th International Convention on Information and Communication Technology, Electronics and Microelectronics
predavanje
20.05.2013-24.05.2013
Opatija, Hrvatska