print · login   

Session Initiation Protocol

Source publications: [AJU10], [AHKOV12]

Tag: register

Description

The Session Initiation Protocol (SIP) is a signalling protocol used for initiating, maintaining, and terminating real-time sessions that include voice, video and messaging applications [RFC_3261]. In [AJU10], an abstract Mealy machine model was inferred that describes the SIP Server entity when setting up connections with a SIP Client. The model was obtained by connecting the LearnLib tool for regular inference with the protocol simulator ns-2, and generated a model of the SIP component as implemented in ns-2. Using a (manually constructed) mapper component concrete SIP messages were converted into abstract input and output symbols. In [AHKOV12], the Mealy machine model of [AJU10] was converted into the register automaton model that we have included here.

The SUT

The protocol simulator ns-2 [ns2] provides implementations of many protocols, including SIP, which can serve as System Under Test (SUT). Messages were represented as C++ structures, saving us the trouble of parsing messages represented as bitstrings.

SUT model
Fig. 1: SUT Model  

Resources

fullsip_without_label.pdf Δ   140K   June 26, 2013, at 11:20 AM
fullsip_without_label.svgz Δ   30K   February 20, 2015, at 03:49 AM
model.pdf Δ   11K   February 14, 2015, at 07:45 PM
model.register.xml Δ   9K   February 14, 2015, at 07:45 PM
model.svgz Δ   8K   February 20, 2015, at 03:49 AM
model.uppaal.xml Δ   14K   February 14, 2015, at 07:45 PM
sip.flat_0_1.dot Δ   5K   May 02, 2017, at 01:46 PM
sip.flat_0_10.dot Δ   375K   May 02, 2017, at 01:46 PM
sip.flat_0_2.dot Δ   12K   May 02, 2017, at 01:46 PM
sip.flat_0_3.dot Δ   24K   May 02, 2017, at 01:46 PM
sip.flat_0_4.dot Δ   42K   May 02, 2017, at 01:46 PM
sip.flat_0_5.dot Δ   68K   May 02, 2017, at 01:46 PM
sip.flat_0_6.dot Δ   106K   May 02, 2017, at 01:46 PM
sip.flat_0_7.dot Δ   153K   May 02, 2017, at 01:46 PM
sip.flat_0_8.dot Δ   213K   May 02, 2017, at 01:46 PM
sip.flat_0_9.dot Δ   286K   May 02, 2017, at 01:46 PM
sip.flatten.0.3.dot Δ   47K   September 24, 2015, at 06:31 PM
sip_full.pdf Δ   75K   June 26, 2013, at 11:20 AM
sip_full.svgz Δ   15K   February 20, 2015, at 03:49 AM