Add comments from Brigitte

[1]	ETSI TS 102 940: "Intelligent Transport Systems (ITS); Security; ITS communications security architecture and security management; Release 2".

[2]	ETSI EN 302 665: "Intelligent Transport Systems (ITS); Communications Architecture".

[3]	ETSI TS 102 941: "Intelligent Transport Systems (ITS); Security; Trust and Privacy Management".

[4] ETSI TS 103 759: "Intelligent Transport Systems (ITS); Security; Misbehaviour Reporting service".

[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.

/*

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_mbr_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_SPEED     // CAM Speed misbehavior detector is supported

        - PICS_DETECTOR_CAM_POSITION  // CAM Position misbehavior detector is supported

        - PICS_DETECTOR_CAM_ACC

        - PICS_DETECTOR_CAM_STATIC

        - PICS_DETECTOR_CAM_SECURITY

        ;

//        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:

        - IUT           // Implementation Under Test

        - ITS_S         // Onboard Unit

        - RSU           // Road Side Unit

        - MA            // Misbehavior Authority

        - TEST_SYSTEM   // Test System entity 

//        - MBR_OBSERVATIONS_CLASS1

//                        // A set of observations of class1 (Implausible values within the incoming message)

//        - 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)

//        - 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)

//        - MBR_OBSERVATIONS_CLASS4

//                        // A set of observations of class4 (Inconsistencies of the incoming message with the on-board sensors’ perception)

//        - 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)

//        - AID_MBR       // AID of MBR Service

//        - CERT_IUT_A_AT // Default IUT AT certificate 

//        - CERT_MA       // Defaut MA certificate

//        - CERT_MA_HASHEDID8

//                        // Hashed Id 8 of the CERT_MA

//        - MBR_ENC_KEY   // TODO

//        - MBR_GEN_TIME  // The time the MBR messsage is generated

//        - MBR_GEN_LOC   // The location of the OBU when the MBR messsage is generated

        ;

        events:

        - connect

        - receives

        - received

        - forwards

        - awaits

        - sent

        - sends

        - send

        - having

        - being_in

        - times_out

        - isAuthorizedWith

        ;

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

//      - PX_SPEED_1: Normal speed (e.g. 90 km/h)

//      - PX_SPEED_2: Abnormal speed (e.g. 320 km/h)

//      - PX_SPEED_3: Abnormal speed (e.g. 350 km/h)

//    }

    Data {

        type Int16;

        type Charstring;

        type Octetstring;

        type Time64;

        type ThreeDLocation;

        type GeoNetworking;

        type EtsiTs102941Data;

        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

    Configuration {

        Interface Type defaultGN accepts GeoNetworking;

        Interface Type defaultDATA accepts EtsiTs103759Data;

        Component Type ItsComponent with gate g of type defaultGN;

        Component Type ItsHttpComponent with gate g of type defaultDATA;

        Test Configuration CFG_ITS_MBR_01 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements - Long Range

            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 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements - Short Range

            containing 

                Tester component MA of type ItsComponent

                SUT component IUT of type ItsComponent

                connection between MA.g and IUT.g;

        Test Configuration CFG_ITS_MBR_03

            containing 

                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_mbr_commons