ttcn3 -> ttcn (2238e20d) · Commits · TTCN-3 Libraries / LibIts

ttcn/DCC/LibItsDcc_Functions.ttcn

0 → 100644

+583 −0

File added.

Preview size limit exceeded, changes collapsed.

ttcn/DCC/LibItsDcc_Pics.ttcn

0 → 100644

+152 −0

Original line number	Original line	Diff line number	Diff line
			/**
			* @author ETSI / STF421
			* @version $URL:$
			* $Id:$
			* @desc DCC (TS 102 724) Pics
			* @see ETSI TS 102 917-1
			*/
			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.ttcn

0 → 100644

+232 −0

Original line number	Original line	Diff line number	Diff line
			/**
			* @author ETSI / STF421
			* @version $URL:$
			* $Id:$
			* @desc DCC (TS 102 724) Pixits
			* @see ETSI TS 102 917-3
			*/
			module LibItsDcc_Pixits {

			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;

			} // end group inachievableTransmissionPower

			/**
			* @desc Give the content of the reference burst to be sent on the radio interface.
			* @see ETSI TS 102 917-3 v1.1.1 A.3/1
			*/
			modulepar octetstring PIXIT_REFERENCE_BURST;

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

ttcn/DCC/LibItsDcc_Templates.ttcn

0 → 100644

+94 −0

Original line number	Original line	Diff line number	Diff line
			/**
			* @author ETSI / STF421
			* @version $URL:$
			* $Id:$
			* @desc DCC (TS 102 724) Templates
			* @see ETSI TS 102 917-3
			*/
			module LibItsDcc_Templates {

			// LibCommon

			// LibIts
			import from LibItsDcc_TypesAndValues all;
			import from LibItsDcc_TestSystem all;
			/**
			* @desc Templates used to trigger actions at the Upper Tester
			* and to capture indication message sent by the IUT on the radio interface
			*/
			group utPrimitives {
			/**
			* @desc Ut Initialize Primitive template
			*/
			template UtInitialize m_utInitialize(template UtRadioInitialize p_utRadioInitialize) :=
			{
			utRadioInitialize := p_utRadioInitialize
			}// End m_utRadioInitialize

			/**
			* @desc UtRadioInitialize Primitive template
			*/
			template UtRadioInitialize m_utRadioInitialize :=
			{
			}// End m_utRadioInitialize

			/**
			* @desc UtRadioEvent Primitive template
			*/
			template (value) UtTrigger m_utRadioEvent(template (omit) ChannelState p_cch,
			template (omit) ChannelState p_sch1 := omit,
			template (omit) ChannelState p_sch2 := omit,
			template (omit) ChannelState p_sch3 := omit,
			template (omit) ChannelState p_sch4 := omit) :=
			{utRadioEvent:= {cchChannelState := p_cch,
			sch1ChannelState := p_sch1,
			sch2ChannelState := p_sch2,
			sch3ChannelState := p_sch3,
			sch4ChannelState := p_sch4
			}}// End m_utRadioEvent

			/**
			* @desc UtRadioCommandIndication Primitive template
			*/
			template RrxInd m_rrxInd(Channel p_channel,
			template integer p_measuredPower,
			template integer p_interPacketSpacing_Toff) :=
			{channel := p_channel,
			measuredPower := p_measuredPower,
			interPacketSpacing_Toff := p_interPacketSpacing_Toff
			} // End m_utRadioCommandIndication

			} // End of group utPrimitives

			/**
			* @desc Primitive on IN-SAP interface
			*/
			group inSapPrimitives {
			/**
			* @desc IN Request Primitive template
			*/
			template InReq m_In_Request(integer p_commandReference,
			octetstring p_referenceBurst,
			integer p_requestedTxPower,
			integer p_dCCProfileIdentifier) :=
			{commandReference := p_commandReference,
			referenceBurst := p_referenceBurst,
			requestedSendPower := p_requestedTxPower,
			dCCProfileIdentifier := p_dCCProfileIdentifier
			} // End m_In_Request

			/**
			* @desc IN Status Primitive template
			*/
			template InSta mw_In_Status(template integer p_commandReference,
			template Channel p_channel,
			template boolean p_transmissionSuccessStatus) :=
			{commandReference := p_commandReference,
			channel := p_channel,
			transmissionSuccessStatus := p_transmissionSuccessStatus,
			achievedSendPower := ?
			} // End mw_In_Status

			} // End of group inSapPrimitives

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

ttcn/DCC/LibItsDcc_TypesAndValues.ttcn

0 → 100644

+97 −0

Original line number	Original line	Diff line number	Diff line
			/**
			* @author ETSI / STF421
			* @version $URL:$
			* $Id:$
			* @desc DCC (TS 102 724) Types
			* @see ETSI TS 102 917-3
			*/
			module LibItsDcc_TypesAndValues {

			// LibCommon

			// LibIts

			group utRadioPrimitives {

			/**
			* @desc Trigger to initialize the IUT.
			*/
			type record UtRadioInitialize {
			}

			/**
			* @desc Radio Event to bring the IUT to defined channel states.
			*/
			type record UtRadioEvent {
			ChannelState cchChannelState optional,
			ChannelState sch1ChannelState optional,
			ChannelState sch2ChannelState optional,
			ChannelState sch3ChannelState optional,
			ChannelState sch4ChannelState optional
			}

			} // End of group utRadioPrimitives

			group rrxSapPrimitives {
			/**
			* @desc Receive an indication related to frames sent by the IUT at the radio interface.
			*/
			type record RrxInd {
			Channel channel,
			integer measuredPower,
			integer interPacketSpacing_Toff
			}

			} // End of group rrxSapPrimitives

			group inSapPrimitives {

			/**
			* @desc IN Request Primitive
			*/
			type record InReq {
			integer commandReference,
			octetstring referenceBurst,
			integer requestedSendPower,
			integer dCCProfileIdentifier
			} // End InReq

			/**
			* @desc IN Status Primitive
			*/
			type record InSta {
			integer commandReference,
			Channel channel,
			boolean transmissionSuccessStatus,
			integer achievedSendPower
			} // End InSta

			} // End of group inSapPrimitives

			group subFields {

			type enumerated Channel {
			cCH(0),
			sCH1(1),
			sCH2(2),
			sCH3(3),
			sCH4(4)
			}

			type enumerated ChannelState {
			relaxed(0),
			active(1),
			restrictive(2)
			}

			} // End of group subFields

			group Constants {

			const integer c_maxCommandReference := 256;

			} // End of group Constants
			}
			with {
			encode "LibItsDcc_TypesAndValues"
			} //End of module LibItsDcc_TypesAndValues
			No newline at end of file

Admin message