Implement IICP TSS&TPs (a8b43864) · Commits · TTCN-3 Libraries / LibIts

ttcn/CALM/IICP/LibItsIicp_Functions.ttcn3

+10 −1

Original line number	Original line	Diff line number	Diff line
	@@ -40,7 +40,7 @@ module LibItsIicp_Functions {
	ITS_SCUtype		ITS_SCUtype
	};		};
	import from LibItsMgt_TypesAndValues {		import from LibItsMgt_TypesAndValues {
	type IParamNoList, IParamList		type IParamNoList, IParamList, ErrorsList
	};		};
	import from LibItsIicp_Templates all;		import from LibItsIicp_Templates all;
	import from LibItsIicp_Pics all;		import from LibItsIicp_Pics all;
	@@ -394,6 +394,15 @@ module LibItsIicp_Functions {
	return PX_MI_IPARAMLIST;		return PX_MI_IPARAMLIST;
	}		}

			/**
			* @desc TODO
			* @return TODO
			* @see PX_MI_ERRORSLIST
			*/
			function f_getIutErrorsList() return ErrorsList {
			return PX_MI_ERRORSLIST;
			}

	} // End of group iutFunctions		} // End of group iutFunctions

	} // End of module LibItsIicp_Functions		} // End of module LibItsIicp_Functions
			No newline at end of file

ttcn/CALM/IICP/LibItsIicp_Pixits.ttcn3

+21 −1

Original line number	Original line	Diff line number	Diff line
	@@ -31,7 +31,7 @@ module LibItsIicp_Pixits {
	type PortNumber		type PortNumber
	};		};
	import from LibItsMgt_TypesAndValues {		import from LibItsMgt_TypesAndValues {
	type IParamNoList, IParamList		type IParamNoList, IParamList, ErrorsList
	};		};

	/**		/**
	@@ -146,6 +146,11 @@ module LibItsIicp_Pixits {
	1 // ControlChannel		1 // ControlChannel
	}		}

			/**
			* @desc List of reference parameter to be monitored
			* NOTE that this PIXIT is used just for compiling purposes. The real PIXIT shall be written according to the IUT capabilities
			* @see ISO 21218 Table A.1 — I parameters
			*/
	modulepar IParamList PX_MI_IPARAMLIST := {		modulepar IParamList PX_MI_IPARAMLIST := {
	{		{
	fill := '00'B,		fill := '00'B,
	@@ -161,5 +166,20 @@ module LibItsIicp_Pixits {
	} // End of field 'param_'		} // End of field 'param_'
	} // End of list		} // End of list
	}		}
			/**
			* @desc List of errors
			* NOTE that this PIXIT is used just for compiling purposes. The real PIXIT shall be written according to the IUT capabilities
			* @see ISO 21218 Clause A.2.53 Errors (I-Param.No=255)
			*/
			modulepar ErrorsList PX_MI_ERRORSLIST := {
			{
			{
			paramNo := 0,
			fill := '0000000'B,
			med := { },
			errStatus := 0
			} // End of SingleError list
			} // End of list
			}

	} // End of module LibItsIicp_Pixits		} // End of module LibItsIicp_Pixits

ttcn/CALM/IICP/LibItsIicp_Templates.ttcn3

+285 −93

Original line number	Original line	Diff line number	Diff line
	@@ -69,6 +69,24 @@ module LibItsIicp_Templates {
	*/		*/
	group mfCommandRequest {		group mfCommandRequest {

			group mfCommandRequestSend {

			/**
			* @desc Send template for PduRequest/MF-COMMAND.request
			* @param p_mfCommandReq MF-COMMAND.request description
			* @see ISO 24102-4 Clause 8.2.1 IIC-Request PDU
			*/
			template (value) PduRequest m_pduRequest_mfCommandReq(
			in template (value) MF_Command_request p_mfCommandReq
			) := {
			fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
			requests := {
			mf_rcmd := p_mfCommandReq
			}
			} // End of template m_pduRequest_mfCommandReq

			} // End of group mfCommandRequestSend

	group mfCommandRequestRecv {		group mfCommandRequestRecv {

	/**		/**
	@@ -130,27 +148,6 @@ module LibItsIicp_Templates {
	}		}
	} // End of template mdw_mfRequestRequest_iICrequestRX		} // End of template mdw_mfRequestRequest_iICrequestRX

	// /**
	// * @desc Receive template for IICrequestRX
	// * @param p_sourceITS_scuId The source ITS-SCU-ID
	// * @param p_destinationITS_scuId The destination ITS-SCU-ID
	// * @param p_pduCounter The PDU-Counter value
	// * @param pduRequest The PduRequest description
	// * @see ISO 24102-4 Clause 8.3.1 IIC-Request PDU
	// */
	// template IICrequestRX mw_mfRequestRx(
	// in template (present) ITS_scuId p_sourceITS_scuId,
	// in template (present) ITS_scuId p_destinationITS_scuId,
	// in template (present) PduCounter p_pduCounter,
	// in template (present) PduRequest pduRequest
	// ) := {
	// sourceITS_scuId := p_sourceITS_scuId,
	// destinationITS_scuId := p_destinationITS_scuId,
	// pduCounter := p_pduCounter,
	// pduRequest := pduRequest,
	// seqRq := ?
	// } // End of template mw_mfRequestRx
	//
	} // End of group mfCommandRequestRecv		} // End of group mfCommandRequestRecv

	} // End of group mfCommandRequest		} // End of group mfCommandRequest
	@@ -159,8 +156,64 @@ module LibItsIicp_Templates {
	* @desc MN-SAP service primitives templates		* @desc MN-SAP service primitives templates
	* @see ISO 24102-3 Clause 7.2.1 MN-COMMANDs		* @see ISO 24102-3 Clause 7.2.1 MN-COMMANDs
	*/		*/
			group mfRequestReq {

			group mfRequestReqSend {

			/**
			* @desc Send template for PduRequest/MF-REQUEST.request message
			* @param p_mfRequestReq MF-REQUEST.request message description
			*/
			template (value) PduRequest m_pduRequest_mfRequestReq(
			in template (value) MF_Request_request p_mfRequestReq
			) := {
			fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
			requests := {
			mf_rreq := p_mfRequestReq
			}
			} // End of template m_pduRequest_mfRequestReq

			} // End of group mfRequestReqSend

			group mfRequestReqRecv {

			/**
			* @desc Receive template for PduRequest/MF-REQUEST.request message
			* @param p_mfRequestReq MF-REQUEST.request message description
			*/
			template (present) PduRequest mw_pduRequest_mfRequestReq(
			in template (present) MF_Request_request p_mfRequestReq
			) := {
			fill := ?,
			requests := {
			mf_rreq := p_mfRequestReq
			}
			} // End of template mw_pduRequest_mfRequestReq

			} // End of group mfRequestReqRecv

			} // End of group mfRequestReq

	group mnCommandRequest {		group mnCommandRequest {

			group mnCommandRequestSend {

			/**
			* @desc Receive template for PduRequest/MN-COMMAND.request
			* @param p_mnCommandReq MN-COMMAND.request description
			* @see ISO 24102-4 Clause 8.2.1 IIC-Request PDU
			*/
			template (value) PduRequest m_pduRequest_mnCommandReq(
			in template (value) MN_Command_request p_mnCommandReq
			) := {
			fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
			requests := {
			mn_rcmd := p_mnCommandReq
			}
			} // End of template m_pduRequest_mnCommandReq

			} // End of group mnCommandRequestSend

	group mnCommandRequestRecv {		group mnCommandRequestRecv {

	/**		/**
	@@ -187,6 +240,24 @@ module LibItsIicp_Templates {
	*/		*/
	group miCommandRequest {		group miCommandRequest {

			group miCommandRequestSend {

			/**
			* @desc Send template for PduRequest/MI-COMMAND.request
			* @param p_miCommandReq MI-COMMAND.request description
			* @see ISO 24102-4 Clause 8.2.1 IIC-Request PDU
			*/
			template (value) PduRequest m_pduRequest_miCommandReq(
			in template (value) MI_Command_request p_miCommandReq
			) := {
			fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
			requests := {
			mi_rcmd := p_miCommandReq
			}
			} // End of template m_pduRequest_miCommandReq

			} // End of group miCommandRequestSend

	group miCommandRequestRecv {		group miCommandRequestRecv {

	/**		/**
	@@ -207,6 +278,42 @@ module LibItsIicp_Templates {

	} // End of group miCommandRequest		} // End of group miCommandRequest

			group miGetSetRequest {

			group miGetSetRequestSend {

			/**
			* @desc Send template for PduRequest/MI-GET.request
			* @param p_mi_rget MI-GET.request mesage description
			* @see ISO 24102-4 Clause 8.2.1 IIC-Request PDU
			*/
			template (value) PduRequest m_pduRequest_miGetReq(
			in template (value) MI_Get_request p_mi_rget
			) := {
			fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
			requests := {
			mi_rget := p_mi_rget
			}
			} // End of template m_pduRequest_miGetReq

			/**
			* @desc Send template for PduRequest/MI-SET.request
			* @param p_mi_rget MI-SET.request mesage description
			* @see ISO 24102-4 Clause 8.2.1 IIC-Request PDU
			*/
			template (value) PduRequest m_pduRequest_miSetReq(
			in template (value) MI_Set_request p_mi_rset
			) := {
			fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
			requests := {
			mi_rset := p_mi_rset
			}
			} // End of template m_pduRequest_miSetReq

			} // End of group miGetSetRequestSend

			} // End of group miGetSetRequest

	/**		/**
	* @desc MF-SAP service primitives templates		* @desc MF-SAP service primitives templates
	* @see ISO 24102-3 Clause 8.3.2 MF-REQUEST.request		* @see ISO 24102-3 Clause 8.3.2 MF-REQUEST.request
	@@ -612,44 +719,6 @@ module LibItsIicp_Templates {

	} // End of group vciUpdate		} // End of group vciUpdate

	group mfRequestReq {

	group send_ {

	/**
	* @desc Send template for PduRequest/MF-REQUEST.request message
	* @param p_mfRequestReq MF-REQUEST.request message description
	*/
	template (value) PduRequest m_pduRequest_mfRequestReq(
	in template (value) MF_Request_request p_mfRequestReq
	) := {
	fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
	requests := {
	mf_rreq := p_mfRequestReq
	}
	} // End of template m_pduRequest_mfRequestReq

	} // End of group send_

	group recv_ {

	/**
	* @desc Receive template for PduRequest/MF-REQUEST.request message
	* @param p_mfRequestReq MF-REQUEST.request message description
	*/
	template (present) PduRequest mw_pduRequest_mfRequestReq(
	in template (present) MF_Request_request p_mfRequestReq
	) := {
	fill := ?,
	requests := {
	mf_rreq := p_mfRequestReq
	}
	} // End of template mw_pduRequest_mfRequestReq

	} // End of group recv_

	} // End of group mfRequestReq

	group iicpTemplates {		group iicpTemplates {

	group send_ {		group send_ {
	@@ -824,6 +893,28 @@ module LibItsIicp_Templates {
	} // End of 'pduRequest' field		} // End of 'pduRequest' field
	} // End of template mdw_iicRequestTx_miCommandRequest		} // End of template mdw_iicRequestTx_miCommandRequest

			/**
			* @desc Receive template for IICresponseTX message with success status
			* @param p_sourceITS_scuId The source ITS-SCU-ID
			* @param p_destinationITS_scuId The destination ITS-SCU-ID
			* @param p_mi_rcmd The MI-COMMAND.confirm message
			* @see ISO 24102-4 Clause 8.2.2 IIC-Response PDU
			*/
			template IICresponseTX mdw_iicResponseTx_miCommandRequest(
			in template (present) ITS_scuId p_sourceITS_scuId,
			in template (present) ITS_scuId p_destinationITS_scuId,
			in template (present) MI_Command_confirm p_mi_rcmd
			) modifies mw_iicResponseTx_any := {
			sourceITS_scuId := p_sourceITS_scuId,
			destinationITS_scuId := p_destinationITS_scuId,
			pduResponse := {
			responses := {
			mi_rcmd := p_mi_rcmd
			} // End of 'requests' field
			}, // End of 'pduRequest' field
			errorStatus := 0
			} // End of template mdw_iicResponseTx_miCommandRequest

	} // End of group miCommands		} // End of group miCommands

	group miGetSet {		group miGetSet {
	@@ -850,6 +941,28 @@ module LibItsIicp_Templates {
	} // End of 'pduRequest' field		} // End of 'pduRequest' field
	} // End of template mdw_iicRequestTx_miGetRequest		} // End of template mdw_iicRequestTx_miGetRequest

			/**
			* @desc Receive template for IICresponseTX message with success status
			* @param p_sourceITS_scuId The source ITS-SCU-ID
			* @param p_destinationITS_scuId The destination ITS-SCU-ID
			* @param p_mi_rcmd The MI-GET.confirm message
			* @see ISO 24102-4 Clause 8.2.2 IIC-Response PDU
			*/
			template IICresponseTX mdw_iicResponseTx_miGetRequest(
			in template (present) ITS_scuId p_sourceITS_scuId,
			in template (present) ITS_scuId p_destinationITS_scuId,
			in template (present) MI_Get_confirm p_mi_rget
			) modifies mw_iicResponseTx_any := {
			sourceITS_scuId := p_sourceITS_scuId,
			destinationITS_scuId := p_destinationITS_scuId,
			pduResponse := {
			responses := {
			mi_rget := p_mi_rget
			} // End of 'responses' field
			}, // End of 'pduResponse' field
			errorStatus := 0
			} // End of template mdw_iicResponseTx_miGetRequest

	/**		/**
	* @desc Receive template for IICrequestTX/remote command message		* @desc Receive template for IICrequestTX/remote command message
	* @param p_sourceITS_scuId The source ITS-SCU-ID		* @param p_sourceITS_scuId The source ITS-SCU-ID
	@@ -870,7 +983,29 @@ module LibItsIicp_Templates {
	mi_rset := p_mi_rset		mi_rset := p_mi_rset
	} // End of 'requests' field		} // End of 'requests' field
	} // End of 'pduRequest' field		} // End of 'pduRequest' field
	} // End of template mdw_iicRequestTx_miGetRequest		} // End of template mdw_iicRequestTx_miSetRequest

			/**
			* @desc Receive template for IICresponseTX message with success status
			* @param p_sourceITS_scuId The source ITS-SCU-ID
			* @param p_destinationITS_scuId The destination ITS-SCU-ID
			* @param p_mi_rcmd The MI-GET.confirm message
			* @see ISO 24102-4 Clause 8.2.2 IIC-Response PDU
			*/
			template IICresponseTX mdw_iicResponseTx_miSetRequest(
			in template (present) ITS_scuId p_sourceITS_scuId,
			in template (present) ITS_scuId p_destinationITS_scuId,
			in template (present) MI_Set_confirm p_mi_rset
			) modifies mw_iicResponseTx_any := {
			sourceITS_scuId := p_sourceITS_scuId,
			destinationITS_scuId := p_destinationITS_scuId,
			pduResponse := {
			responses := {
			mi_rset := p_mi_rset
			} // End of 'responses' field
			}, // End of 'pduResponse' field
			errorStatus := 0
			} // End of template mdw_iicResponseTx_miSetRequest

	} // End of group miCommands		} // End of group miCommands

	@@ -897,12 +1032,66 @@ module LibItsIicp_Templates {
	} // End of 'pduRequest' field		} // End of 'pduRequest' field
	} // End of template mdw_iicRequestTx_mnCommandRequest		} // End of template mdw_iicRequestTx_mnCommandRequest

			/**
			* @desc Receive template for IICresponseTX message with success status
			* @param p_sourceITS_scuId The source ITS-SCU-ID
			* @param p_destinationITS_scuId The destination ITS-SCU-ID
			* @param p_mn_rcmd The MN-COMMAND.confirm message
			* @see ISO 24102-4 Clause 8.2.2 IIC-Response PDU
			*/
			template IICresponseTX mdw_iicResponseTx_mnCommandRequest(
			in template (present) ITS_scuId p_sourceITS_scuId,
			in template (present) ITS_scuId p_destinationITS_scuId,
			in template (present) MN_Command_confirm p_mn_rcmd
			) modifies mw_iicResponseTx_any := {
			sourceITS_scuId := p_sourceITS_scuId,
			destinationITS_scuId := p_destinationITS_scuId,
			pduResponse := {
			responses := {
			mn_rcmd := p_mn_rcmd
			} // End of 'responses' field
			}, // End of 'pduResponse' field
			errorStatus := 0
			} // End of template mdw_iicResponseTx_mnCommandRequest

	} // End of group mnCommands		} // End of group mnCommands

	group mfCommands {		group mfCommands {

			group mfCommandsSend {

	/**		/**
	* @desc Receive template for IICrequestTX/SCU-Alive message		* @desc Send template for IICrequestTX/remote message
			* @param p_sourceITS_scuId The source ITS-SCU-ID
			* @param p_destinationITS_scuId The destination ITS-SCU-ID
			* @param p_pduCounter Even number generated from a cyclic counter at the ITS-SCU, which produces the request
			* @param p_mf_rcmd The MF-COMMAND.request message
			* @see ISO 24102-4 Clause 8.2.1 IIC-Request PDU
			*/
			template (value) IICrequestTX m_iicRequestTx_mfCommandRequest(
			in template (value) ITS_scuId p_sourceITS_scuId,
			in template (value) ITS_scuId p_destinationITS_scuId,
			in template (value) PduCounter p_pduCounter,
			in template (value) MF_Command_request p_mf_rcmd
			) := {
			sourceITS_scuId := p_sourceITS_scuId,
			destinationITS_scuId := p_destinationITS_scuId,
			pduCounter := p_pduCounter,
			pduRequest := {
			fill := PX_PDU_REQUEST_FILL_FIELD_VALUE,
			requests := {
			mf_rcmd := p_mf_rcmd
			} // End of 'requests' field
			}, // End of 'pduRequest' field
			seqRq := ''O // No security
			} // End of template mdw_iicRequestTx_mfCommandRequest

			} // End of group mfCommandsSend

			group mfCommandsRecv {

			/**
			* @desc Receive template for IICrequestTX/remote message
	* @param p_sourceITS_scuId The source ITS-SCU-ID		* @param p_sourceITS_scuId The source ITS-SCU-ID
	* @param p_destinationITS_scuId The destination ITS-SCU-ID		* @param p_destinationITS_scuId The destination ITS-SCU-ID
	* @param p_mf_rcmd The MF-COMMAND.request message		* @param p_mf_rcmd The MF-COMMAND.request message
	@@ -923,7 +1112,7 @@ module LibItsIicp_Templates {
	} // End of template mdw_iicRequestTx_mfCommandRequest		} // End of template mdw_iicRequestTx_mfCommandRequest

	/**		/**
	* @desc Receive template for IICresponseTX message		* @desc Receive template for IICresponseTX message with success status
	* @param p_sourceITS_scuId The source ITS-SCU-ID		* @param p_sourceITS_scuId The source ITS-SCU-ID
	* @param p_destinationITS_scuId The destination ITS-SCU-ID		* @param p_destinationITS_scuId The destination ITS-SCU-ID
	* @param p_mf_rcmd The MF-COMMAND.confirm message		* @param p_mf_rcmd The MF-COMMAND.confirm message
	@@ -940,9 +1129,12 @@ module LibItsIicp_Templates {
	responses := {		responses := {
	mf_rcmd := p_mf_rcmd		mf_rcmd := p_mf_rcmd
	} // End of 'requests' field		} // End of 'requests' field
	} // End of 'pduRequest' field		}, // End of 'pduRequest' field
			errorStatus := 0
	} // End of template mdw_iicResponseTx_mfCommandRequest		} // End of template mdw_iicResponseTx_mfCommandRequest

			} // End of group mfCommandsRecv

	} // End of group mfCommands		} // End of group mfCommands

	} // End of group remoteCommands		} // End of group remoteCommands

ttcn/CALM/MGT/LibItsMgt_Functions.ttcn3

+10 −15

Original line number	Original line	Diff line number	Diff line
	@@ -89,13 +89,21 @@ module LibItsMgt_Functions {
	// log("* a_mgtMFSapPortDefault: INFO: MF-SAP service primitive received in default *");		// log("* a_mgtMFSapPortDefault: INFO: MF-SAP service primitive received in default *");
	// repeat;		// repeat;
	// }		// }
			[] mgtMFSapPort.receive(mw_mgtMFSapCommandConfirm(mdw_mfCommandConfirm(0))) { // Receive any MF-REQUEST.confirm message with success status
			log("* a_mgtMFSapPortDefault: INFO: MF-SAP service primitive received in default *");
			repeat;
			}
			[] mgtMFSapPort.receive(mw_mgtMFSapCommandConfirm(mdw_mfCommandConfirm(?))) { // Receive any MF-REQUEST.confirm message with error status
			log("* a_mgtMFSapPortDefault: INFO: MF-SAP/MF-COMMAND.Confirm error status *");
			repeat;
			}
	[] mgtMFSapPort.receive(mw_mgtMFSapRequestConfirm(mw_mfRequestConfirm(0))) { // Receive any MF-REQUEST.confirm message with success status		[] mgtMFSapPort.receive(mw_mgtMFSapRequestConfirm(mw_mfRequestConfirm(0))) { // Receive any MF-REQUEST.confirm message with success status
	log("* a_mgtMFSapPortDefault: INFO: MF-SAP service primitive received in default *");		log("* a_mgtMFSapPortDefault: INFO: MF-SAP service primitive received in default *");
	repeat;		repeat;
	}		}
	[] mgtMFSapPort.receive(mw_mgtMFSapRequestConfirm(mw_mfRequestConfirm(?))) { // Receive any MF-REQUEST.confirm message with error status		[] mgtMFSapPort.receive(mw_mgtMFSapRequestConfirm(mw_mfRequestConfirm(?))) { // Receive any MF-REQUEST.confirm message with error status
	f_selfOrClientSyncAndVerdict("error", e_error);		f_selfOrClientSyncAndVerdict("error", e_error);
	log("* a_mgtMFSapPortDefault: ERROR: Received MF-SAP error status *");		log("* a_mgtMFSapPortDefault: ERROR: Received MF-SAP/MF-REQUEST.Confirm error status *");
	}		}
	[] mgtMFSapPort.receive { // Receive unknown message		[] mgtMFSapPort.receive { // Receive unknown message
	f_selfOrClientSyncAndVerdict("error", e_error);		f_selfOrClientSyncAndVerdict("error", e_error);
	@@ -103,19 +111,6 @@ module LibItsMgt_Functions {
	}		}
	} // End of altstep a_mgtMFSapPortDefault		} // End of altstep a_mgtMFSapPortDefault

	// /**
	// * @desc Wait for REQUEST.confirm/GCregServer MF-REQUEST.confirm
	// * @param p_commandRef Unique cyclic reference number of command. Same value as in related MN-REQUEST.request
	// * @verdict Unchanged
	// */
	// altstep a_mgtAwaitGCregServerReqConf(in CommandRef p_commandRef) runs on ItsMgt {
	//
	// [] mgtMFSapPort.receive(mw_mgtMFSapRequestConfirm(mdw_gCregServerRequestConf(p_commandRef))) {
	// log("* a_mgtAwaitGCregServerReqConf: INFO: MF-SAP GCregServer service primitive received *");
	// repeat;
	// }
	// } // End of altstep a_mgtAwaitGCregServerReqConf

	} // End of group mfSap		} // End of group mfSap

	group mnSap {		group mnSap {
	@@ -125,7 +120,7 @@ module LibItsMgt_Functions {
	* @see ISO/CD 24102-3 Clause 8.2		* @see ISO/CD 24102-3 Clause 8.2
	*/		*/
	altstep a_mgtMNSapPortDefault() runs on ItsMgt {		altstep a_mgtMNSapPortDefault() runs on ItsMgt {
	[] mgtMNSapPort.receive(mw_mgtMNSapCommandConfirm(mw_mnCommandConfirm_any)) { // Receive any MF-COMMAND.confirm message		[] mgtMNSapPort.receive(mw_mgtMNSapCommandConfirm(mdw_mnCommandConfirm_any)) { // Receive any MF-COMMAND.confirm message
	log("* a_mgtMNSapPortDefault: INFO: MN-SAP service primitive MF-COMMAND.confirm received in default *");		log("* a_mgtMNSapPortDefault: INFO: MN-SAP service primitive MF-COMMAND.confirm received in default *");
	repeat;		repeat;
	}		}

Admin message