Commit 5f69d1fa authored by Yann Garcia's avatar Yann Garcia
Browse files

Implementing TP/VBS/MSGF/BV-01 to TP/VBS/MSGF/BV-20, TP/VBS/IFGN/BV-0x and...

Implementing TP/VBS/MSGF/BV-01 to TP/VBS/MSGF/BV-20, TP/VBS/IFGN/BV-0x and TC_VBS_SECC_BV_02 & TC_VBS_SECC_BV_04
parent fd1aabe3
Loading
Loading
Loading
Loading
+1137 −91

File changed.

Preview size limit exceeded, changes collapsed.

+43 −4
Original line number Diff line number Diff line
@@ -9,10 +9,49 @@ module ItsVru_TestControl {
  // Test Execution
  control {
    
    if(PICS_VRU_GENERATION) {
        execute(TC_VRU_MSD_PAR_BV_01());
        execute(TC_VRU_MSD_PAR_BV_02());
        execute(TC_VRU_MSD_PAR_BV_03());
    if(PICS_VAM_GENERATION) {
      execute(TC_VBS_MSGF_BV_01());
      execute(TC_VBS_MSGF_BV_02());
      execute(TC_VBS_MSGF_BV_03());
      execute(TC_VBS_MSGF_BV_04());
      execute(TC_VBS_MSGF_BV_05());
      execute(TC_VBS_MSGF_BV_06());
      execute(TC_VBS_MSGF_BV_07());
      execute(TC_VBS_MSGF_BV_08());
      execute(TC_VBS_MSGF_BV_10());
      execute(TC_VBS_MSGF_BV_12());
      execute(TC_VBS_MSGF_BV_13());

      if (PICS_PROFILE_BICYCLIST or PICS_PROFILE_MOTORCYCLIST) {
        execute(TC_VBS_MSGF_BV_09());
      }

      if (PICS_PROFILE_PEDESTRIAN) {
        execute(TC_VBS_MSGF_BV_11());
      }

      if (PICS_PROFILE_BICYCLIST) {
        execute(TC_VBS_MSGF_BV_14());
      }

      if (PICS_CLUSTERING) {
        execute(TC_VBS_MSGF_BV_15());
        execute(TC_VBS_MSGF_BV_16());
        execute(TC_VBS_MSGF_BV_17());
        execute(TC_VBS_MSGF_BV_18());
        execute(TC_VBS_MSGF_BV_19());
        execute(TC_VBS_MSGF_BV_20());
      }

      execute(TC_VBS_IFGN_BV_01());
      execute(TC_VBS_IFGN_BV_02());
      execute(TC_VBS_IFGN_BV_03());

      if (PICS_IS_IUT_SECURED) {
          execute(TC_VBS_SECC_BV_02());
          execute(TC_VBS_SECC_BV_04());
      }

    }

  }
+2379 −44

File changed.

Preview size limit exceeded, changes collapsed.

+37 −7
Original line number Diff line number Diff line
@@ -4,16 +4,40 @@ module LibItsVru_Pics {
  import from LibCommon_BasicTypesAndValues all;

  /**
    * @desc Is the IUT running in secured mode?
    * @see  ETSI TS 104 019-1 Table A.1
    * @desc Support for VRU generation
    * @see  ETSI TS 104 019-1 Table A.1/1
    */
  modulepar boolean PICS_IS_IUT_SECURED := false;
  modulepar boolean PICS_VAM_GENERATION := true;

  /**
    * @desc Support for VRU generation
    * @see  ETSI TS 104 019-1 Table A.3
    * @desc Is the IUT vehicle profile Pedestrain?
    * @see  ETSI TS 104 019-1 Table A.3/1
    */
  modulepar boolean PICS_PROFILE_PEDESTRIAN := false;

  /**
    * @desc Is the IUT vehicle profile Bycycle or Light vehicle?
    * @see  ETSI TS 104 019-1 Table A.3/2
    */
  modulepar boolean PICS_PROFILE_BICYCLIST := true;

  /**
    * @desc Is the IUT vehicle profile Motorcyclist?
    * @see  ETSI TS 104 019-1 Table A.3/3
    */
  modulepar boolean PICS_VRU_GENERATION := true;
  modulepar boolean PICS_PROFILE_MOTORCYCLIST := false;

  /**
    * @desc Is the IUT vehicle profile Animal?
    * @see  ETSI TS 104 019-1 Table A.3/3
    */
  modulepar boolean PICS_PROFILE_ANIMAL := false;

  /**
    * @desc Is the IUT support clustering?
    * @see  ETSI TS 104 019-1 Table A.4/1
    */
  modulepar boolean PICS_CLUSTERING := true;

  /**
    * @desc Support for VRU reception
@@ -21,4 +45,10 @@ module LibItsVru_Pics {
    */
  modulepar boolean PICS_VRU_RECEPTION := true;

  /**
    * @desc Is the IUT running in secured mode?
    * @see  ETSI TS 104 019-1 Table A.5/1
    */
  modulepar boolean PICS_IS_IUT_SECURED := false;
  
} // End of module LibItsVru_Pics
 No newline at end of file
+35 −0
Original line number Diff line number Diff line
module LibItsVru_Pixits {

  // LibCommon
  import from LibCommon_BasicTypesAndValues all;
  import from LibCommon_DataStrings all;

  // LibIts
  import from ETSI_ITS_CDD language "ASN.1:1997" all;
  import from VAM_PDU_Descriptions language "ASN.1:1997" all;

  // LibItsCommon
  import from LibItsCommon_ASN1_NamedNumbers all;

  modulepar UInt8 PX_IUT_VRU_PROFILE_TYPE := 2;

  modulepar CardinalNumber1B PX_VRU_CLUSTER_CREATE_CARDINALITY := 3;

  modulepar Identifier1B PX_VRU_CLUSTER_CREATE_ID              := 78; // Random number

  modulepar StandardLength12b PX_VRU_CLUSTER_CREATE_RADIUS     := 30; // 3 meters

  modulepar VruClusterProfiles PX_VRU_CLUSTER_CREATE_PROFILE   := '0000'B; // At least on pedestrian

  modulepar ClusterBreakupReason PX_VRU_CLUSTER_BREAKUP_REASON := Vru_ClusterBreakupReason_clusteringPurposeCompleted;

  modulepar UInt32 PX_DELTA_LATITUDE_IN_BOX      := 10;

  modulepar UInt32 PX_DELTA_LONGITUDE_IN_BOX     := 10;

  modulepar UInt32 PX_DELTA_LATITUDE_OUT_OF_BOX  := 100;

  modulepar UInt32 PX_DELTA_LONGITUDE_OUT_OF_BOX := 100;

  modulepar UInt32 PX_DELTA_SPEED_IN_BOX         := 2;

  modulepar UInt32 PX_DELTA_SPEED_OUT_OF_BOX     := 20;

} // End of module LibItsVru_Pixits
 No newline at end of file
Loading