Finalyze TSS&TPs document in stable draft (V2.0.4) (92843240) · Commits · ITS - Intelligent Transport Systems / ttcn / VRU TS 104 018-3

ItsVru_TestCases.ttcn

+414 −3

Original line number	Diff line number	Diff line
		@@ -983,7 +983,7 @@ module ItsVru_TestCases {
		* Pics Selection: PICS_VAM_GENERATION and PICS_CLUSTERING
		* Initial conditions:
		* with {
		* VBS in state VRU-PASSIVE
		* VBS in state VRU-ACTIVE-CLUSTER-LEADER
		* }
		* Expected behaviour:
		* ensure that {
		@@ -2574,6 +2574,417 @@ module ItsVru_TestCases {

		} // End of TC_VBS_TRCN_BV_02

		/**
		* @desc Check that a VAM is generated immediately if a VRU is in VRU-PASSIVE, leaves the cluster and enters VRU-ACTIVE-STANDALONE
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-PASSIVE
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VRU leaves cluster
		* and state changes to VRU-ACTIVE-STANDALONE
		* }
		* then {
		* VAM is sent
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-03
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_03() runs on ItsBaseMtc system ItsVruSystem {
		// Local variables
		var ItsVru v_vam_cluster_member;
		var ItsVru v_iut;

		// Test control
		if (not(PICS_CLUSTERING and PICS_IS_IUT_SECURED)) {
		log("* " & testcasename() & ": PICS_CLUSTERING and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfMtcUp01(v_vam_cluster_member, v_iut);

		// Start components
		v_vam_cluster_member.start(f_TC_VBS_TRCN_BV_03_cluster_member()); // Set the IUT in VRU-ACTIVE-CLUSTER-LEADER & VRU-ACTIVESTANDALONE
		v_iut.start(f_TC_VBS_TRCN_BV_03_iut());

		// Synchronization
		f_serverSync2ClientsAndStop({c_initDone, c_prDone, c_tbDone});

		// Cleanup
		f_cfMtcDown01(v_vam_cluster_member, v_iut);

		} // End of TC_VBS_TRCN_BV_03

		/**
		* @desc Check that a VAM is generated immediately if a VRU is in VRU-PASSIVE, determines the cluster leader is lost and enters VRU-ACTIVE-STANDALONE
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-PASSIVE
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VRU leaves cluster
		* and state changes to VRU-ACTIVE-STANDALONE
		* }
		* then {
		* VAM is sent
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-04
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_04() runs on ItsBaseMtc system ItsVruSystem {
		// Local variables
		var ItsVru v_vam_cluster_member;
		var ItsVru v_iut;

		// Test control
		if (not(PICS_CLUSTERING and PICS_IS_IUT_SECURED)) {
		log("* " & testcasename() & ": PICS_CLUSTERING and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfMtcUp01(v_vam_cluster_member, v_iut);

		// Start components
		v_vam_cluster_member.start(f_TC_VBS_TRCN_BV_04_cluster_member()); // Set the IUT in VRU-ACTIVE-CLUSTER-LEADER & VRU-ACTIVESTANDALONE
		v_iut.start(f_TC_VBS_TRCN_BV_04_iut());

		// Synchronization
		f_serverSync2ClientsAndStop({c_initDone, c_prDone, c_tbDone});

		// Cleanup
		f_cfMtcDown01(v_vam_cluster_member, v_iut);

		} // End of TC_VBS_TRCN_BV_04

		/**
		* @desc Check that a VAM is generated immediately if a VRU is in VRU-ACTIVE-CLUSTER-LEADER, breaks up the cluster and enters VRU-ACTIVE-STANDALONE
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-PASSIVE
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VRU leaves cluster
		* and state changes to VRU-ACTIVE-STANDALONE
		* }
		* then {
		* VAM is sent
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-05
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_05() runs on ItsBaseMtc system ItsVruSystem {
		// Local variables
		var ItsVru v_vam_cluster_leader;
		var ItsVru v_iut;

		// Test control
		if (not(PICS_CLUSTERING and PICS_IS_IUT_SECURED)) {
		log("* " & testcasename() & ": PICS_CLUSTERING and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfMtcUp01(v_vam_cluster_leader, v_iut);

		// Start components
		v_vam_cluster_leader.start(f_TC_VBS_TRCN_BV_05_cluster_leader()); // Set the IUT in VRU-ACTIVE-CLUSTER-LEADER & VRU-ACTIVESTANDALONE
		v_iut.start(f_TC_VBS_TRCN_BV_05_iut());

		// Synchronization
		f_serverSync2ClientsAndStop({c_initDone, c_prDone, c_tbDone});

		// Cleanup
		f_cfMtcDown01(v_vam_cluster_leader, v_iut);

		} // End of TC_VBS_TRCN_BV_05

		/**
		* @desc Check that the minimum time elapsed between the start of consecutive VAM generation events is equal or larger than T_Gen_Vam
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* and VAM has been transmitted at time T1
		* not containing vruClusterInformationContainer
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VAM is transmitted at time T2
		* not containing vruClusterInformationContainer
		* }
		* then {
		* T2 - T1 >= T_Gen_Vam
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-06
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_06() runs on ItsVru system ItsVruSystem {

		f_TC_VBS_FRPE_TI_01();

		} // End of TC_VBS_TRCN_BV_06

		/**
		* @desc Check that consecutive VAM transmissions occur when T_GenVamMax is exceeded
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* or VBS in state VRU-ACTIVE-CLUSTER-LEADER
		* and VAM has been transmitted at time T1
		* and no other VAM has been sent since then
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* T_GenVamMax is exceeded
		* }
		* then {
		* VBS sends VAM
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-07
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_07() runs on ItsVru system ItsVruSystem {

		f_TC_VBS_FRPE_TI_04();

		} // End of TC_VBS_TRCN_BV_07

		/**
		* @desc Check that consecutive individual VAM transmissions occur when the euclidian absolute distance between the current estimated VRU reference point position and the last estimated VRU reference point position exceeds minReferencePointPositonChangeThreshold
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* and VAM has been transmitted at time T1
		* not containing vruClusterInformationContainer
		* and containing basicContainer
		* containing referencePosition P1
		* and the IUT not having sent any other VAM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* T_GenVam is exceeded
		* and the IUT is alerted about new position value P2
		* and euclidian distance (P1, P2) > minReferencePointPositonChangeThreshold
		* }
		* then {
		* VBS sends VAM
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-08
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_08() runs on ItsVru system ItsVruSystem {

		f_TC_VBS_TRCN_BV_08();

		} // End of TC_VBS_TRCN_BV_08

		/**
		* @desc Check that consecutive individual VAM transmissions occur when the euclidian absolute distance between the current estimated VRU reference point position and the last estimated VRU reference point position exceeds minReferencePointPositonChangeThreshold
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* and VAM has been transmitted at time T1
		* not containing vruClusterInformationContainer
		* and containing vruHighFrequencyContainer
		* containing speed
		* containing speedValue
		* indcating V1
		* and the IUT not having sent any other VAM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* T_GenVam is exceeded
		* and the IUT is alerted about new speed value V2
		* and abs(V2 - V1) > minGroundSpeedChangeThreshold
		* }
		* then {
		* VBS sends VAM
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-09
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_09() runs on ItsVru system ItsVruSystem {

		f_TC_VBS_TRCN_BV_09();

		} // End of TC_VBS_TRCN_BV_09

		/**
		* @desc Check that consecutive individual VAM transmissions occur when the difference between the orientation of the vector of the current estimated ground velocity of the reference point of the VRU and the estimated orientation of the vector of the ground velocity of the reference point of the VRU lastly included in an individual VAM exceeds minGroundVelocityOrientationChangeThreshold
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* and VAM has been transmitted at time T1
		* not containing vruClusterInformationContainer
		* and containing vruHighFrequencyContainer
		* containing heading
		* containing headingValue
		* indcating H1
		* and the IUT not having sent any other VAM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* T_GenVam is exceeded
		* and the IUT is alerted about new heading value H2
		* and abs(H2 - H1) > minGroundVelocityOrientationChangeThreshold
		* }
		* then {
		* VBS sends VAM
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-10
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_10() runs on ItsVru system ItsVruSystem {

		f_TC_VBS_TRCN_BV_10();

		} // End of TC_VBS_TRCN_BV_10

		/**
		* @desc Check that consecutive individual VAM transmissions occur when the difference between the orientation of the vector of the current estimated ground velocity of the reference point of the VRU and the estimated orientation of the vector of the ground velocity of the reference point of the VRU lastly included in an individual VAM exceeds minGroundVelocityOrientationChangeThreshold
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* and VAM has been transmitted at time T1
		* not containing vruClusterInformationContainer
		* and containing vruMotionPredictionContainer
		* containing trajectoryInterceptionIndication
		* containing trajectoryInterceptionProbability
		* indicating P1
		* and the IUT not having sent any other VAM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* T_GenVam is exceeded
		* and the IUT is alerted about new trajectory interception probability value P2
		* and abs(P2 - P1) > minTrajectoryInterceptionProbChangeThreshold
		* }
		* then {
		* VBS sends VAM
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-11
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_11() runs on ItsVru system ItsVruSystem {

		f_TC_VBS_TRCN_BV_11();

		} // End of TC_VBS_TRCN_BV_11

		/**
		* @desc Check that consecutive individual VAM transmissions occur when one or more other VRUs are simultanously coming closer than Minimum Safe Lateral Distance(MSLaD) laterally, closer than Minimum Safe Longitudinal Distance (MSLoD) longitudinally and closer than Minimum Safe Vertical Distance (MSVD) vertically
		* <pre>
		* Pics Selection: PICS_VAM_TRANSMISSION
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* and VAM has been transmitted at time T1
		* not containing vruClusterInformationContainer
		* and VAM has been received from other VRU
		* containing basicContainer
		* containing referencePosition P1
		* containing latitude
		* indicating LAT1
		* and containing longitude
		* indicating LON1
		* and the IUT not having sent any other VAM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* T_GenVam is exceeded
		* and the IUT is alerted about new reference position value P1
		* containing latitude value LAT2
		* and containing longitude value LON2
		* and abs(LAT2 - LAT1) < MSLaD
		* and abs(LON2 - LON1) < MSLoD
		* and euclidian distance (P1, P2) < MSVD
		* }
		* then {
		* VBS sends VAM
		* not containing vruClusterInformationContainer
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRCN/BV-12
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.4.1
		*/
		testcase TC_VBS_TRCN_BV_12() runs on ItsVru system ItsVruSystem {

		f_TC_VBS_TRCN_BV_12();

		} // End of TC_VBS_TRCN_BV_12

		} // End of group vruTriggeringCondition

		group vruFrequencyPeriodicity {
		@@ -2721,7 +3132,7 @@ module ItsVru_TestCases {
		* next VAM is generated at time T2
		* }
		* then {
		* t2 - t1 = T_GenVamMin
		* T2 - T1 = T_GenVamMin
		* }
		* }
		* </pre>

ItsVru_TestControl.ttcn

+9 −0

Original line number	Diff line number	Diff line
		@@ -91,6 +91,15 @@ module ItsVru_TestControl {

		execute(TC_VBS_TRCN_BV_01());
		execute(TC_VBS_TRCN_BV_02());
		execute(TC_VBS_TRCN_BV_03());
		execute(TC_VBS_TRCN_BV_04());
		execute(TC_VBS_TRCN_BV_05());
		execute(TC_VBS_TRCN_BV_06());
		execute(TC_VBS_TRCN_BV_07());
		execute(TC_VBS_TRCN_BV_08());
		execute(TC_VBS_TRCN_BV_09());
		execute(TC_VBS_TRCN_BV_10());
		execute(TC_VBS_TRCN_BV_11());

		execute(TC_VBS_FRPE_TI_01());
		execute(TC_VBS_FRPE_BV_02());

ItsVru_TpFunctions.ttcn

+879 −158

File changed.

Preview size limit exceeded, changes collapsed.

lib/LibItsVru_Pics.ttcn

+20 −0

Original line number	Diff line number	Diff line
		@@ -67,4 +67,24 @@ module LibItsVru_Pics {

		modulepar boolean PICS_ITS_G5 := true;





		modulepar float PICS_MIN_REFERENCE_POINT_POSITON_CHANGE_THRESHOLD := 100.0;

		modulepar float PICS_MIN_GROUND_SPEED_CHANGE_THRESHOLD := 100.0;

		modulepar float PICS_MIN_GROUND_VELOCITY_ORIENTATION_CHANGE_THRESHOLD := 100.0;

		modulepar float PICS_MIN_TRAJECTORY_INTERCEPTION_PROB_CHANGE_THRESHOLD := 100.0;

		modulepar float PICS_MSLAD := 100.0;

		modulepar float PICS_MSLOD := 100.0;

		modulepar float PICS_MSVD := 100.0;



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