group TP1_InterworkingFromSIPtoISUP done (dddeb0ec) · Commits · INT - Core Network and Interoperability Testing / IMS / IMS_ISUP_IW

IsupAts/SipIsup_ISUP_Constants.ttcn

+12 −0

Original line number	Original line	Diff line number	Diff line
	@@ -58,6 +58,18 @@ const Bit1 c_BCI_isdnUpInd_NotUsed := '0'B;
	/* Value 'ISUP used all the way' of bit field element 'ISDN user part indicator' in IE 'Backward call Indicators'. */		/* Value 'ISUP used all the way' of bit field element 'ISDN user part indicator' in IE 'Backward call Indicators'. */
	const Bit1 c_BCI_isdnUpInd_used := '1'B;		const Bit1 c_BCI_isdnUpInd_used := '1'B;

			/* Value '#16 Normal call clearing' of element 'Cause indicator' in IE 'Cause'. */
			const integer c_CAU_CauseVal_16 := 16;

			/* Value '#31 Normal, unspecified' of element 'Cause indicator' in IE 'Cause'. */
			const integer c_CAU_CauseVal_31 := 31;

			/* Value '#41 Temporary failure' of element 'Cause indicator' in IE 'Cause'. */
			const integer c_CAU_CauseVal_41 := 41;

			/* Value '#47 Resource unavailable, unspecified' of element 'Cause indicator' in IE 'Cause'. */
			const integer c_CAU_CauseVal_47 := 47;

	/* Value 'CCBS possible' of element 'Diagnostics' in IE 'Cause'. */		/* Value 'CCBS possible' of element 'Diagnostics' in IE 'Cause'. */
	const octetstring c_CAU_cDiagn_CCBSposs := '01'O;		const octetstring c_CAU_cDiagn_CCBSposs := '01'O;

IsupAts/SipIsup_ISUP_MsgTemplates.ttcn

+43 −452

File changed.

Preview size limit exceeded, changes collapsed.

IsupAts/SipIsup_ISUP_ParamTemplates.ttcn

+19 −68

Original line number	Original line	Diff line number	Diff line
	@@ -809,33 +809,7 @@ template BCI_PAR_v mw_BCI_cldPstatNoInd_tAccNonISDN(Bit1 p_isdnUpInd) :=
	} /* end group BCI */		} /* end group BCI */

	group CAU {		group CAU {
	template CAUI_PAR_lv m_CAUI_Def :=		template CAUI_PAR_lv m_CAU(integer p_cauVal) :=
	/* Default TX template for Cause indicators parameter (CAUI); Variable(V) format. */
	{
	paramLen := '00000010'B, /* Parameter Length field */
	location := '0000'B, /* location */
	spare := '0'B, /* spare */
	codingStandard := '00'B, /* codingStandard */
	ext1 := '1'B, /* Extension */
	causeValue := '0010000'B, /* Cause value */
	ext2 := '1'B, /* Extension */
	diagnostics := omit /* Diagnostic(s)*/
	}

	template CAUI_PAR_lv m_CAUI_CCBS :=
	/* TX template for Cause indicators parameter (CAUI), with diagnostics = 'CCBS possible', a cause value compatible with this diagnostics, and default values otherwise */
	{
	paramLen := '00000011'B, /* Parameter Length field */
	location := '0000'B, /* location */
	spare := '0'B, /* spare */
	codingStandard := '00'B, /* codingStandard */
	ext1 := '1'B, /* Extension */
	causeValue := int2bit(PX_ISUP_REL_CAU_CCBSposs, 7), /* Cause value */
	ext2 := '1'B, /* Extension */
	diagnostics := c_CAU_cDiagn_CCBSposs /* Diagnostic(s) (if any) */
	}

	template CAUI_PAR_lv m_CAUI_Causev(integer p_cauVal) :=
	/* Default TX template for Cause indicators parameter (CAUI); Mandatory Variable (V) format. */		/* Default TX template for Cause indicators parameter (CAUI); Mandatory Variable (V) format. */
	{		{
	paramLen := '00000010'B, /* Parameter Length field */		paramLen := '00000010'B, /* Parameter Length field */
	@@ -875,43 +849,19 @@ template CAUI_PAR_tlv mw_CAUI_PAR_tlv_any :=
	diagnostics := * /* Diagnostic(s) (if any) */		diagnostics := * /* Diagnostic(s) (if any) */
	}		}

	template CAUI_PAR_lv mw_CAUI_Diag2a(integer p_cauVal) :=		template CAUI_PAR_lv mw_CAU(template integer p_cauVal,
			template Bit4 p_location,
			template octetstring p_diagnostics) :=
	/* TX template for Cause indicators parameter (CAUI); Mandatory Variable (V) format, with cause value parameterized and diagnostics = '2A'O. */		/* TX template for Cause indicators parameter (CAUI); Mandatory Variable (V) format, with cause value parameterized and diagnostics = '2A'O. */
	{		{
	paramLen := '00000011'B, /* Parameter Length field */		paramLen := '00000011'B, /* Parameter Length field */
	location := ?, /* location */		location := p_location, /* location */
	spare := '0'B, /* spare */		spare := '0'B, /* spare */
	codingStandard := ?, /* codingStandard */		codingStandard := ?, /* codingStandard */
	ext1 := ?, /* Extension */		ext1 := ?, /* Extension */
	causeValue := int2bit(p_cauVal, 7), /* Cause value */		causeValue := int2bit(p_cauVal, 7), /* Cause value */
	ext2 := ?, /* Extension */		ext2 := ?, /* Extension */
	diagnostics := '2A'O /* Diagnostic(s) */		diagnostics := p_diagnostics /* Diagnostic(s) */
	}

	template CAUI_PAR_lv mw_CAUI_cval(integer p_cauVal) :=
	/* TX template for Cause indicators parameter (CAUI); Mandatory Variable (V) format, with cause value parameterized. */
	{
	paramLen := ?, /* Parameter Length field */
	location := ?, /* location */
	spare := '0'B, /* spare */
	codingStandard := ?, /* codingStandard */
	ext1 := ?, /* Extension */
	causeValue := int2bit(p_cauVal, 7), /* Cause value */
	ext2 := ?, /* Extension */
	diagnostics := * /* Diagnostic(s), if any */
	}

	template CAUI_PAR_lv mw_CAUI_Beyond(integer p_cauVal) :=
	/* TX template for Cause indicators parameter (CAUI); Mandatory Variable (V) format, with cause value parameterizedand location = 'network beyond an interworking point'. */
	{
	paramLen := ?, /* Parameter Length field */
	location := c_CAU_cLocation_ntwBeyond, /* location */
	spare := '0'B, /* spare */
	codingStandard := ?, /* codingStandard */
	ext1 := ?, /* Extension */
	causeValue := int2bit(p_cauVal, 7), /* Cause value */
	ext2 := ?, /* Extension */
	diagnostics := * /* Diagnostic(s), if any */
	}		}
	} /* end group CAU */		} /* end group CAU */

	@@ -1765,12 +1715,12 @@ template OFCI_PAR_tlv mw_OFCI_PAR_tlv_any :=
	} /* end group OFCI */		} /* end group OFCI */

	group PCI {		group PCI {
	template PCI_PAR_tlv m_PCI_PAR_tlv_Fpar(template ParameterInstructionIndicator p_paramInstructInds) :=		template PCI_PAR_tlv m_PCI_RelCall :=
	/* Default TX template with parametrization for Parameter compatibility information parameter (PCI); Optional(O) format. */		/* Default TX template for Parameter compatibility information parameter (PCI); Optional(O) format. */
	{		{
	paramType := '00111001'B, /* Parameter Type '00111001'B */		paramType := '00111001'B, /* Parameter Type '00111001'B */
	paramLen := int2bit((lengthof(valueof(p_paramInstructInds.moreInstructionIndicators))+ 3), 8), /* Parameter Length field */		paramLen := '00000011'B, /* Parameter Length field */
	parameterInstructionIndicators := {p_paramInstructInds}		parameterInstructionIndicators := {m_ParameterInstructionIndicator_RelCall}
	}		}

	template ParameterInstructionIndicator m_ParameterInstructionIndicator_RelCall :=		template ParameterInstructionIndicator m_ParameterInstructionIndicator_RelCall :=
	@@ -1782,10 +1732,11 @@ template ParameterInstructionIndicator m_ParameterInstructionIndicator_RelCall :
	discardMessageIndicator := '1'B, /* bit D: Discard message indicator */		discardMessageIndicator := '1'B, /* bit D: Discard message indicator */
	discardParameterIndicator := '1'B, /* bit E: Discard parameter indicator */		discardParameterIndicator := '1'B, /* bit E: Discard parameter indicator */
	passOnNotPossibleIndicator := '00'B, /* bits G F: Pass on not possible indicator */		passOnNotPossibleIndicator := '00'B, /* bits G F: Pass on not possible indicator */
	ext := '1'B, /* c: Extension indicator (ext.) */		ext1 := '1'B, /* bit H: Extension indicator (ext.) */
	broadNarrowBandInterwIndicator := '10'B, /* bits J I: Broadband/narrowband interworking indicator */		broadNarrowBandInterwIndicator := '10'B, /* bits J I: Broadband/narrowband interworking indicator */
	spare := , / bits O-K: spare */		spare := '00000'B, /* bits O-K: spare */
	moreInstructionIndicators := * /* to be defined when required */		ext2 := '1'B, /* bit P: Extension indicator (ext.) */
			moreInstructionIndicators := omit /* to be defined when required */
	}		}

	template PCI_PAR_tlv mw_PCI_PAR_tlv_any :=		template PCI_PAR_tlv mw_PCI_PAR_tlv_any :=

IsupAts/SipIsup_ISUP_ParamTypes.ttcn

+3 −2

Original line number	Original line	Diff line number	Diff line
	@@ -1322,9 +1322,10 @@ type record ParameterInstructionIndicator
	Bit1 discardMessageIndicator, /* bit D: Discard message indicator */		Bit1 discardMessageIndicator, /* bit D: Discard message indicator */
	Bit1 discardParameterIndicator, /* bit E: Discard parameter indicator */		Bit1 discardParameterIndicator, /* bit E: Discard parameter indicator */
	Bit2 passOnNotPossibleIndicator, /* bits G F: Pass on not possible indicator */		Bit2 passOnNotPossibleIndicator, /* bits G F: Pass on not possible indicator */
	Bit1 ext, /* c: Extension indicator (ext.) */		Bit1 ext1, /* bit H: Extension indicator (ext.) */
	Bit2 broadNarrowBandInterwIndicator optional, /* bits J I: Broadband/narrowband interworking indicator */		Bit2 broadNarrowBandInterwIndicator optional, /* bits J I: Broadband/narrowband interworking indicator */
	Bit6 spare optional, /* bits O-K: spare */		Bit5 spare optional, /* bits O-K: spare */
			Bit1 ext2 optional, /* bit P: Extension indicator (ext.) */
	octetstring moreInstructionIndicators optional /* to be defined when required */		octetstring moreInstructionIndicators optional /* to be defined when required */
	}		}
	type set of ParameterInstructionIndicator ParameterInstructionIndicators;		type set of ParameterInstructionIndicator ParameterInstructionIndicators;

IsupAts/SipIsup_ISUP_Steps.ttcn

+42 −44

Original line number	Original line	Diff line number	Diff line
	@@ -46,21 +46,20 @@ group SipIsup_ISUP_Defaults
	if cic = active cic,		if cic = active cic,
	for expected ACM do nothing and return */		for expected ACM do nothing and return */
	[PX_ISUP_Isup] IsupBiccP.receive(		[PX_ISUP_Isup] IsupBiccP.receive(
	mw_ISUP_MSG_ind(?, { aCM_MSG := mw_ACM_MSG_anyOpt(mw_BCI_PAR_v_any)}, v_SLS)		mw_ISUP_MSG_ind(?, { aCM_MSG := mw_ACM_MSG_Def}, v_SLS))-> value v_ACM_r
	)-> value v_ACM_r
	{		{
	v_CircuitIdentityCodeDef := v_ACM_r.circuitIdentityCode.cicv;		v_CircuitIdentityCodeDef := v_ACM_r.circuitIdentityCode.cicv;
	if((v_CircuitIdentityCodeDef == v_CircuitIdentityCode1) and (v_ACM_expected1 == false))		if((v_CircuitIdentityCodeDef == v_CircuitIdentityCode1) and (v_ACM_expected1 == false))
	{		{
	IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode1, { rEL_MSG := m_REL_MSG_Def}, v_SLS));		IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode1, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}, v_SLS));
	setverdict(fail);		setverdict(fail);
	syncPort.send(m_syncClientStop);		syncPort.send(m_syncClientStop);
	stop;		stop;
	}		}
	else if((v_CircuitIdentityCodeDef == v_CircuitIdentityCode2) and (v_ACM_expected2 == false))		else if((v_CircuitIdentityCodeDef == v_CircuitIdentityCode2) and (v_ACM_expected2 == false))
	{		{
	IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode2, { rEL_MSG := m_REL_MSG_Def}, v_SLS2));		IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode2, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}, v_SLS2));
	IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode1, { rEL_MSG := m_REL_MSG_Def}, v_SLS));		IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode1, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}, v_SLS));
	setverdict(fail);		setverdict(fail);
	syncPort.send(m_syncClientStop);		syncPort.send(m_syncClientStop);
	stop;		stop;
	@@ -79,21 +78,20 @@ group SipIsup_ISUP_Defaults
	}		}

	[not PX_ISUP_Isup] IsupBiccP.receive(		[not PX_ISUP_Isup] IsupBiccP.receive(
	mw_BICC_MSG_ind(?, { aCM_MSG := mw_ACM_MSG_anyOpt(mw_BCI_PAR_v_any)})		mw_BICC_MSG_ind(?, { aCM_MSG := mw_ACM_MSG_Def}))-> value v_ACM_r
	)-> value v_ACM_r
	{		{
	v_CallInstanceCodeDef := v_ACM_r.callInstanceCode;		v_CallInstanceCodeDef := v_ACM_r.callInstanceCode;
	if((v_CallInstanceCodeDef == v_CallInstanceCode1) and (v_ACM_expected1 == false))		if((v_CallInstanceCodeDef == v_CallInstanceCode1) and (v_ACM_expected1 == false))
	{		{
	IsupBiccP.send(m_BICC_MSG_req(v_CallInstanceCode1, { rEL_MSG := m_REL_MSG_Def}));		IsupBiccP.send(m_BICC_MSG_req(v_CallInstanceCode1, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}));
	setverdict(fail);		setverdict(fail);
	syncPort.send(m_syncClientStop);		syncPort.send(m_syncClientStop);
	stop;		stop;
	}		}
	else if((v_CallInstanceCodeDef == v_CallInstanceCode2) and (v_ACM_expected2 == false))		else if((v_CallInstanceCodeDef == v_CallInstanceCode2) and (v_ACM_expected2 == false))
	{		{
	IsupBiccP.send(m_BICC_MSG_req(v_CallInstanceCode2, { rEL_MSG := m_REL_MSG_Def}));		IsupBiccP.send(m_BICC_MSG_req(v_CallInstanceCode2, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}));
	IsupBiccP.send(m_BICC_MSG_req(v_CallInstanceCode1, { rEL_MSG := m_REL_MSG_Def}));		IsupBiccP.send(m_BICC_MSG_req(v_CallInstanceCode1, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}));
	setverdict(fail);		setverdict(fail);
	syncPort.send(m_syncClientStop);		syncPort.send(m_syncClientStop);
	stop;		stop;
	@@ -119,7 +117,7 @@ group SipIsup_ISUP_Defaults
	{		{
	v_CircuitIdentityCodeDef := v_IAM_r.circuitIdentityCode.cicv;		v_CircuitIdentityCodeDef := v_IAM_r.circuitIdentityCode.cicv;
	v_SLS := v_IAM_r.routingLabel.sls;		v_SLS := v_IAM_r.routingLabel.sls;
	IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCodeDef, { rEL_MSG := m_REL_MSG_Def}, v_SLS));		IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCodeDef, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}, v_SLS));
	setverdict(fail);		setverdict(fail);
	syncPort.send(m_syncClientStop);		syncPort.send(m_syncClientStop);
	stop;		stop;
	@@ -130,7 +128,7 @@ group SipIsup_ISUP_Defaults
	)-> value v_IAM_r		)-> value v_IAM_r
	{		{
	v_CallInstanceCodeDef := v_IAM_r.callInstanceCode;		v_CallInstanceCodeDef := v_IAM_r.callInstanceCode;
	IsupBiccP.send(m_BICC_MSG_req(v_CallInstanceCodeDef, { rEL_MSG := m_REL_MSG_Def}));		IsupBiccP.send(m_BICC_MSG_req(v_CallInstanceCodeDef, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}));
	setverdict(fail);		setverdict(fail);
	syncPort.send(m_syncClientStop);		syncPort.send(m_syncClientStop);
	stop;		stop;
	@@ -189,8 +187,8 @@ group SipIsup_ISUP_Defaults

	[PX_ISUP_Isup] any timer.timeout		[PX_ISUP_Isup] any timer.timeout
	{		{
	IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode1, { rEL_MSG := m_REL_MSG_Def}, v_SLS));		IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode1, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}, v_SLS));
	IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode2, { rEL_MSG := m_REL_MSG_Def}, v_SLS2));		IsupBiccP.send(m_ISUP_MSG_req(v_CircuitIdentityCode2, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}, v_SLS2));
	setverdict(fail);		setverdict(fail);
	syncPort.send(m_syncClientStop);		syncPort.send(m_syncClientStop);
	stop;		stop;
	@@ -1513,13 +1511,13 @@ group SipIsup_ISUP_Postambles
	alt		alt
	{ // expect REL Msg		{ // expect REL Msg
	[PX_ISUP_Isup] IsupBiccP.receive		[PX_ISUP_Isup] IsupBiccP.receive
	( mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}, v_SLS))		( mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { rEL_MSG := mw_REL_MSG_Def}, v_SLS))
	{ TWait.stop;		{ TWait.stop;
	// send RLC Msg		// send RLC Msg
	IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS));		IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS));
	}		}
	[not PX_ISUP_Isup] IsupBiccP.receive		[not PX_ISUP_Isup] IsupBiccP.receive
	( mw_BICC_MSG_ind(v_CallInstanceCode1, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}))		( mw_BICC_MSG_ind(v_CallInstanceCode1, { rEL_MSG := mw_REL_MSG_Def}))
	{ TWait.stop;		{ TWait.stop;
	// send RLC Msg		// send RLC Msg
	IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { rLC_MSG := m_RLC_MSG_noOpt}));		IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { rLC_MSG := m_RLC_MSG_noOpt}));
	@@ -1541,14 +1539,14 @@ group SipIsup_ISUP_Postambles
	alt		alt
	{		{
	[PX_ISUP_Isup] IsupBiccP.receive // receive REL Msg on cic1 first		[PX_ISUP_Isup] IsupBiccP.receive // receive REL Msg on cic1 first
	( mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}, v_SLS))		( mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { rEL_MSG := mw_REL_MSG_Def}, v_SLS))
	{ // send RLC Msg on cic1		{ // send RLC Msg on cic1
	IsupBiccP.send (m_ISUP_MSG_req( v_CircuitIdentityCode1, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS));		IsupBiccP.send (m_ISUP_MSG_req( v_CircuitIdentityCode1, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS));

	alt		alt
	{		{
	[] IsupBiccP.receive // receive REL Msg on cic2		[] IsupBiccP.receive // receive REL Msg on cic2
	( mw_ISUP_MSG_ind(v_CircuitIdentityCode2, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}, v_SLS2))		( mw_ISUP_MSG_ind(v_CircuitIdentityCode2, { rEL_MSG := mw_REL_MSG_Def}, v_SLS2))
	{ TWait.stop;		{ TWait.stop;
	// send RLC Msg		// send RLC Msg
	IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode2, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS2));		IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode2, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS2));
	@@ -1557,14 +1555,14 @@ group SipIsup_ISUP_Postambles
	}		}

	[PX_ISUP_Isup] IsupBiccP.receive // receive REL Msg on cic2 first		[PX_ISUP_Isup] IsupBiccP.receive // receive REL Msg on cic2 first
	( mw_ISUP_MSG_ind(v_CircuitIdentityCode2, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}, v_SLS2))		( mw_ISUP_MSG_ind(v_CircuitIdentityCode2, { rEL_MSG := mw_REL_MSG_Def}, v_SLS2))
	{ // send RLC Msg on cic2		{ // send RLC Msg on cic2
	IsupBiccP.send (m_ISUP_MSG_req( v_CircuitIdentityCode2, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS2));		IsupBiccP.send (m_ISUP_MSG_req( v_CircuitIdentityCode2, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS2));

	alt		alt
	{		{
	[] IsupBiccP.receive // receive REL Msg on cic1		[] IsupBiccP.receive // receive REL Msg on cic1
	( mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}, v_SLS))		( mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { rEL_MSG := mw_REL_MSG_Def}, v_SLS))
	{ TWait.stop;		{ TWait.stop;
	// send RLC Msg		// send RLC Msg
	IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS));		IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { rLC_MSG := m_RLC_MSG_noOpt}, v_SLS));
	@@ -1573,7 +1571,7 @@ group SipIsup_ISUP_Postambles
	}		}

	[not PX_ISUP_Isup] IsupBiccP.receive // receive REL Msg on cic1 first		[not PX_ISUP_Isup] IsupBiccP.receive // receive REL Msg on cic1 first
	( mw_BICC_MSG_ind(v_CallInstanceCode1, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}))		( mw_BICC_MSG_ind(v_CallInstanceCode1, { rEL_MSG := mw_REL_MSG_Def}))
	{ // send RLC Msg on cic1		{ // send RLC Msg on cic1
	IsupBiccP.send (m_BICC_MSG_req( v_CallInstanceCode1, { rLC_MSG := m_RLC_MSG_noOpt}));		IsupBiccP.send (m_BICC_MSG_req( v_CallInstanceCode1, { rLC_MSG := m_RLC_MSG_noOpt}));
	v_ISUP_BearerState1 := 0;//initialize state associated with cic1		v_ISUP_BearerState1 := 0;//initialize state associated with cic1
	@@ -1581,7 +1579,7 @@ group SipIsup_ISUP_Postambles
	alt		alt
	{		{
	[] IsupBiccP.receive // receive REL Msg on cic2		[] IsupBiccP.receive // receive REL Msg on cic2
	( mw_BICC_MSG_ind(v_CallInstanceCode2, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}))		( mw_BICC_MSG_ind(v_CallInstanceCode2, { rEL_MSG := mw_REL_MSG_Def}))
	{ TWait.stop;		{ TWait.stop;
	// send RLC Msg		// send RLC Msg
	IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode2, { rLC_MSG := m_RLC_MSG_noOpt}));		IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode2, { rLC_MSG := m_RLC_MSG_noOpt}));
	@@ -1592,7 +1590,7 @@ group SipIsup_ISUP_Postambles
	}		}

	[not PX_ISUP_Isup] IsupBiccP.receive // receive REL Msg on cic2 first		[not PX_ISUP_Isup] IsupBiccP.receive // receive REL Msg on cic2 first
	( mw_BICC_MSG_ind(v_CallInstanceCode2, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}))		( mw_BICC_MSG_ind(v_CallInstanceCode2, { rEL_MSG := mw_REL_MSG_Def}))
	{ // send RLC Msg on cic1		{ // send RLC Msg on cic1
	IsupBiccP.send (m_BICC_MSG_req( v_CallInstanceCode2, { rLC_MSG := m_RLC_MSG_noOpt}));		IsupBiccP.send (m_BICC_MSG_req( v_CallInstanceCode2, { rLC_MSG := m_RLC_MSG_noOpt}));
	v_ISUP_BearerState2 := 0; //initialize state associated with cic1		v_ISUP_BearerState2 := 0; //initialize state associated with cic1
	@@ -1600,7 +1598,7 @@ group SipIsup_ISUP_Postambles
	alt		alt
	{		{
	[] IsupBiccP.receive // receive REL Msg on cic1		[] IsupBiccP.receive // receive REL Msg on cic1
	( mw_BICC_MSG_ind(v_CallInstanceCode1, { rEL_MSG := mw_REL_MSG_anyOpt(mw_CAUI_PAR_lv_any)}))		( mw_BICC_MSG_ind(v_CallInstanceCode1, { rEL_MSG := mw_REL_MSG_Def}))
	{ TWait.stop;		{ TWait.stop;
	// send RLC Msg		// send RLC Msg
	IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { rLC_MSG := m_RLC_MSG_noOpt}));		IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { rLC_MSG := m_RLC_MSG_noOpt}));
	@@ -1622,22 +1620,22 @@ group SipIsup_ISUP_Postambles

	if (PX_ISUP_Isup == true)		if (PX_ISUP_Isup == true)
	{ // send REL Msg		{ // send REL Msg
	IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { rEL_MSG := m_REL_MSG_noOpt(m_CAUI_Def)}, v_SLS));		IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}, v_SLS));
	TAck.start; // Wait for REL message		TAck.start; // Wait for REL message

	alt { // expect RLC Msg		alt { // expect RLC Msg
	[] IsupBiccP.receive(mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { rLC_MSG := mw_RLC_MSG_anyOpt}, v_SLS))		[] IsupBiccP.receive(mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { rLC_MSG := mw_RLC}, v_SLS))
	{TAck.stop;}		{TAck.stop;}
	}		}
	}		}
	else		else
	{ // send REL Msg		{ // send REL Msg
	IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { rEL_MSG := m_REL_MSG_noOpt(m_CAUI_Def)}));		IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { rEL_MSG := m_REL(c_CAU_CauseVal_16)}));
	v_ISUP_BearerState1 := 2; //initialize state associated with cic1		v_ISUP_BearerState1 := 2; //initialize state associated with cic1
	TAck.start; // Wait for REL message		TAck.start; // Wait for REL message

	alt { // expect RLC Msg		alt { // expect RLC Msg
	[] IsupBiccP.receive(mw_BICC_MSG_ind(v_CallInstanceCode1,{ rLC_MSG := mw_RLC_MSG_anyOpt}))		[] IsupBiccP.receive(mw_BICC_MSG_ind(v_CallInstanceCode1,{ rLC_MSG := mw_RLC}))
	{TAck.stop;}		{TAck.stop;}
	}		}
	v_ISUP_BearerState1 := 0;//initialize state associated with cic1		v_ISUP_BearerState1 := 0;//initialize state associated with cic1
	@@ -1654,23 +1652,23 @@ group SipIsup_ISUP_Postambles

	if (PX_ISUP_Isup == true)		if (PX_ISUP_Isup == true)
	{ // send CGU Msg		{ // send CGU Msg
	IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { cGU_MSG := m_CGU_MSG_noOpt}, v_SLS));		IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { cGU_MSG := m_CGU}, v_SLS));
	TWait.start; // Wait for CGUA message		TWait.start; // Wait for CGUA message

	alt { // expect CGUA Msg		alt { // expect CGUA Msg
	[] IsupBiccP.receive		[] IsupBiccP.receive
	( mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { cGUA_MSG := mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}, v_SLS))		( mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { cGUA_MSG := mw_CGUA}, v_SLS))
	{TWait.stop;}		{TWait.stop;}
	}		}
	}		}
	else		else
	{ // send CGU Msg		{ // send CGU Msg
	IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { cGU_MSG := m_CGU_MSG_noOpt}));		IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { cGU_MSG := m_CGU}));
	TWait.start; // Wait for CGUA message		TWait.start; // Wait for CGUA message

	alt { // expect CGUA Msg		alt { // expect CGUA Msg
	[] IsupBiccP.receive		[] IsupBiccP.receive
	( mw_BICC_MSG_ind(v_CallInstanceCode1, { cGUA_MSG := mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}))		( mw_BICC_MSG_ind(v_CallInstanceCode1, { cGUA_MSG := mw_CGUA}))
	{TWait.stop;}		{TWait.stop;}
	}		}
	f_IsupBicc_Post_CheckStates();// check signalling states and bearer connection states.		f_IsupBicc_Post_CheckStates();// check signalling states and bearer connection states.
	@@ -1685,32 +1683,32 @@ group SipIsup_ISUP_Postambles
	if (PX_ISUP_Isup == true)		if (PX_ISUP_Isup == true)
	{ // send CGU Msg on cic1		{ // send CGU Msg on cic1
	IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { cGU_MSG :=		IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode1, { cGU_MSG :=
	m_CGU_MSG_noOpt}, v_SLS));		m_CGU}, v_SLS));

	// send CGU Msg on cic2		// send CGU Msg on cic2
	IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode2, { cGU_MSG :=		IsupBiccP.send (m_ISUP_MSG_req(v_CircuitIdentityCode2, { cGU_MSG :=
	m_CGU_MSG_noOpt}, v_SLS2));		m_CGU}, v_SLS2));

	TWait.start;// Wait for CGUA messages		TWait.start;// Wait for CGUA messages

	alt {		alt {
	// expect CGUA Msg on cic1 first		// expect CGUA Msg on cic1 first
	[] IsupBiccP.receive (mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { cGUA_MSG :=		[] IsupBiccP.receive (mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { cGUA_MSG :=
	mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}, v_SLS))		mw_CGUA}, v_SLS))
	{		{
	alt { // expect CGUA Msg on cic2		alt { // expect CGUA Msg on cic2
	[] IsupBiccP.receive (mw_ISUP_MSG_ind(v_CircuitIdentityCode2, { cGUA_MSG :=		[] IsupBiccP.receive (mw_ISUP_MSG_ind(v_CircuitIdentityCode2, { cGUA_MSG :=
	mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}, v_SLS2))		mw_CGUA}, v_SLS2))
	{TWait.stop;}		{TWait.stop;}
	}		}
	}		}
	// expect CGUA Msg on cic2 first		// expect CGUA Msg on cic2 first
	[] IsupBiccP.receive (mw_ISUP_MSG_ind(v_CircuitIdentityCode2, { cGUA_MSG :=		[] IsupBiccP.receive (mw_ISUP_MSG_ind(v_CircuitIdentityCode2, { cGUA_MSG :=
	mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}, v_SLS2))		mw_CGUA}, v_SLS2))
	{		{
	alt { // expect CGUA Msg on cic1		alt { // expect CGUA Msg on cic1
	[] IsupBiccP.receive (mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { cGUA_MSG :=		[] IsupBiccP.receive (mw_ISUP_MSG_ind(v_CircuitIdentityCode1, { cGUA_MSG :=
	mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}, v_SLS))		mw_CGUA}, v_SLS))
	{TWait.stop;}		{TWait.stop;}
	}		}
	}		}
	@@ -1720,32 +1718,32 @@ group SipIsup_ISUP_Postambles
	else		else
	{ // send CGU Msg on cic1		{ // send CGU Msg on cic1
	IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { cGU_MSG :=		IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode1, { cGU_MSG :=
	m_CGU_MSG_noOpt}));		m_CGU}));

	// send CGU Msg on cic2		// send CGU Msg on cic2
	IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode2, { cGU_MSG :=		IsupBiccP.send (m_BICC_MSG_req(v_CallInstanceCode2, { cGU_MSG :=
	m_CGU_MSG_noOpt}));		m_CGU}));

	TWait.start;// Wait for CGUA messages		TWait.start;// Wait for CGUA messages

	alt {		alt {
	// expect CGUA Msg on cic1 first		// expect CGUA Msg on cic1 first
	[] IsupBiccP.receive (mw_BICC_MSG_ind(v_CallInstanceCode1, { cGUA_MSG :=		[] IsupBiccP.receive (mw_BICC_MSG_ind(v_CallInstanceCode1, { cGUA_MSG :=
	mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}))		mw_CGUA}))
	{		{
	alt { // expect CGUA Msg on cic2		alt { // expect CGUA Msg on cic2
	[] IsupBiccP.receive (mw_BICC_MSG_ind(v_CallInstanceCode2, { cGUA_MSG :=		[] IsupBiccP.receive (mw_BICC_MSG_ind(v_CallInstanceCode2, { cGUA_MSG :=
	mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}))		mw_CGUA}))
	{TWait.stop;}		{TWait.stop;}
	}		}
	}		}
	// expect CGUA Msg on cic2 first		// expect CGUA Msg on cic2 first
	[] IsupBiccP.receive (mw_BICC_MSG_ind(v_CallInstanceCode2, { cGUA_MSG :=		[] IsupBiccP.receive (mw_BICC_MSG_ind(v_CallInstanceCode2, { cGUA_MSG :=
	mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}))		mw_CGUA}))
	{		{
	alt { // expect CGUA Msg on cic1		alt { // expect CGUA Msg on cic1
	[] IsupBiccP.receive (mw_BICC_MSG_ind(v_CallInstanceCode1, { cGUA_MSG :=		[] IsupBiccP.receive (mw_BICC_MSG_ind(v_CallInstanceCode1, { cGUA_MSG :=
	mw_CGUA_MSG_anyOpt(m_CGSM_Def, mw_RAS_PAR_lv_any)}))		mw_CGUA}))
	{TWait.stop;}		{TWait.stop;}
	}		}
	}		}