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.

Fig. 1: SUT Model        

Resources