Commit 3505eed5 authored by YannGarcia's avatar YannGarcia
Browse files

Add comments from Brigitte

parent b04c8b20
Loading
Loading
Loading
Loading
+111 −0
Original line number Diff line number Diff line
/*
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_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
        ;
        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
        - times_out
        - isAuthorizedWith
        ;
    } // End of 'Domain' statement

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

    Data {
        type 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_mrs_commons