Drafting session from 2023/01/18 (fbf176e6) · Commits · ITS - Intelligent Transport Systems / ttcn / MBR TS 103 759

test_purposes/its_mbr_commons.tplan2

+44 −36

Original line number	Original line	Diff line number	Diff line
	@@ -19,41 +19,39 @@ Package its_mbr_commons {
	- PICS_IUT_ITS_S // Is the IUT an ITS-S		- PICS_IUT_ITS_S // Is the IUT an ITS-S
	- PICS_IUT_RSU // Is the IUT a RSU		- PICS_IUT_RSU // Is the IUT a RSU
	- PICS_IUT_MA // Is the IUT an Misbehavior Authority		- PICS_IUT_MA // Is the IUT an Misbehavior Authority
	- PICS_RADIO_G5 // Radio layer is G5		- PICS_DETECTOR_CAM_SPEED // CAM Speed misbehavior detector is supported
	- PICS_RADIO_LTE // Radio layer is LTE/5G
	;
	constant:
	- PX_SUBJECT_PDU_INDEX // Number of invalid messages observations
	- PX_IMPLAUSIBLE_POSITION_1 // Invalid position in CA message (e.g. wrong latitude)
	- TODO // PIXIT to be defined
	;		;
			// constant:
			// - PX_SUBJECT_PDU_INDEX // Number of invalid messages observations
			// - PX_IMPLAUSIBLE_POSITION_1 // Invalid position in CA message (e.g. wrong latitude)
			// - TODO // PIXIT to be defined
			// ;
	entities:		entities:
	- IUT // Implementation Under Test		- IUT // Implementation Under Test
	- ITS_S // Onboard Unit		- ITS_S // Onboard Unit
	- RSU // Road Side Unit		- RSU // Road Side Unit
	- MA // Misbehavior Authority		- MA // Misbehavior Authority
	- TEST_SYSTEM // Test System entity		- TEST_SYSTEM // Test System entity
	- MBR_OBSERVATIONS_CLASS1		// - MBR_OBSERVATIONS_CLASS1
	// A set of observations of class1 (Implausible values within the incoming message)		// // A set of observations of class1 (Implausible values within the incoming message)
	- MBR_OBSERVATIONS_CLASS2		// - MBR_OBSERVATIONS_CLASS2
	// A set of observations of class2 (Inconsistencies of the incoming message with previous messages of the same type emitted from the same station)		// // A set of observations of class2 (Inconsistencies of the incoming message with previous messages of the same type emitted from the same station)
	- MBR_OBSERVATIONS_CLASS3		// - MBR_OBSERVATIONS_CLASS3
	// A set of observations of class3 (Inconsistencies of the incoming message with the knowledge of the local environment of the ego vehicle)		// // A set of observations of class3 (Inconsistencies of the incoming message with the knowledge of the local environment of the ego vehicle)
	- MBR_OBSERVATIONS_CLASS4		// - MBR_OBSERVATIONS_CLASS4
	// A set of observations of class4 (Inconsistencies of the incoming message with the on-board sensors’ perception)		// // A set of observations of class4 (Inconsistencies of the incoming message with the on-board sensors’ perception)
	- MBR_OBSERVATIONS_CLASS5		// - MBR_OBSERVATIONS_CLASS5
	// A set of observations of class5 (Inconsistencies of the incoming message with previous messages of other types from the same station or with messages (of the same type or not) emitted by other stations)		// // A set of observations of class5 (Inconsistencies of the incoming message with previous messages of other types from the same station or with messages (of the same type or not) emitted by other stations)
	- AID_MBR // AID of MBR Service		// - AID_MBR // AID of MBR Service
	- CERT_IUT_A_AT // Default IUT AT certificate		// - CERT_IUT_A_AT // Default IUT AT certificate
	- CERT_MA // Defaut MA certificate		// - CERT_MA // Defaut MA certificate
	- CERT_MA_HASHEDID8		// - CERT_MA_HASHEDID8
	// Hashed Id 8 of the CERT_MA		// // Hashed Id 8 of the CERT_MA
	- MBR_ENC_KEY // TODO		// - MBR_ENC_KEY // TODO
	- MBR_GEN_TIME // The time the MBR messsage is generated		// - MBR_GEN_TIME // The time the MBR messsage is generated
	- MBR_GEN_LOC // The location of the OBU when the MBR messsage is generated		// - MBR_GEN_LOC // The location of the OBU when the MBR messsage is generated
	;		;
	events:		events:
	- isTriggeredToSend
	- connect		- connect
	- receives		- receives
	- received		- received
	@@ -65,34 +63,44 @@ Package its_mbr_commons {
	- having		- having
	- being_in		- being_in
	- times_out		- times_out
			- isAuthorizedWith
	;		;
	} // End of 'Domain' statement		} // End of 'Domain' statement

			// const {
			// - 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)
			// }

	Data {		Data {
	type Int16;		type Int16;
	type Charstring;		type Charstring;
	type Octetstring;		type Octetstring;
			type Time64;
	type MbrMessage; // Misbehavior Reporting message. See ETSI TS 103 759		type ThreeDLocation;
			type EtsiTs103759Data; // Misbehavior Reporting message. See ETSI TS 103 759
			type AidSpecificReport;
			type AsrCam;
			type CamObservationsByTarget;
			type MbSingleObservation;
			type ObsPduEtsiGn;
			type Psid;
	} // End of 'Data' statement		} // End of 'Data' statement

	Configuration {		Configuration {
	Interface Type defaultGT accepts MbrMessage;		Interface Type defaultGT accepts EtsiTs103759Data;
	Component Type ItsComponent with gate g of type defaultGT;		Component Type ItsComponent with gate g of type defaultGT;
	Component Type ItsHttpComponent with gate g of type defaultGT;		Component Type ItsHttpComponent with gate g of type defaultGT;

	Test Configuration CFG_ITS_MBR_01_01 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements. G5 transport		Test Configuration CFG_ITS_MBR_01 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements\
	containing		containing
	Tester component MA of type ItsComponent		Tester component MA of type ItsComponent
	SUT component IUT of type ItsComponent		SUT component IUT of type ItsComponent
	connection between MA.g and IUT.g;		connection between MA.g and IUT.g;

	Test Configuration CFG_ITS_MBR_01_02 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements. HTTP transport
	containing
	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		Test Configuration CFG_ITS_MBR_02
	containing		containing
	Tester component MA of type ItsHttpComponent		Tester component MA of type ItsHttpComponent

test_purposes/itss.tplan2

+332 −213

File changed.

Preview size limit exceeded, changes collapsed.