Pics, Pixit added (d903642a) · Commits · TTCN-3 Libraries / LibIts

ttcn/DCC/LibItsDcc_Functions.ttcn3

+47 −12

Original line number	Diff line number	Diff line
		module LibItsDccFunctions {
		module LibItsDcc_Functions {

		// Libcommon
		import from LibCommon_Sync all;
		@@ -15,27 +15,62 @@ module LibItsDccFunctions {
		/**
		* @desc Setups default configuration
		*/
		function f_cfUp() runs on ItsDcc {
		function f_cfUp(out UtComp p_utComp,
		out ItsDcc p_itsDcc) runs on ServerSyncComp {

		map(self:utPort, system:utPort);
		map(self:inPort, system:inPort);
		f_connect4SelfOrClientSync();
		// Create
		p_utComp := UtComp.create;
		p_itsDcc := ItsDcc.create;

		// Connect
		connect(p_utComp:syncPort, self:syncPort);
		connect(p_itsDcc:syncPort, self:syncPort);

		//Map
		map(p_utComp:utPort, system:utPort);
		map(p_itsDcc:inPort, system:inPort);

		} // end f_cfUp

		/**
		* @desc Deletes default configuration
		*/
		function f_cfDown() runs on ItsDcc {
		function f_cfDown(in UtComp p_utComp,
		in ItsDcc p_itsDcc) runs on ServerSyncComp {

		f_serverWaitForAllClientsToStop();
		// Disconnect
		disconnect(p_utComp:syncPort, self:syncPort);
		disconnect(p_itsDcc:syncPort, self:syncPort);

		// Unmap
		unmap(p_utComp:utPort, system:utPort);
		unmap(p_itsDcc:inPort, system:inPort);

		unmap(self:utPort, system:utPort);
		unmap(self:inPort, system:inPort);
		f_disconnect4SelfOrClientSync();

		} // end f_cfDown

		} // end of dccConfigurationFunctions

		/* @desc Implements synchronization of 2 clients from server side
		* on one or more synchronization points.
		* If problem occurs, then server sends STOP to all clients.
		* Waits for PX_TSYNC_TIME_LIMIT to let clients
		* finish executing their behavior until this
		* synchronization point.
		* @remark The use of this function requires prior connection of
		* the server sync ports!
		* @param p_syncPointIds list of synchronization point name/ids
		* @return execution status
		*/
		function f_serverSync2Clients( in SyncPointList p_syncPointIds )
		runs on ServerSyncComp {
		var integer i, v_noOfSyncIds := sizeof(p_syncPointIds);
		for ( i := 0; i < v_noOfSyncIds; i := i+1 ) {
		f_serverSyncClientsTimed(2,p_syncPointIds[i], PX_TSYNC_TIME_LIMIT);
		}
		}

		/**
		* @desc Upper tester functions
		*/
		@@ -45,7 +80,7 @@ module LibItsDccFunctions {
		* @desc Requests to bring the IUT in an initial state
		* @param p_init The initialisation to trigger.
		*/
		function f_utInitializeIut(template (value) UtInitialize p_init) runs on ItsDcc {
		function f_utInitializeIut(template (value) UtInitialize p_init) runs on UtComp {

		utPort.send(p_init);
		tc_wait.start;
		@@ -74,7 +109,7 @@ module LibItsDccFunctions {
		* @desc Triggers event on the radio interface
		* @param p_trigger The event to trigger.
		*/
		function f_utTriggerEvent(template (value) UtTrigger p_trigger) runs on ItsDcc {
		function f_utTriggerEvent(template (value) UtTrigger p_trigger) runs on UtComp {

		utPort.send(p_trigger);
		alt {
		@@ -106,7 +141,7 @@ module LibItsDccFunctions {
		function f_utCommandIndication(
		in template UtCommandIndication p_event,
		out UtCommandIndication p_result
		) runs on ItsDcc {
		) runs on UtComp {

		tc_wait.start;
		alt {

ttcn/DCC/LibItsDcc_Pics.ttcn3

+142 −0

Original line number	Diff line number	Diff line
		@@ -7,4 +7,146 @@
		*/
		module LibItsDcc_Pics {

		group dccPics {
		group roles {
		/**
		* @desc Is the IUT implemented to support the role of a single transceiver ITS station?
		* @see ETSI TS 102 917-1 v1.1.1 A.2/1
		*/
		modulepar boolean PICS_SINGLE_TRANSCEIVER;

		/**
		* @desc Is the IUT implemented to support the role of a multiple transceiver ITS station?
		* @see ETSI TS 102 917-1 v1.1.1 A.2/2
		*/
		modulepar boolean PICS_MULTIPLE_TRANSCEIVER;

		} // end group roles

		group channelSupport {
		/**
		* @desc Does IUT support the usage of the ITS-G5B band?
		* @see ETSI TS 102 917-1 v1.1.1 A.3/2
		*/
		modulepar boolean PICS_SUPPORT_ITS_G5B;

		/**
		* @desc Does IUT support the usage of the SCH1?
		* @see ETSI TS 102 917-1 v1.1.1 A.4/2
		*/
		modulepar boolean PICS_SUPPORT_SCH1;

		/**
		* @desc Does IUT support the usage of the SCH2?
		* @see ETSI TS 102 917-1 v1.1.1 A.4/3
		*/
		modulepar boolean PICS_SUPPORT_SCH2;

		/**
		* @desc Does IUT support the usage of the SCH3?
		* @see ETSI TS 102 917-1 v1.1.1 A.4/4
		*/
		modulepar boolean PICS_SUPPORT_SCH3;

		/**
		* @desc Does IUT support the usage of the SCH4?
		* @see ETSI TS 102 917-1 v1.1.1 A.4/5
		*/
		modulepar boolean PICS_SUPPORT_SCH4;

		} // end group channelSupport

		group maximumTransmissionPower {
		/**
		* @desc Give the maximum Transmission power for the CCH in the Relaxed state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/1
		*/
		modulepar integer PICS_MAXPOWER_CCH_RELAXED;

		/**
		* @desc Give the maximum Transmission power for the CCH in the Active state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/2
		*/
		modulepar integer PICS_MAXPOWER_CCH_ACTIVE;

		/**
		* @desc Give the maximum Transmission power for the CCH in the Restrictive state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/3
		*/
		modulepar integer PICS_MAXPOWER_CCH_RESTRICTIVE;

		/**
		* @desc Give the maximum Transmission power for the SCH1 in the Relaxed state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/4
		*/
		modulepar integer PICS_MAXPOWER_SCH1_RELAXED;

		/**
		* @desc Give the maximum Transmission power for the SCH1 in the Active state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/5
		*/
		modulepar integer PICS_MAXPOWER_SCH1_ACTIVE;

		/**
		* @desc Give the maximum Transmission power for the SCH1 in the Restrictive state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/6
		*/
		modulepar boolean PICS_MAXPOWER_SCH1_RESTRICTIVE;

		/**
		* @desc Give the maximum Transmission power for the SCH2 in the Relaxed state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/7
		*/
		modulepar integer PICS_MAXPOWER_SCH2_RELAXED;

		/**
		* @desc Give the maximum Transmission power for the SCH2 in the Active state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/8
		*/
		modulepar integer PICS_MAXPOWER_SCH2_ACTIVE;

		/**
		* @desc Give the maximum Transmission power for the SCH2 in the Restrictive state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/9
		*/
		modulepar integer PICS_MAXPOWER_SCH2_RESTRICTIVE;

		/**
		* @desc Give the maximum Transmission power for the SCH3 in the Relaxed state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/10
		*/
		modulepar integer PICS_MAXPOWER_SCH3_RELAXED;

		/**
		* @desc Give the maximum Transmission power for the SCH3 in the Active state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/11
		*/
		modulepar integer PICS_MAXPOWER_SCH3_ACTIVE;

		/**
		* @desc Give the maximum Transmission power for the SCH3 in the Restrictive state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/12
		*/
		modulepar integer PICS_MAXPOWER_SCH3_RESTRICTIVE;

		/**
		* @desc Give the maximum Transmission power for the SCH4 in the Relaxed state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/13
		*/
		modulepar integer PICS_MAXPOWER_SCH4_RELAXED;

		/**
		* @desc Give the maximum Transmission power for the SCH4 in the Active state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/14
		*/
		modulepar integer PICS_MAXPOWER_SCH4_ACTIVE;

		/**
		* @desc Give the maximum Transmission power for the SCH4 in the Restrictive state. Value in dBm.
		* @see ETSI TS 102 917-1 v1.1.1 A.5/15
		*/
		modulepar integer PICS_MAXPOWER_SCH4_RESTRICTIVE;

		} // end group maximumTransmissionPower
		} // end group dccPics
		} // End of module LibItsDcc_Pics
		No newline at end of file

ttcn/DCC/LibItsDcc_Pixits.ttcn3

+214 −2

Original line number	Diff line number	Diff line
		@@ -7,8 +7,220 @@
		*/
		module LibItsDcc_Pixits {

		// LibCommon
		group acceptableTransmissionPower {
		/**
		* @desc Give an acceptable Transmission power for the CCH in the Relaxed state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/1.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/1
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_CCH_RELAXED;

		/**
		* @desc Give an acceptable Transmission power for the CCH in the Active state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/2.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/2
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_CCH_ACTIVE;

		/**
		* @desc Give an acceptable Transmission power for the CCH in the Restrictive state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/3.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/3
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_CCH_RESTRICTIVE;

		/**
		* @desc Give an acceptable Transmission power for the SCH1 in the Relaxed state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/4.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/4
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH1_RELAXED;

		/**
		* @desc Give an acceptable Transmission power for the SCH1 in the Active state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/5.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/5
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH1_ACTIVE;

		/**
		* @desc Give an acceptable Transmission power for the SCH1 in the Restrictive state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/6.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/6
		*/
		modulepar boolean PIXIT_ACCEPTABLE_POWER_SCH1_RESTRICTIVE;

		/**
		* @desc Give an acceptable Transmission power for the SCH2 in the Relaxed state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/7.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/7
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH2_RELAXED;

		/**
		* @desc Give an acceptable Transmission power for the SCH2 in the Active state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/8.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/8
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH2_ACTIVE;

		/**
		* @desc Give an acceptable Transmission power for the SCH2 in the Restrictive state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/9.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/9
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH2_RESTRICTIVE;

		/**
		* @desc Give an acceptable Transmission power for the SCH3 in the Relaxed state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/10.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/10
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH3_RELAXED;

		/**
		* @desc Give an acceptable Transmission power for the SCH3 in the Active state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/11.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/11
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH3_ACTIVE;

		/**
		* @desc Give an acceptable Transmission power for the SCH3 in the Restrictive state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/12.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/12
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH3_RESTRICTIVE;

		/**
		* @desc Give an acceptable Transmission power for the SCH4 in the Relaxed state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/13.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/13
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH4_RELAXED;

		/**
		* @desc Give an acceptable Transmission power for the SCH4 in the Active state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/14.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/14
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH4_ACTIVE;

		/**
		* @desc Give an acceptable Transmission power for the SCH4 in the Restrictive state. Value in dBm.
		* @desc The value has to be below the maximum Transmission power given in TS 102 917-1 PICS A.5/15.
		* @see ETSI TS 102 917-3 v1.1.1 A.1/15
		*/
		modulepar integer PIXIT_ACCEPTABLE_POWER_SCH4_RESTRICTIVE;

		} // end group acceptableTransmissionPower

		group inachievableTransmissionPower {
		/**
		* @desc Give a Transmission power that cannot be achieved for the CCH in the Relaxed state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/1.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/1
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_CCH_RELAXED;

		/**
		* @desc Give a Transmission power that cannot be achieved for the CCH in the Active state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/2.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/2
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_CCH_ACTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the CCH in the Restrictive state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/3.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/3
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_CCH_RESTRICTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH1 in the Relaxed state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/4.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/4
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH1_RELAXED;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH1 in the Active state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/5.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/5
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH1_ACTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH1 in the Restrictive state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/6.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/6
		*/
		modulepar boolean PIXIT_INACHIEVABLE_POWER_SCH1_RESTRICTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH2 in the Relaxed state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/7.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/7
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH2_RELAXED;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH2 in the Active state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/8.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/8
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH2_ACTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH2 in the Restrictive state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/9.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/9
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH2_RESTRICTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH3 in the Relaxed state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/10.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/10
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH3_RELAXED;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH3 in the Active state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/11.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/11
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH3_ACTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH3 in the Restrictive state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/12.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/12
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH3_RESTRICTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH4 in the Relaxed state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/13.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/13
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH4_RELAXED;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH4 in the Active state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/14.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/14
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH4_ACTIVE;

		/**
		* @desc Give a Transmission power that cannot be achieved for the SCH4 in the Restrictive state. Value in dBm.
		* @desc The value has to be above the maximum Transmission power given in TS 102 917-1 PICS A.5/15.
		* @see ETSI TS 102 917-3 v1.1.1 A.2/15
		*/
		modulepar integer PIXIT_INACHIEVABLE_POWER_SCH4_RESTRICTIVE;

		// LibIts
		} // end group inachievableTransmissionPower

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

ttcn/DCC/LibItsDcc_TestSystem.ttcn

+19 −2

Original line number	Diff line number	Diff line
		@@ -60,6 +60,7 @@ module LibItsDcc_TestSystem {

		port UpperTesterPort utPort;
		port InPort inPort;
		port SyncPort syncPort;

		} // End of component ItsDccSystem

		@@ -68,8 +69,6 @@ module LibItsDcc_TestSystem {
		*/
		type component ItsDcc extends ItsBaseComponent {

		port UpperTesterPort utPort;

		// IN ports
		port InPort inPort;
		//timers
		@@ -82,6 +81,24 @@ module LibItsDcc_TestSystem {
		//global variables

		} // End of component ItsDcc

		/**
		* @desc Test component for ITS Access layer
		*/
		type component UtComp extends ItsBaseComponent {

		port UpperTesterPort utPort;

		//timers

		//component variables

		//default
		var default vc_default := null;

		//global variables

		} // End of component UtComp
		} // End of group componentDefinitions

		group upperTester {