Commit 07a951cd authored by YannGarcia's avatar YannGarcia
Browse files

Start validation of AtsPki; Add missing AcSecurity primitive implementation in Facilities

parent 3cf4b64d
...@@ -48,7 +48,7 @@ module ItsCam_TestCases { ...@@ -48,7 +48,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-01 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/FMT/BV-01
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.1 * @reference ETSI EN 302 637-2 v1.4.1, Annex B.1
*/ */
testcase TC_CAM_MSD_FMT_BV_01() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_FMT_BV_01() runs on ItsCam system ItsCamSystem {
...@@ -81,7 +81,7 @@ module ItsCam_TestCases { ...@@ -81,7 +81,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-02 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/FMT/BV-02
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3 * @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/ */
testcase TC_CAM_MSD_FMT_BV_02() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_FMT_BV_02() runs on ItsCam system ItsCamSystem {
...@@ -122,7 +122,7 @@ module ItsCam_TestCases { ...@@ -122,7 +122,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-03 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/FMT/BV-03
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3 * @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/ */
testcase TC_CAM_MSD_FMT_BV_03() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_FMT_BV_03() runs on ItsCam system ItsCamSystem {
...@@ -156,7 +156,7 @@ module ItsCam_TestCases { ...@@ -156,7 +156,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-04 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/FMT/BV-04
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3 * @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/ */
testcase TC_CAM_MSD_FMT_BV_04() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_FMT_BV_04() runs on ItsCam system ItsCamSystem {
...@@ -198,7 +198,7 @@ module ItsCam_TestCases { ...@@ -198,7 +198,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-05 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/FMT/BV-05
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3 * @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/ */
testcase TC_CAM_MSD_FMT_BV_05() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_FMT_BV_05() runs on ItsCam system ItsCamSystem {
...@@ -242,7 +242,7 @@ module ItsCam_TestCases { ...@@ -242,7 +242,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_01() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_01() runs on ItsCam system ItsCamSystem {
...@@ -281,7 +281,7 @@ module ItsCam_TestCases { ...@@ -281,7 +281,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-02 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-02
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_02() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_02() runs on ItsCam system ItsCamSystem {
...@@ -320,7 +320,7 @@ module ItsCam_TestCases { ...@@ -320,7 +320,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-03 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-03
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_03() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_03() runs on ItsCam system ItsCamSystem {
...@@ -359,7 +359,7 @@ module ItsCam_TestCases { ...@@ -359,7 +359,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-04 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-04
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_04() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_04() runs on ItsCam system ItsCamSystem {
...@@ -398,7 +398,7 @@ module ItsCam_TestCases { ...@@ -398,7 +398,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-05 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-05
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_05() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_05() runs on ItsCam system ItsCamSystem {
...@@ -437,7 +437,7 @@ module ItsCam_TestCases { ...@@ -437,7 +437,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-06 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-06
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_06() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_06() runs on ItsCam system ItsCamSystem {
...@@ -476,7 +476,7 @@ module ItsCam_TestCases { ...@@ -476,7 +476,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-07 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-07
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_07() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_07() runs on ItsCam system ItsCamSystem {
...@@ -515,7 +515,7 @@ module ItsCam_TestCases { ...@@ -515,7 +515,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-08 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-08
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_08() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_08() runs on ItsCam system ItsCamSystem {
...@@ -554,7 +554,7 @@ module ItsCam_TestCases { ...@@ -554,7 +554,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-09 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-09
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_09() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_09() runs on ItsCam system ItsCamSystem {
...@@ -593,7 +593,7 @@ module ItsCam_TestCases { ...@@ -593,7 +593,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-10 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-10
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_10() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_10() runs on ItsCam system ItsCamSystem {
...@@ -632,7 +632,7 @@ module ItsCam_TestCases { ...@@ -632,7 +632,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-11 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-11
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_11() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_11() runs on ItsCam system ItsCamSystem {
...@@ -671,7 +671,7 @@ module ItsCam_TestCases { ...@@ -671,7 +671,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-12 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-12
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_12() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_12() runs on ItsCam system ItsCamSystem {
...@@ -710,7 +710,7 @@ module ItsCam_TestCases { ...@@ -710,7 +710,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-13 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-13
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_13() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_13() runs on ItsCam system ItsCamSystem {
...@@ -749,7 +749,7 @@ module ItsCam_TestCases { ...@@ -749,7 +749,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-14 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-14
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_14() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_14() runs on ItsCam system ItsCamSystem {
...@@ -788,7 +788,7 @@ module ItsCam_TestCases { ...@@ -788,7 +788,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-15 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-15
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_15() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_15() runs on ItsCam system ItsCamSystem {
...@@ -827,7 +827,7 @@ module ItsCam_TestCases { ...@@ -827,7 +827,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-16 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-16
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_16() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_16() runs on ItsCam system ItsCamSystem {
...@@ -866,7 +866,7 @@ module ItsCam_TestCases { ...@@ -866,7 +866,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-17 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-17
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_17() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_17() runs on ItsCam system ItsCamSystem {
...@@ -905,7 +905,7 @@ module ItsCam_TestCases { ...@@ -905,7 +905,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-18 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-18
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_18() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_18() runs on ItsCam system ItsCamSystem {
...@@ -944,7 +944,7 @@ module ItsCam_TestCases { ...@@ -944,7 +944,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-19 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-19
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_19() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_19() runs on ItsCam system ItsCamSystem {
...@@ -983,7 +983,7 @@ module ItsCam_TestCases { ...@@ -983,7 +983,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-20 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-20
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_20() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_20() runs on ItsCam system ItsCamSystem {
...@@ -1022,7 +1022,7 @@ module ItsCam_TestCases { ...@@ -1022,7 +1022,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-21 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-21
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_21() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_21() runs on ItsCam system ItsCamSystem {
...@@ -1061,7 +1061,7 @@ module ItsCam_TestCases { ...@@ -1061,7 +1061,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-22 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-22
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_22() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_22() runs on ItsCam system ItsCamSystem {
...@@ -1100,7 +1100,7 @@ module ItsCam_TestCases { ...@@ -1100,7 +1100,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-23 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-23
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_23() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_23() runs on ItsCam system ItsCamSystem {
...@@ -1139,7 +1139,7 @@ module ItsCam_TestCases { ...@@ -1139,7 +1139,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-24 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-24
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_24() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_24() runs on ItsCam system ItsCamSystem {
...@@ -1178,7 +1178,7 @@ module ItsCam_TestCases { ...@@ -1178,7 +1178,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-25 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-25
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_25() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_25() runs on ItsCam system ItsCamSystem {
...@@ -1217,7 +1217,7 @@ module ItsCam_TestCases { ...@@ -1217,7 +1217,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-26 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-26
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_26() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_26() runs on ItsCam system ItsCamSystem {
...@@ -1256,7 +1256,7 @@ module ItsCam_TestCases { ...@@ -1256,7 +1256,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-27 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-27
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_27() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_27() runs on ItsCam system ItsCamSystem {
...@@ -1295,7 +1295,7 @@ module ItsCam_TestCases { ...@@ -1295,7 +1295,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-28 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-28
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_28() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_28() runs on ItsCam system ItsCamSystem {
...@@ -1334,7 +1334,7 @@ module ItsCam_TestCases { ...@@ -1334,7 +1334,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-29 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-29
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_29() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_29() runs on ItsCam system ItsCamSystem {
...@@ -1373,7 +1373,7 @@ module ItsCam_TestCases { ...@@ -1373,7 +1373,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-30 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-30
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_30() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_30() runs on ItsCam system ItsCamSystem {
...@@ -1412,7 +1412,7 @@ module ItsCam_TestCases { ...@@ -1412,7 +1412,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-31 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-31
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_31() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_31() runs on ItsCam system ItsCamSystem {
...@@ -1450,7 +1450,7 @@ module ItsCam_TestCases { ...@@ -1450,7 +1450,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-32 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-32
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_32() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_32() runs on ItsCam system ItsCamSystem {
...@@ -1488,7 +1488,7 @@ module ItsCam_TestCases { ...@@ -1488,7 +1488,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-33 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-33
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_33() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_33() runs on ItsCam system ItsCamSystem {
...@@ -1526,7 +1526,7 @@ module ItsCam_TestCases { ...@@ -1526,7 +1526,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-34 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-34
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_34() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_34() runs on ItsCam system ItsCamSystem {
...@@ -1564,7 +1564,7 @@ module ItsCam_TestCases { ...@@ -1564,7 +1564,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-35 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-01-35
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2 * @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/ */
testcase TC_CAM_MSD_INA_BV_01_35() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_01_35() runs on ItsCam system ItsCamSystem {
...@@ -1600,7 +1600,7 @@ module ItsCam_TestCases { ...@@ -1600,7 +1600,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-02 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-02
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.11 * @reference ETSI EN 302 637-2 v1.4.1, Annex B.11
*/ */
testcase TC_CAM_MSD_INA_BV_02() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_02() runs on ItsCam system ItsCamSystem {
...@@ -1634,7 +1634,7 @@ module ItsCam_TestCases { ...@@ -1634,7 +1634,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-03 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-03
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.12 * @reference ETSI EN 302 637-2 v1.4.1, Annex B.12
*/ */
testcase TC_CAM_MSD_INA_BV_03() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_03() runs on ItsCam system ItsCamSystem {
...@@ -1668,7 +1668,7 @@ module ItsCam_TestCases { ...@@ -1668,7 +1668,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-04 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-04
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.13 * @reference ETSI EN 302 637-2 v1.4.1, Annex B.13
*/ */
testcase TC_CAM_MSD_INA_BV_04() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_04() runs on ItsCam system ItsCamSystem {
...@@ -1702,7 +1702,7 @@ module ItsCam_TestCases { ...@@ -1702,7 +1702,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-05 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-05
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.14 * @reference ETSI EN 302 637-2 v1.4.1, Annex B.14
*/ */
testcase TC_CAM_MSD_INA_BV_05() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_05() runs on ItsCam system ItsCamSystem {
...@@ -1736,7 +1736,7 @@ module ItsCam_TestCases { ...@@ -1736,7 +1736,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-06 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-06
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.15 * @reference ETSI EN 302 637-2 v1.4.1, Annex B.15
*/ */
testcase TC_CAM_MSD_INA_BV_06() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_06() runs on ItsCam system ItsCamSystem {
...@@ -1770,7 +1770,7 @@ module ItsCam_TestCases { ...@@ -1770,7 +1770,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-07 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-07
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.16 * @reference ETSI EN 302 637-2 v1.4.1, Annex B.16
*/ */
testcase TC_CAM_MSD_INA_BV_07() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_07() runs on ItsCam system ItsCamSystem {
...@@ -1804,7 +1804,7 @@ module ItsCam_TestCases { ...@@ -1804,7 +1804,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-08 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/INA/BV-08
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.17 * @reference ETSI EN 302 637-2 v1.4.1, Annex B.17
*/ */
testcase TC_CAM_MSD_INA_BV_08() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_INA_BV_08() runs on ItsCam system ItsCamSystem {
...@@ -1837,7 +1837,7 @@ module ItsCam_TestCases { ...@@ -1837,7 +1837,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/GFQ/TI-01 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/GFQ/TI-01
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3 * @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/ */
testcase TC_CAM_MSD_GFQ_TI_01() runs on ItsCam system ItsCamSystem { testcase TC_CAM_MSD_GFQ_TI_01() runs on ItsCam system ItsCamSystem {
...@@ -1866,7 +1866,7 @@ module ItsCam_TestCases { ...@@ -1866,7 +1866,7 @@ module ItsCam_TestCases {
* } * }
* </pre> * </pre>
* *
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/GFQ/TI-02 * @see ETSI TS 102 868-2 v1.5.1 TP/CAM/MSD/GFQ/TI-02