Finalyze first round of TPs (d2893d2b) · Commits · ITS - Intelligent Transport Systems / ttcn / MBR TS 103 759

test_purposes/its_mrs_commons.tplan2

+106 −64

Original line number	Diff line number	Diff line
		@@ -20,10 +20,15 @@ Package its_mrs_commons {
		- PICS_IUT_RSU // Is the IUT a RSU
		- PICS_IUT_MA // Is the IUT an Misbehavior Authority
		- PICS_SHORT_RANGE // Short range transport mode is used (G5/LTE)
		- PICS_DETECTOR_CAM_BEACON // CAM Speed misbehavior detector is supported
		- PICS_DETECTOR_CAM_SPEED // CAM Speed misbehavior detector is supported
		- PICS_DETECTOR_CAM_POSITION // CAM Position misbehavior detector is supported
		- PICS_DETECTOR_CAM_ACC
		- PICS_DETECTOR_CAM_LONG_ACC
		- PICS_DETECTOR_CAM_HEADING
		- PICS_DETECTOR_CAM_CURVATURE
		- PICS_DETECTOR_CAM_YAWRATE
		- PICS_DETECTOR_CAM_STATIC
		- PICS_DETECTOR_CAM_BEACON
		- PICS_DETECTOR_CAM_SECURITY
		;
		entities:
		@@ -44,33 +49,23 @@ Package its_mrs_commons {
		- send
		- having
		- being_in
		- times_out
		- isAuthorizedWith
		- any_value
		- isAuthorizedWithATCertificate
		- atFrequencyOf20Hz
		;
		} // End of 'Domain' statement

		// const {
		// - PX_SUBJECT_PDU_INDEX // Number of invalid messages observations
		// - PX_IMPLAUSIBLE_POSITION_1 // Invalid position in CA message (e.g. wrong latitude)
		// - PX_CAM_MBR_OBSERVATIONS_CLASS1 // CAM observation
		// - AID_CAM // Psid for CAM, 36
		// - PX_STATION_ID
		// - SEC_GN_PACKET_CERT // Secured geonetworking packet containing CA/DEM message and certificate (signer certificate)
		// - SEC_GN_PACKET // Secured geonetworking packet containing CA/DEM message without certificate (digest)
		// - PX_SPEED_1: Normal speed (e.g. 90 km/h)
		// - PX_SPEED_2: Abnormal speed (e.g. 320 km/h)
		// - PX_SPEED_3: Abnormal speed (e.g. 350 km/h)
		// - TODO // PIXIT to be defined
		// }

		Data {
		type integer;
		type UInt8;
		type Int16;
		type Charstring;
		type Octetstring;
		type Time64;
		type TwoDLocation;
		type ThreeDLocation;
		type GeoNetworking;
		type EtsiTs102941Data;
		type Certifcate;
		type EtsiTs102941Data; // Secured message. See ETSI TS 102 941
		type EtsiTs103759Data; // Misbehavior Reporting message. See ETSI TS 103 759
		type AidSpecificReport;
		type AsrCam;
		@@ -78,28 +73,75 @@ Package its_mrs_commons {
		type MbSingleObservation;
		type ObsPduEtsiGn;
		type Psid;
		type GeoNetworkingPdu;

		// Values
		Time64 CURRENT_TIME; // Current time when the IUT generate the MR
		ThreeDLocation CURRENT_POS; // Current position of the IUT

		// Messages
		GeoNetworkingPdu PDU_IN_ERR; // Secured GeoNetworking packet containing inconsistent CA/DEN message and signer certificate
		GeoNetworkingPdu PDU_IN_ERR_0; // First secured GeoNetworking packet containing inconsistent CA/DEN message and signer certificate
		GeoNetworkingPdu PDU_IN_ERR_N; // Last secured GeoNetworking packet containing inconsistent CA/DEN message and signer certificate
		AidSpecificReport AidSpecificReport; // AidSpecificReport packet
		AsrCam AsrCam; // AsrCam packet
		ObsPduEtsiGn ObsPduEtsiGn;

		// Constants
		UInt8 AID_CAM; // AID for CAM, 36
		UInt8 AID_DENM; // AID for DENM, 37
		UInt8 INVALID_AID; // Invalid AID, e.g. 0
		integer PX_INVALID_CAM_SSP; // Invalid CAM SSPs
		UInt8 PX_SUBJECT_PDU_INDEX; // Number of invalid messages observations

		// PIXITs
		Certifcate PX_CERT_IUT_A_AT; // Regular signing certificate
		Certifcate PX_INVALID_CAM_SSP_CERTIFICATE; // Signing certificate with inconsistent CAM SSPs
		Certifcate PX_CERTIFICATE_EXPIRED; // Signing certificate expired
		Certifcate PX_CERTIFICATE_OUTSIDE; // Signing certificate with a region outside of the IUT area
		integer PX_STATION_ID; // StationID of a neighbor IUT
		integer PX_INVALID_CURVATURE_VALUE; // e.g. ???
		integer PX_INVALID_YAWRATE_VALUE; // e.g. ???
		integer PX_NORMAL_ACC_VALUE; // e.g???
		integer PX_INVALID_ACC_CHANGE;
		integer PX_INVALID_HEADING_CHANGE; // e.g. ???
		integer PX_NORMAL_HEADING_VALUE; // e.g. ???
		integer PX_NORMAL_SPEED_VALUE; //e.g. 90 km/h
		integer PX_SPEED_1; // Normal speed. e.g. 90 km/h
		integer PX_SPEED_2; // Abnormal speed. e.g. 320 km/h
		integer PX_SPEED_3; // Abnormal speed. e.g. 350 km/h
		integer PX_INVALID_SPEED_DRIVE_DIRECTION;
		integer PX_INVALID_SPEED_CHANGE;
		integer PX_HEADING_1; // Normal heading. e.g. ???
		integer PX_HEADING_2; // Abnormal heading. e.g. ???
		integer PX_HEADING_3; // Abnormal heading. e.g. ???
		ThreeDLocation PX_INVALID_POSITION_VALUE_VS_COMM_COVERAGE;// e.g. ???
		ThreeDLocation PX_POSITION_OUT_OF_ROAD; // The position of the neighbor is outside of the road
		ThreeDLocation PX_POSITION_IN_BUILDING; // e.g. the position of the neighbor is in a building
		ThreeDLocation PX_INVALID_MAX_POSITION; // Position greater than maximal position range
		ThreeDLocation PX_POSITION_FIXED; // Identical position for several IUT's neighbors
		ThreeDLocation PX_LOCATION_OUTSIDE_OF_CERTIFICATE;
		Time64 PX_TIME_OUTSIDE_OF_CERTIFICATE;
		} // End of 'Data' statement

		Configuration {
		Interface Type defaultGN accepts GeoNetworking;
		Interface Type defaultDATA accepts EtsiTs103759Data;
		Component Type ItsComponent with gate g of type defaultGN;
		Component Type ItsHttpComponent with gate g of type defaultDATA;
		Interface Type gnPort accepts EtsiTs102941Data;
		Interface Type httpPort accepts EtsiTs103759Data;

		Component Type ItsComponent with gate g of type gnPort;
		Component Type ItsHttpComponent with gate g of type httpPort;

		Test Configuration CFG_ITS_MBR_01 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements - Long Range
		containing
		Test Configuration CFG_ITS_MRS_01 containing // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements - Long Range
		Tester component MA of type ItsHttpComponent
		SUT component IUT of type ItsHttpComponent
		connection between MA.g and IUT.g;

		Test Configuration CFG_ITS_MBR_02 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements - Short Range
		containing
		Test Configuration CFG_ITS_MRS_02 containing // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements - Short Range
		Tester component MA of type ItsComponent
		SUT component IUT of type ItsComponent
		connection between MA.g and IUT.g;

		Test Configuration CFG_ITS_MBR_03
		containing
		Test Configuration CFG_ITS_MRS_03 containing
		Tester component MA of type ItsHttpComponent
		Tester component ITS_S of type ItsComponent
		SUT component IUT of type ItsHttpComponent

test_purposes/itss.tplan2

+1961 −1362

File changed.

Preview size limit exceeded, changes collapsed.