diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000000000000000000000000000000000000..c8fb4bf3d63027379ca5b39c90fef2a9017c0b8e --- /dev/null +++ b/.gitmodules @@ -0,0 +1,4 @@ +[submodule "lib/asn1"] + path = lib/asn1 + url = https://forge.etsi.org/rep/ITS/asn1/mrs_ts103759.git + branch = testing diff --git a/ItsMbr_TestCases.ttcn b/ItsMbr_TestCases.ttcn new file mode 100644 index 0000000000000000000000000000000000000000..ca4e636ef7d7d66cac81f2762604554c1ecf72b0 --- /dev/null +++ b/ItsMbr_TestCases.ttcn @@ -0,0 +1,9 @@ +module ItsMbr_TestCases { + + // LibItsMbr + import from LibItsMbr_TestSystem all; + + // Ats Its + import from ItsMbr_TpFunctions all; + +} // End of module ItsMbr_TestCases diff --git a/ItsMbr_TestControl.ttcn b/ItsMbr_TestControl.ttcn new file mode 100644 index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 diff --git a/ItsMbr_TpFunctions.ttcn b/ItsMbr_TpFunctions.ttcn new file mode 100644 index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000000000000000000000000000000000000..87e45c54799903d056b4aff129a804047236cfb4 --- /dev/null +++ b/LICENSE @@ -0,0 +1,23 @@ +Copyright 2022 ETSI + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: +1. Redistributions of source code must retain the above copyright notice, + this list of conditions and the following disclaimer. +2. Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. +3. Neither the name of the copyright holder nor the names of its contributors + may be used to endorse or promote products derived from this software without + specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND +ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED +WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. +IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, +INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, +BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF +LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE +OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED +OF THE POSSIBILITY OF SUCH DAMAGE. \ No newline at end of file diff --git a/lib/LibItsMbr_Templates.ttcn b/lib/LibItsMbr_Templates.ttcn new file mode 100644 index 0000000000000000000000000000000000000000..6b6abb66582980e8964c17a9ddd2b4b2b5e43df7 --- /dev/null +++ b/lib/LibItsMbr_Templates.ttcn @@ -0,0 +1,159 @@ +module LibItsMbr_Templates { + + // LibCommon + import from LibCommon_BasicTypesAndValues all; + import from LibCommon_DataStrings all; + + // LibHelpers + import from LibHelpers_Functions all; + + // LibIts + import from EtsiTs103759Data language "ASN.1:1997" all; + + group mbrPrimitives { + + /** + * @desc Receive template for EtsiTs103759Data Message (MbrPort Primitive) + * @param p_mbrMsg Expected EtsiTs103759Data Message + */ + template MbrInd mw_mbrInd ( + in template (present) EtsiTs103759Data p_mbrMsg + ) := { + msgIn := p_mbrMsg, + recvTime := ?, + gnNextHeader := *, + gnHeaderType := *, + gnHeaderSubtype := *, + gnLifetime := *, + gnTrafficClass := *, + btpDestinationPort := *, + btpInfo := *, + ssp := *, + its_aid := * + }; + + /** + * @desc Receive template for EtsiTs103759Data Message (MbrPort Primitive) + * @param p_mbrMsg Expected EtsiTs103759Data Message + * @param p_gnNextHeader GN next header value + * @param p_gnHeaderType GN header type value + * @param p_gnHeaderSubtype GN header subtype value + * @param p_gnLifetime GN packet lifetime value (ms) + * @param p_gnTrafficClass GN traffic class value + */ + template MbrInd mw_mbrIndWithGnParameters ( + in template (present) EtsiTs103759Data p_mbrMsg, + in template UInt8 p_gnNextHeader := *, + in template UInt8 p_gnHeaderType := *, + in template UInt8 p_gnHeaderSubtype := *, + in template UInt32 p_gnLifetime := *, + in template UInt8 p_gnTrafficClass := * + ) modifies mw_mbrInd := { + gnNextHeader := p_gnNextHeader, + gnHeaderType := p_gnHeaderType, + gnHeaderSubtype := p_gnHeaderSubtype, + gnLifetime := p_gnLifetime, + gnTrafficClass := p_gnTrafficClass + }; + + /** + * @desc Receive template for CA Message (DenmPort Primitive) + * @param p_caMsg The expected CA Message + * @param p_ssp SSP security parameter + * @param p_its_aid ITS-AID value + */ + template MbrInd mw_mbrIndWithSecurityParameters( + template (present) EtsiTs103759Data p_mbrMsg, + template Bit256 p_ssp := *, + template UInt32 p_its_aid := c_its_aid_EtsiTs103759Data + ) modifies mw_mbrInd := { + ssp := p_ssp, + its_aid := p_its_aid + }; + + /** + * @desc Receive template for EtsiTs103759Data Message (MbrPort Primitive) + * @param p_mbrMsg Expected EtsiTs103759Data Message + * @param p_btpDestinationPort BTP destination port value + * @param p_btpInfo BTP destination port info value (if BTP-B) or BTP source port value (if BTP-A) + */ + template MbrInd mw_mbrIndWithBtpParameters ( + in template (present) EtsiTs103759Data p_mbrMsg, + in template UInt16 p_btpDestinationPort := *, + in template UInt16 p_btpInfo := * + ) modifies mw_mbrInd := { + btpDestinationPort := p_btpDestinationPort, + btpInfo := p_btpInfo + }; + + /** + * @desc Send template for EtsiTs103759Data Message (MbrPort Primitive) + * @param p_mbrMsg EtsiTs103759Data Message to be received + */ + template (value) MbrReq m_mbrReq ( + in template (value) EtsiTs103759Data p_mbrMsg + ) := { + msgOut := p_mbrMsg + }; + + group mbrUtPrimitives { + + /** + * @desc Initializes the CAM IUT. + */ + template (value) UtMbrInitialize m_camInitialize := { + hashedId8 := '0000000000000000'O + } + + } // End of group mbrUtPrimitives + + } // End of group mbrPrimitives + + group etsiTs103759Data { + + template (value) EtsiTs103759Data m_etsiTs103759Data( + in UInt8 p_version, + in Time64 p_generationTime, + in template (value) ThreeDLocation p_observationLocation, + in template (value) AidSpecificReport p_report + ) := { + version := p_version, + generationTime := p_generationTime, + observationLocation := p_observationLocation, + report := p_report + } // End of template m_etsiTs103759Data + + template (present) EtsiTs103759Data mw_etsiTs103759Data( + template (present) UInt8 p_version := ?, + template (present) Time64 p_generationTime := ?, + template (present) ThreeDLocation p_observationLocation := ?, + template (present) AidSpecificReport p_report := ? + ) := { + version := p_version, + generationTime := p_generationTime, + observationLocation := p_observationLocation, + report := p_report + } // End of template mw_etsiTs103759Data + + template (value) MbSingleObservation + } // End of group etsiTs103759Data + + group camObservation { // FIXME To be checked + + template (value) AidSpecificReport m_cam_specific_report( + in template (value) SetMbObsCamBeacon p_content + ) := { + aid := c-AsrCam, + content := p_content + } // End of template m_cam_specific_report + + template (present) AidSpecificReport mw_cam_specific_report( + template (present) SetMbObsCamBeacon p_content := ? + ) := { + aid := c-AsrCam, + content := p_content + } // End of template mw_cam_specific_report + + } // End of group camObservation + +} // End of module LibItsMbr_Templates diff --git a/lib/LibItsMbr_TypesAndValues.ttcn b/lib/LibItsMbr_TypesAndValues.ttcn new file mode 100644 index 0000000000000000000000000000000000000000..577540da49fdb73cc8b78c347dbda15754e9ed1a --- /dev/null +++ b/lib/LibItsMbr_TypesAndValues.ttcn @@ -0,0 +1,3 @@ +module LibItsMbr_TypesAndValues { + +} // End of module LibItsMbr_TypesAndValues diff --git a/lib/asn1 b/lib/asn1 new file mode 160000 index 0000000000000000000000000000000000000000..3d3ac26ae673de0237d277af6f8e056ff69c6435 --- /dev/null +++ b/lib/asn1 @@ -0,0 +1 @@ +Subproject commit 3d3ac26ae673de0237d277af6f8e056ff69c6435 diff --git a/lib/module.mk b/lib/module.mk new file mode 100644 index 0000000000000000000000000000000000000000..80fdb00e075dc303c2349c119534898c9c1537a2 --- /dev/null +++ b/lib/module.mk @@ -0,0 +1,24 @@ +sources := \ + LibItsMbr_TypesAndValues.ttcn \ + LibItsMbr_Templates.ttcn + +ifeq (,$(findstring EtsiTs103759Core.asn,$(all_sources))) +sources += \ + asn1/EtsiTs103759Core.asn \ + asn1/EtsiTs103759BaseTypes.asn \ + asn1/EtsiTs103759AsrAppAgnostic.asn \ + asn1/EtsiTs103759AsrCam.asn \ + asn1/EtsiTs103759AsrDenm.asn \ + asn1/EtsiTs103759CommonObservations.asn \ + asn1/SaeJ3287AsrBsm.asn \ +endif + +ifeq (,$(findstring EtsiTs103097Module.asn,$(all_sources))) +sources += asn1/sec_ts103097/EtsiTs103097ExtensionModule.asn \ + asn1/sec_ts103097/EtsiTs103097Module.asn +endif + +ifeq (,$(findstring Ieee1609Dot2.asn,$(all_sources))) +sources += asn1/ieee1609.2/Ieee1609Dot2.asn \ + asn1/ieee1609.2/Ieee1609Dot2BaseTypes.asn +endif diff --git a/lib_system/LibItsMbr_TestSystem.ttcn b/lib_system/LibItsMbr_TestSystem.ttcn new file mode 100644 index 0000000000000000000000000000000000000000..67bf51c5b12855e53e66fdcaa68c86ed7bab50ab --- /dev/null +++ b/lib_system/LibItsMbr_TestSystem.ttcn @@ -0,0 +1,106 @@ +module LibItsMbr_TestSystem language "TTCN-3:2010 Real Time and Performance Testing" { + + // LibCommon + import from LibCommon_BasicTypesAndValues all; + import from LibCommon_DataStrings all; + + // LibIts + import from EtsiTs103759Data language "ASN.1:1997" all; + + // LibItsCommon + import from LibItsCommon_TestSystem all; + import from LibItsCommon_TypesAndValues all; + + // LibItsMbr + import from LibItsMbr_TypesAndValues all; + + group portDefinitions { + + /** + * @desc Adapter control port + */ + type port AdapterControlPort message { + out + AcGnssPrimitive, AcSecPrimitive; + in + AdapterControlResults; + } // end AdapterControlPort + + /** + * @desc Upper Tester port + */ + type port UpperTesterPort message { + out + UtMbrInitialize, UtMbrTrigger; + in + UtMbrResults, UtMbrEventInd; + } // end UpperTesterPort + + } // end portDefinitions + + group interfacePorts { + + group facilityPorts { + + group fa1Ports { + + /** + * @desc FA1 MBR Port (MBR/BTP/GeoNet/RadioNetwork) + */ + type port MbrPort message { + in MbrInd; + out MbrReq; + } // End of port MbrPort + + } // end fa1Ports + + } // End of group facilityPorts + + } // End of group interfacePorts + + group componentDefinitions { + + /** + * @desc ITS System Adapter + */ + type component ItsMbrSystem { + + port UpperTesterPort utPort; + port AdapterControlPort acPort; + + // FA1 ports + port MbrPort mbrPort; + + } // end component ItsAdapter + + } // End of group componentDefinitions + + /** + * @desc Test component for ITS Facility layer + */ + type component ItsMbr extends ItsBaseComponent { + + port UpperTesterPort utPort; + port AdapterControlPort acPort; + + // FA1 ports + port MbrPort mbrPort; + //timers + + //component variables + var MbrInd vc_mbrMsg; + + //default + var default vc_default := null; + + //global variables + var boolean vc_mbrReceived := false; + + var UtMbrEventIndList vc_utEvents := {}; + + var boolean vc_utDefaultActive := true; + var boolean vc_mbrDefaultActive := true; + + } // End of component ItsMbr + +} // End of module LibItsMbr_TestSystem diff --git a/lib_system/module.mk b/lib_system/module.mk new file mode 100644 index 0000000000000000000000000000000000000000..b8f3a5f676e3581fef1e7c9580db33ad71c8e5e2 --- /dev/null +++ b/lib_system/module.mk @@ -0,0 +1 @@ +sources := LibItsMbr_TestSystem.ttcn diff --git a/module.mk b/module.mk new file mode 100644 index 0000000000000000000000000000000000000000..624d5d5d61821f793eba696dc21eb89f25ad8cbd --- /dev/null +++ b/module.mk @@ -0,0 +1,13 @@ +suite := AtsMBR + +sources := ItsMbr_TestCases.ttcn \ + ItsMbr_TestControl.ttcn \ + ItsMbr_TpFunctions.ttcn \ + +modules := \ + lib \ + lib_system \ + /titan-test-system-framework/ttcn/LibHelpers \ + ../LibCommon \ + ../LibIts \ + diff --git a/test_purposes/References.txt b/test_purposes/References.txt new file mode 100644 index 0000000000000000000000000000000000000000..ed3507da488f2979b2a338391d2443b391b1278d --- /dev/null +++ b/test_purposes/References.txt @@ -0,0 +1,9 @@ +[1] ETSI TS 1032 759 (V2.1.1): " Intelligent Transport Systems (ITS); Security; Misbehaviour Reporting service; Release 2". +[2] ETSI TS 103 097 (V21.14.1): "Intelligent Transport Systems (ITS); Security; Security header and certificate formats". +[3] IEEE Std 1609.2™-2016: "IEEE Standard for Wireless Access in Vehicular Environments -Security Services for Applications and Management Messages", as amended by IEEE Std 1609.2a™-2017: "IEEE Standard for Wireless Access In Vehicular Environments - Security Services for Applications and Management Messages Amendment 1". +[4] ETSI TS 103 868-1 (V2.11.2.12): "Intelligent Transport Systems (ITS); Testing; Conformance test specifications for ITS MBR management; Part 1: Protocol Implementation Conformance Statement (PICS)". . +[5] ETSI TS 103 096-2 (V1.5.2): "Intelligent Transport Systems (ITS); Testing; Conformance test specifications for ITS Security; Part 2: Test Suite Structure and Test Purposes (TSS & TP)". +[6] ETSI TS 103 601 (V1.1.1): "Intelligent Transport Systems (ITS); Security; Security management messages communication requirements and distribution protocols". +[7] Certificate Policy for Deployment and Operation of European Cooperative Intelligent Transport Systems (C-ITS) v1.1. +[8] Certificate Policy for Deployment and Operation of European Cooperative Intelligent Transport Systems (C-ITS) v1.1. + diff --git a/test_purposes/its_mrs_commons.tplan2 b/test_purposes/its_mrs_commons.tplan2 new file mode 100644 index 0000000000000000000000000000000000000000..4d92ec047835873ea5ca8fabd65d7f4b2a799919 --- /dev/null +++ b/test_purposes/its_mrs_commons.tplan2 @@ -0,0 +1,153 @@ +/* +Copyright (c) ETSI 2022. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use. This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +Package its_mrs_commons { + Domain { + pics: // ETSI TS 103 759 [3], Clause 5 + - PICS_IUT_ITS_S // Is the IUT an ITS-S + - 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_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: + - IUT // Implementation Under Test + - ITS_S // Onboard Unit + - RSU // Road Side Unit + - MA // Misbehavior Authority + - TEST_SYSTEM // Test System entity + ; + events: + - connect + - receives + - received + - forwards + - awaits + - sent + - sends + - send + - having + - being_in + - any_value + - isAuthorizedWithATCertificate + - atFrequencyOf20Hz + ; + } // End of 'Domain' statement + + Data { + type integer; + type UInt8; + type Int16; + type Charstring; + type Octetstring; + type Time64; + type TwoDLocation; + type ThreeDLocation; + 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; + type CamObservationsByTarget; + 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 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_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_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_MRS_03 containing + Tester component MA of type ItsHttpComponent + Tester component ITS_S of type ItsComponent + SUT component IUT of type ItsHttpComponent + connection between MA.g and IUT.g + connection between ITS_S.g and IUT.g; + + } // End of 'Configuration' statement + +} // End of Package its_mrs_commons diff --git a/test_purposes/itss.tplan2 b/test_purposes/itss.tplan2 new file mode 100644 index 0000000000000000000000000000000000000000..609aca4722f6afea213ecb59ace2912c22cf7ba1 --- /dev/null +++ b/test_purposes/itss.tplan2 @@ -0,0 +1,2373 @@ +/* +Copyright (c) ETSI 2023. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use. This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +Package mrs { + + import all from its_mrs_commons; + + Group "security_messages_report" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_SEC_001 + + Test objective + "Check that the IUT generates an encrypted MBR message." + + Reference + "ETSI TS 103 759 [1], Clauses 7.1" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity is triggered to send a MB report + from the TEST_SYSTEM entity + } then { + the IUT entity sends a message EtsiTs103097Data_SignedAndEncrypted containing + protocolVersion indicating value 3, + content containing + encryptedData containing + recipients containing + recipientInfo containing + certRecipInfo containing + recipientId indicating value CERT_MA_HASHEDID8 + ; + ; + ;, + cyphertext containing + EtsiTs103097Data_Signed containing + signedData containing + hashId indicating value HASH_ALGORITHM + ;, + signer containing + digest indicating value CERT_AT_HASHEDID8 + ;, + tbsData containing + payload containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report corresponding to AidSpecificReport + ;, + headerInfo containing + psid indicating value PX_MRS_PSID, + generationTime corresponding to CURRENT_TIME + ; + ;, + signature indicating value Signature + ; + ; + ; + ; + ; + to the MA entity + } + } + } // End of TP_MRS_ITSS_SEC_001 + + } // End of Group "security_messages_report" + + Group "messages" { + + Group "General" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_001 + + Test objective + "Check that the IUT provides the certificate of the reported ITS-S when the invalid secured geonetworking packet does not contain the AT certificate." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SPEED + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a SEC_GN_PACKET containing + content containing + signedData containing + signer containing + digest indicating value DIGEST_CERT_IUT_A_AT;;;, + + toBeSigned containing + unsecuredData containing + CA message containing + StationID indicating value PX_STATION_ID, + Speed indicating value PX_INVALID_SPEED;;;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SpeedCommon, + cause indicating value c_ObsSpeed_ValueTooLarge_VehicleType; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + report containing + aid indicating value AID_CAM, + content corresponding to AsrCam, + content containing + observations, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus indicating value SEC_GN_PACKET, + certificate indicating value CERT_IUT_A_AT, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty + ; + ; + ; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_001 + + + } // End of Group "General" + + Group "CAM" { + + import all from its_mrs_commons; + + Group "Class1" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_001 + + Test objective + "Check that the IUT generates an invalid speed value observation on a CAM in the MR message when requested (Class 1) - obs-Speed-ValueTooLarge-VehicleType." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SPEED + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Speed indicating value PX_SPEED_3;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SpeedCommon, + cause indicating value c_ObsSpeed_ValueTooLarge_VehicleType; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value c_AsrCam, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SpeedCommon, + observations containing + item0 containing + obsId indicating value c_ObsSpeed_ValueTooLarge_VehicleType, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to ObsPduEtsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_001 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_003 + + Test objective + "Check that the IUT generates an invalid speed value in reverse driving observation on a CAM in the MR message when requested (Class 1) - obs-Speed-ValueTooLarge-DriveDirectionReverse." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SPEED + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Speed indicating value PX_INVALID_SPEED_DRIVE_DIRECTION;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SpeedCommon, + cause indicating value c_ObsSpeed_ValueTooLarge_DriveDirectionRevers; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SpeedCommon, + observations containing + item0 containing + obsId indicating value c_ObsSpeed_ValueTooLarge_DriveDirectionRevers, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to ObsPduEtsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_003 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_004 + + Test objective + "Check that the IUT generates an invalid acceleration value observation on a CAM in the MR message when requested (Class 1) - obs-LongAcc-ValueTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_LONG_ACC + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Acc indicating value PX_INVALID_ACC_VALUE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_LongAccCommon, + cause indicating value c_ObsLongAcc_ValueTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_LongAccCommon, + observations containing + item0 containing + obsId indicating value c_ObsLongAcc_ValueTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_004 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_005 + + Test objective + "Check that the IUT generates an inconsistent position value observation (regarding own communication coverage observation) on a CAM in the MR message when requested (Class 1) - obs-Position-ChangeTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_POSITION + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Position indicating value PX_INVALID_POSITION_VALUE_VS_COMM_COVERAGE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_PositionCommon, + cause indicating value c_Position_ChangeTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_PositionCommon, + observations containing + item0 containing + obsId indicating value c_Position_ChangeTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_005 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_006 + + Test objective + "Check that the IUT generates an inconsistent curvature value observation on a CAM in the MR message when requested (Class 1) - ???." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_CURVATURE + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Curvature indicating value PX_INVALID_CURVATURE_VALUE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value ???, // TODO + cause indicating value ???; // TODO + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value ???, // TODO + observations containing + item0 containing + obsId indicating value ???, // TODO + obs indicating value NULL + ; + ; + ; + ;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0 + ; + ; + ;, + nonV2xPduEvidence indicating value empty + ; + ; + ; + ; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_006 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_007 + + Test objective + "Check that the IUT generates an inconsistent curvature value observation on a CAM in the MR message when requested (Class 1) - ???." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_YAWRATE + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + YawRate indicating value PX_INVALID_YAWRATE_VALUE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value ???, // TODO + cause indicating value ???; // TODO + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value ???, // TODO + observations containing + item0 containing + obsId indicating value ???, // TODO + obs indicating value NULL + ; + ; + ; + ;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0 + ; + ; + ;, + nonV2xPduEvidence indicating value empty + ; + ; + ; + ; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_007 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_01 + + Test objective + "Check that the IUT generates a security HeaderInfo with missing fields observation on a CAM MB report when requested (Class 1) - obs-Security-MessageIdIncWithHeaderInfo." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SECURITY + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID;, + HeaderInfo containing + not Psid;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SecurityCommon, + cause indicating value c_ObsSecurity_MessageIdIncWithHeaderInfo; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SecurityCommon, + observations containing + item0 containing + obsId indicating value c_ObsSecurity_MessageIdIncWithHeaderInfo, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_01 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_02 + + Test objective + "Check that the IUT generates a inconsistent security profile observation (psid set to DENM) on a CAM MB report when requested (Class 1) - obs-Security-HeaderIncWithSecurityProfile." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SECURITY + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID;, + HeaderInfo containing + Psid indicating value AID_DENM;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SecurityCommon, + cause indicating value c_ObsSecurity_HeaderIncWithSecurityProfile; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SecurityCommon, + observations containing + item0 containing + obsId indicating value c_ObsSecurity_HeaderIncWithSecurityProfile, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_02 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_03 + + Test objective + "Check that the IUT generates an inconsistent PSID observation (invalid PSID value) on a CAM MB report when requested (Class 1) - obs-Security-HeaderPsidIncWithCertificate." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SECURITY + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CAM message containing + StationID indicating value PX_STATION_ID;, + HeaderInfo containing + Psid indicating value PX_INVALID_PSID;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SecurityCommon, + cause indicating value c_ObsSecurity_HeaderPsidIncWithCertificate; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SecurityCommon, + observations containing + item0 containing + obsId indicating value c_ObsSecurity_HeaderPsidIncWithCertificate, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_03 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_04 + + Test objective + "Check that the IUT generates an invalid AppPermissions observation on a CAM MB report when requested (Class 1) - obs-Security-MessageIncWithSsp." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SECURITY + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CAM message containing + StationID indicating value PX_STATION_ID;, + signer indicating value PX_INVALID_CAM_SSP_CERTIFICATE; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SecurityCommon, + cause indicating value c_ObsSecurity_MessageIncWithSsp; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SecurityCommon, + observations containing + item0 containing + obsId indicating value c_ObsSecurity_MessageIncWithSsp, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_04 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_05 + + Test objective + "Check that the IUT generates an inconsistent certificate time observation on a CAM MB report when requested (Class 1) - obs-Security-HeaderTimeOutsideCertificateValidity." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SECURITY + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CAM message containing + StationID indicating value PX_STATION_ID;, + HeaderInfo containing + GenerationTime indicating value PX_TIME_OUTSIDE_OF_CERTIFICATE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SecurityCommon, + cause indicating value c_ObsSecurity_HeaderTimeOutsideCertificateValidity; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SecurityCommon, + observations containing + item0 containing + obsId indicating value c_ObsSecurity_HeaderTimeOutsideCertificateValidity, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_05 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_06 + + Test objective + "Check that the IUT generates an inconsistent certificate location outside observation on a CAM MB report when requested (Class 1) - obs-Security-MessageLocationOutsideCertificateValidity." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SECURITY + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CAM message containing + StationID indicating value PX_STATION_ID;, + HeaderInfo containing + GenerationLocation indicating value PX_LOCATION_OUTSIDE_OF_CERTIFICATE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SecurityCommon, + cause indicating value c_ObsSecurity_MessageLocationOutsideCertificateValidity; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SecurityCommon, + observations containing + item0 containing + obsId indicating value c_ObsSecurity_MessageLocationOutsideCertificateValidity, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_06 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_07 + + Test objective + "Check that the IUT generates an inconsistent certificate location outside observation on a CAM MB report when requested (Class 1) - obs-Security-HeaderLocationOutsideCertificateValidity." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SECURITY + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CAM message containing + StationID indicating value PX_STATION_ID;, + signer indicating value PX_CERTIFICATE_OUTSIDE; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SecurityCommon, + cause indicating value c_ObsSecurity_HeaderLocationOutsideCertificateValidity; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SecurityCommon, + observations containing + item0 containing + obsId indicating value c_ObsSecurity_HeaderLocationOutsideCertificateValidity, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS1_CAM_009_07 + + } // End of Group "Class1" + + Group "Class2" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_001 + + Test objective + "Check that the IUT generates a MR message with an observation of an inconsistent speed change (regarding acceleration) in consecutive CAMs when requested (Class 2) - obs-Speed-ChangeTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SPEED + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Acc indicating value PX_NORMAL_ACC_VALUE, + Speed indicating value PX_INVALID_SPEED_CHANGE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SpeedCommon, + cause indicating value c_ObsSpeed_ChangeTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SpeedCommon, + observations containing + item0 containing + obsId indicating value c_ObsSpeed_ChangeTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_001 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_002 + + Test objective + "Check that the IUT generates an inconsistent position changed value (regarding heading changes) in consecutive CAMs MB report when requested (Class 2) - obs-Position-ChangeTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_POSITION + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Heading indicating value PX_NORMAL_HEADING_VALUE, + Position indicating value PX_INVALID_POSITION_CHANGE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_PositionCommon, + cause indicating value c_ObsPosition_ChangeTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_PositionCommon, + observations containing + item0 containing + obsId indicating value c_ObsPosition_ChangeTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_002 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_003 + + Test objective + "Check that the IUT generates an inconsistent heading changed value (regarding speed changes) in consecutive CAMs MB report when requested (Class 2) - ???." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_HEADING + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Heading indicating value PX_INVALID_HEADING_CHANGE, + Speed indicating value PX_NORMAL_SPEED_VALUE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value ???, // TODO + cause indicating value ???; // TODO + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + oobservations containing + item0 containing + tgtId indicating value ???, // TODO + observations containing + item0 containing + obsId indicating value ???, // TODO + obs indicating value NULL + ; + ; + ; + ;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX + ; + ; + ;, + nonV2xPduEvidence indicating value empty + ; + ; + ; + ; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_003 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_004 + + Test objective + "Check that the IUT generates a MR message with an observation of an inconsistent acceleration change (regarding the vehicle type) in consecutive CAMs when requested (Class 2) - obs-LongAcc-ValueTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_LONG_ACC + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Acc indicating value PX_INVALID_ACC_CHANGE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_LongAccCommon, + cause indicating value c_ObsLongAcc_ValueTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_LongAccCommon, + observations containing + item0 containing + obsId indicating value c_ObsLongAcc_ValueTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_004 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_005 + + Test objective + "Check that the IUT generates a MR message with an observation of an inconsistent CAM frequency greater than 10Hz(Class 2) - obs-Beacon-IntervalTooSmall." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_BEACON + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple CAM atFrequencyOf20Hz + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_BeaconCommon, + cause indicating value c_ObsBeacon_IntervalTooSmall; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_BeaconCommon, + observations containing + item0 containing + obsId indicating value c_ObsBeacon_IntervalTooSmall, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_005 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_01 + + Test objective + "Check that the IUT generates an invalid static changed value in consecutive CAMs MB report when requested (Class 2) - obs-Static-Change: SpecialTransport." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A", + "ETSI EN 302 637-2 [8], Annex B.40" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_STATIC + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Static indicating value PX_INVALID_STATIC_CHANGE_SPECIALTRANSPORT;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_StaticCommon, + cause indicating value c_ObsStatic_Change; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_StaticCommon, + observations containing + item0 containing + obsId indicating value c_ObsStatic_Change, + obs indicating value '0001'B;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_01 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_02 + + Test objective + "Check that the IUT generates an invalid static changed value in consecutive CAMs MB report when requested (Class 2) - obs-Static-Change: StationType." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A", + "ETSI EN 302 637-2 [8], Annex B.18" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_STATIC + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Static indicating value PX_INVALID_STATIC_CHANGE_STATIONTYPE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_StaticCommon, + cause indicating value c_ObsStatic_Change; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_StaticCommon, + observations containing + item0 containing + obsId indicating value c_ObsStatic_Change, + obs indicating value '0010'B;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_003_02 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_03 + + Test objective + "Check that the IUT generates an invalid static changed value in consecutive CAMs MB report when requested (Class 2) - obs-Static-Change: VehicleLength." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A", + "ETSI EN 302 637-2 [8], Annex B.35" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_STATIC + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Static indicating value PX_INVALID_STATIC_CHANGE_VEHICLELENGTH;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_StaticCommon, + cause indicating value c_ObsStatic_Change; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_StaticCommon, + observations containing + item0 containing + obsId indicating value c_ObsStatic_Change, + obs indicating value '0100'B;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_03 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_04 + + Test objective + "Check that the IUT generates an invalid static changed value in consecutive CAMs MB report when requested (Class 2) - obs-Static-Change: VehicleRole." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A", + "ETSI EN 302 637-2 [8], Annex B.23" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_STATIC + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Static indicating value PX_INVALID_STATIC_CHANGE_VEHICLEROLE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_StaticCommon, + cause indicating value c_ObsStatic_Change; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_StaticCommon, + observations containing + item0 containing + obsId indicating value c_ObsStatic_Change, + obs indicating value '0100'B;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_04 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_05 + + Test objective + "Check that the IUT generates an invalid static changed value in consecutive CAMs MB report when requested (Class 2) - obs-Static-Change: VehicleWidth." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A", + "ETSI EN 302 637-2 [8], Annex B.36" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_STATIC + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Static indicating value PX_INVALID_STATIC_CHANGE_VEHICLEWIDTH;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_StaticCommon, + cause indicating value c_ObsStatic_Change; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_StaticCommon, + observations containing + item0 containing + obsId indicating value c_ObsStatic_Change, + obs indicating value '0101'B;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS2_CAM_010_05 + + } // End of Group "Class2" + + Group "Class3" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS3_CAM_001 + + Test objective + "Check that the IUT generates a MR message with an observation of an neighbor position (outside of the road) in consecutive CAMs when requested (Class 3) - obs-Position-ChangeTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_POSITION + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value any_value, + Position indicating value PX_POSITION_OUT_OF_ROAD;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_PositionCommon, + cause indicating value c_ObsPosition_ChangeTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_PositionCommon, + observations containing + item0 containing + obsId indicating value c_ObsPosition_ChangeTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence containing + id indicating value any_value, // TODO To be refined + evidence indicating value any_value;;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS3_CAM_001 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS3_CAM_002 + + Test objective + "Check that the IUT generates a MR message with an observation of an neighbor position (identical to the IUT position) in consecutive CAMs when requested (Class 3) - obs-Position-ChangeTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_POSITION + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value any_value, + Position indicating value PX_POSITION_IN_BUILDING;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_PositionCommon, + cause indicating value c_ObsPosition_ChangeTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_PositionCommon, + observations containing + item0 containing + obsId indicating value c_ObsPosition_ChangeTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence containing + id indicating value any_value, // TODO To be refined + evidence indicating value any_value;;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS3_CAM_002 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS3_CAM_003 + + Test objective + "Check that the IUT generates an inconsistent speed value observation (with road plausible speed) on a CAM in the MR message when requested (Class 3) - obs-Speed-ValueTooLarge-VehicleType." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SPEED + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value any_value, + Speed indicating value PX_SPEED_3;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SpeedCommon, + cause indicating value c_ObsSpeed_ValueTooLarge_VehicleType; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value c_AsrCam, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SpeedCommon, + observations containing + item0 containing + obsId indicating value c_ObsSpeed_ValueTooLarge_VehicleType, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence containing + id indicating value any_value, // TODO To be refined + evidence indicating value any_value;;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS3_CAM_003 + + } // End of Group "Class3" + + Group "Class4" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS4_CAM_001 + + Test objective + "Check that the IUT generates a MR message with some observations of neighbors with inconsistent position (regarding communication area) in consecutive CAMs when requested (Class 4) - obs-Position-ChangeTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_POSITION + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value any_value, + Position indicating value PX_INVALID_POSITION_VALUE_VS_COMM_COVERAGE;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_PositionCommon, + cause indicating value c_ObsPosition_ChangeTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_PositionCommon, + observations containing + item0 containing + obsId indicating value c_ObsPosition_ChangeTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to ObsPduEtsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence containing + id indicating value any_value, // TODO To be refined + evidence indicating value any_value;;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS4_CAM_001 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS4_CAM_002 + + Test objective + "Check that the IUT generates a MR message with some observations of neighbors with inconsistent position in consecutive CAMs when requested (Class 4) - obs-Position-ChangeTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_POSITION + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value any_value, + Position indicating value PX_INVALID_MAX_POSITION;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_PositionCommon, + cause indicating value c_ObsPosition_ChangeTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_PositionCommon, + observations containing + item0 containing + obsId indicating value c_ObsPosition_ChangeTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to ObsPduEtsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence containing + id indicating value any_value, // TODO To be refined + evidence indicating value any_value;;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS4_CAM_002 + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS4_CAM_003 + + Test objective + "Check that the IUT generates an inconsistent speed direction value observation on a CAM in the MR message when requested (Class 5) - obs-Speed-ValueTooLarge_DriveDirectionReverse." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SPEED + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives a PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Speed indicating value PX_INVALID_SPEED_DRIVE_DIRECTION;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_SpeedCommon, + cause indicating value c_ObsSpeed_ValueTooLarge_DriveDirectionReverse; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value c_AsrCam, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SpeedCommon, + observations containing + item0 containing + obsId indicating value c_ObsSpeed_ValueTooLarge_DriveDirectionReverse, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus corresponding to ObsPduEtsiGn, + v2xPdus corresponding to PDU_IN_ERR, + certificate indicating value omit, + subjectPduIndex indicating value 0;;;, + nonV2xPduEvidence indicating value empty;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS4_CAM_003 + + } // End of Group "Class4" + + Group "Class5" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_CLASS5_CAM_001 + + Test objective + "Check that the IUT generates a MR message with some observations of neighbors with same position in consecutive CAMs when requested (Class 3) - obs-Position-ChangeTooLarge." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_POSITION + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value any_value, + Position indicating value PX_POSITION_FIXED;; + from the TEST_SYSTEM entity + and the IUT entity is triggered to send a MR message containing + targetId indicating value c_CamTgt_PositionCommon, + cause indicating value c_ObsPosition_ChangeTooLarge; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_PositionCommon, + observations containing + item0 containing + obsId indicating value c_ObsPosition_ChangeTooLarge, + obs indicating value NULL;;;;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX;;;, + nonV2xPduEvidence containing + id indicating value any_value, // TODO To be refined + evidence indicating value any_value;;;;; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_CLASS5_CAM_002 + + } // End of Group "Class5" + + Group "MultipleClasses" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_MESSAGES_001 + + Test objective + "Check that the IUT generates a single MR message containing observations of an invalid speed change, an invalid position change and an invalid longitudinal acceleration value in consecutive CAMs when requested (both Class1, Class 2)." + + Reference + "ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A" + + Config Id CFG_ITS_MRS_02 + + PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SPEED and PICS_DETECTOR_CAM_POSITION and PICS_DETECTOR_CAM_LONG_ACC + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity is triggered to send a MR message containing + item0 containing + targetId indicating value c_CamTgt_SpeedCommon, + cause indicating value c_ObsSpeed_ChangeTooLarge;, // Class2 observation + item1 containing + targetId indicating value c_CamTgt_PositionCommon, + cause indicating value c_ObsPosition_ChangeTooLarge;, // Class2 observation + item2 containing + targetId indicating value c_CamTgt_LongAccCommon, + cause indicating value c_ObsLongAcc_ValueTooLarge; // Class1 observation + ; + from the TEST_SYSTEM entity + and the IUT entity receives multiple PDU_IN_ERR containing + certificate indicating value CERT_IUT_A_AT, + CA message containing + StationID indicating value PX_STATION_ID, + Speed indicating value PX_INVALID_SPEED_CHANGE, + Position indicating value PX_INVALID_POSITION_CHANGE;; + from the TEST_SYSTEM entity + } then { + the IUT entity sends a EtsiTs103759Data containing + version indicating value 2, + generationTime corresponding to CURRENT_TIME, + observationLocation corresponding to CURRENT_POS, + report containing + aid indicating value AID_CAM, + content containing + content corresponding to AsrCam, + content containing + observations containing + item0 containing + tgtId indicating value c_CamTgt_SpeedCommon, + observations containing + item0 containing + obsId indicating value c_ObsSpeed_ChangeTooLarge, + obs indicating value NULL + ; + ;, + item1 containing + tgtId indicating value c_CamTgt_PositionCommon, + observations containing + item0 containing + obsId indicating value c_ObsPosition_ChangeTooLarge, + obs indicating value NULL + ; + ; + ;, + item2 containing + tgtId indicating value c_CamTgt_LongAccCommon, + observations containing + item0 containing + obsId indicating value c_ObsLongAcc_ValueTooLarge, + obs indicating value NULL + ; + ; + ; + ;, + v2xPduEvidence containing + V2xPduStream containing + item0 containing + type_ indicating value c_ObsPdu_etsiGn, + v2xPdus containing + PDU0 corresponding to PDU_IN_ERR_0, + PDUN corresponding to PDU_IN_ERR_N + ;, + certificate indicating value omit, + subjectPduIndex indicating value PX_SUBJECT_PDU_IDX + ; + ; + ;, + nonV2xPduEvidence indicating value empty + ; + ; + ; + ; + ; + to the MA entity + } + } + } // End of TP_MRS_ITSS_MESSAGES_001 + + } // End of Group "MultipleClasses" + + } // End of Group "CAM" + + Group "DENM" { + + import all from its_mrs_commons; + + } // End of Group "DENM" + + } // End of Group "messages" + + Group "forwarding_misbehvior_messages" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_RSU_FORWARDING_001 + + Test objective + "Check that the IUT forwards a received MB report." + + Reference + "ETSI TS 103 759 [1], Clause 5 and Clause 7.2" + + Config Id CFG_ITS_MRS_03 + + PICS Selection PICS_IUT_RSU and PICS_SHORT_RANGE + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity received a EtsiTs103759Data + from the ITS_S entity + } then { + the IUT entity forwards the EtsiTs103759Data + to the MA entity + } + } + } // End of TP_MRS_RSU_FORWARDING_001 + + } // End of Group "forwarding_misbehvior_messages" + + Group "short_range_transport" { + + import all from its_mrs_commons; + + Test Purpose { + TP Id TP_MRS_ITSS_SRT_001 + + Test objective + "Check that MBR message is encapsulated in BTP type B packet." + + Reference + "ETSI TS 103 759 [1], Clause 5 and Clause 7.2" + + Config Id CFG_ITS_MRS_01 + + PICS Selection PICS_IUT_ITS_S and PICS_SHORT_RANGE + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity is triggered to send a Misbehavior Report + to the MA entity + } then { + the IUT entity sends a GeoNetorking packet containing + BTP_B packet + ; + to the MA entity + } + } + } // End of TP_MRS_ITSS_SRT_001 + + Test Purpose { + TP Id TP_MRS_ITSS_SRT_002 + + Test objective + "Check that MBR message is encapsulated in SHB packet." + + Reference + "ETSI TS 103 759 [1], Clause 5 and Clause 7.2" + + Config Id CFG_ITS_MRS_01 + + PICS Selection PICS_IUT_ITS_S and PICS_SHORT_RANGE + + Initial conditions + with { + the IUT entity being_in the initial_state and + the IUT entity isAuthorizedWithATCertificate + } + + Expected behaviour + ensure that { + when { + the IUT entity is triggered to send a Misbehavior Report + to the MA entity + } then { + the IUT entity sends a SHB GeoNetorking packet + to the MA entity + } + } + } // End of TP_MRS_ITSS_SRT_002 + + } // End of Group "short_range_transport" + +} // End of Package mrs