Commit 0a678310 authored by garciay's avatar garciay
Browse files

Add ETSI legal copyrights tag

Review CAM PICS
Rename PICS_GNSS_SCENARIO_SUPPORT into PX_GNSS_SCENARIO_SUPPORT
parent 9f9491fb
Loading
Loading
Loading
Loading
+4 −0
Original line number Original line Diff line number Diff line
@@ -3,6 +3,10 @@
 *  @version  $URL$
 *  @version  $URL$
 *            $Id$
 *            $Id$
 *  @desc     Testcases for Basic Transport Protocol (TP version: 0.0.3)
 *  @desc     Testcases for Basic Transport Protocol (TP version: 0.0.3)
 *  @copyright   ETSI Copyright Notification
 *               No part may be reproduced except as authorized by written permission.
 *               The copyright and the foregoing restriction extend to reproduction in all media.
 *               All rights reserved.
 *
 *
 */
 */
module ItsBtp_TestCases {
module ItsBtp_TestCases {
+4 −0
Original line number Original line Diff line number Diff line
@@ -3,6 +3,10 @@
 *  @version  $URL$
 *  @version  $URL$
 *            $Id$
 *            $Id$
 *  @desc     Test Control file for Basic Transport Protocol
 *  @desc     Test Control file for Basic Transport Protocol
 *  @copyright   ETSI Copyright Notification
 *               No part may be reproduced except as authorized by written permission.
 *               The copyright and the foregoing restriction extend to reproduction in all media.
 *               All rights reserved.
 *
 *
 */
 */
module ItsBtp_TestControl {
module ItsBtp_TestControl {
+6 −3
Original line number Original line Diff line number Diff line
@@ -3,7 +3,10 @@
 *    @version  $URL$
 *    @version  $URL$
 *              $Id$
 *              $Id$
 *    @desc     CAM Testcases (TS 102 868-2 V1.4.1)
 *    @desc     CAM Testcases (TS 102 868-2 V1.4.1)
 *
 *    @copyright   ETSI Copyright Notification
 *                 No part may be reproduced except as authorized by written permission.
 *                 The copyright and the foregoing restriction extend to reproduction in all media.
 *                 All rights reserved.
 */
 */


module ItsCam_TestCases {
module ItsCam_TestCases {
@@ -131,7 +134,7 @@ module ItsCam_TestCases {
             * @desc Check that specialVehicle container is included in 1st CAM 
             * @desc Check that specialVehicle container is included in 1st CAM 
             *       since CA basic service activation.
             *       since CA basic service activation.
             * <pre>
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_SPECIALVEHICLECONTAINER AND NOT PIC_RSU
             * Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU AND (PICS_PUBLICTRANS OR PICS_SPECIALTRANS OR PICS_DANGEROUSGOODS OR PICS_ROADWORKS OR PICS_RESCUE OR PICS_EMERGENCY OR PICS_SAFETYCAR)
             * Initial conditions: 
             * Initial conditions: 
             *     with {
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT being in the "initial state"
@@ -167,7 +170,7 @@ module ItsCam_TestCases {
             *       special vehicle container generation is equal or larger 
             *       special vehicle container generation is equal or larger 
             *       than 500 ms.
             *       than 500 ms.
             * <pre>
             * <pre>
             * Pics Selection: PICS_CAM_GENERATION AND PICS_SPECIALVEHICLECONTAINER AND NOT PIC_RSU
             * Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU AND (PICS_PUBLICTRANS OR PICS_SPECIALTRANS OR PICS_DANGEROUSGOODS OR PICS_ROADWORKS OR PICS_RESCUE OR PICS_EMERGENCY OR PICS_SAFETYCAR)
             * Initial conditions: 
             * Initial conditions: 
             *     with {
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT being in the "initial state"
+5 −1
Original line number Original line Diff line number Diff line
@@ -3,6 +3,10 @@
 *    @version  $URL$
 *    @version  $URL$
 *              $Id$
 *              $Id$
 *    @desc     Test Control file for CAM
 *    @desc     Test Control file for CAM
 *    @copyright   ETSI Copyright Notification
 *                 No part may be reproduced except as authorized by written permission.
 *                 The copyright and the foregoing restriction extend to reproduction in all media.
 *                 All rights reserved.
*
*
 */
 */
module ItsCam_TestControl {
module ItsCam_TestControl {
+49 −45
Original line number Original line Diff line number Diff line
@@ -3,6 +3,10 @@
 *    @version  $URL$
 *    @version  $URL$
 *              $Id$
 *              $Id$
 *    @desc     CAM TP functions
 *    @desc     CAM TP functions
 *    @copyright   ETSI Copyright Notification
 *                 No part may be reproduced except as authorized by written permission.
 *                 The copyright and the foregoing restriction extend to reproduction in all media.
 *                 All rights reserved.
*
*
 */
 */


@@ -93,7 +97,7 @@ module ItsCam_TpFunctions {
                
                
                // Test control
                // Test control
                if (not PICS_CAM_GENERATION or PICS_RSU) {
                if (not PICS_CAM_GENERATION or PICS_RSU) {
                    log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                    log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                    setverdict(inconc);
                    setverdict(inconc);
                    stop;
                    stop;
                }              
                }              
@@ -147,7 +151,7 @@ module ItsCam_TpFunctions {
                
                
                // Test control
                // Test control
                if (not PICS_CAM_GENERATION or PICS_RSU) {
                if (not PICS_CAM_GENERATION or PICS_RSU) {
                    log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                    log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                    setverdict(inconc);
                    setverdict(inconc);
                    stop;
                    stop;
                }              
                }              
@@ -238,12 +242,12 @@ module ItsCam_TpFunctions {
                
                
                // Test control
                // Test control
                if (not PICS_CAM_GENERATION or PICS_RSU) {
                if (not PICS_CAM_GENERATION or PICS_RSU) {
                    log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                    log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                    setverdict(inconc);
                    setverdict(inconc);
                    stop;
                    stop;
                }              
                }              
                if (not PICS_SPECIALVEHICLECONTAINER) {
                if (not (PICS_PUBLICTRANS OR PICS_SPECIALTRANS OR PICS_DANGEROUSGOODS OR PICS_ROADWORKS OR PICS_RESCUE OR PICS_EMERGENCY OR PICS_SAFETYCAR)) {
                    testcase.stop(testcasename() & ": PICS_SPECIALVEHICLECONTAINER needs to be set to true");
                    testcase.stop(testcasename() & ": (PICS_PUBLICTRANS OR PICS_SPECIALTRANS OR PICS_DANGEROUSGOODS OR PICS_ROADWORKS OR PICS_RESCUE OR PICS_EMERGENCY OR PICS_SAFETYCAR) needs to be set to true");
                }
                }
                
                
                // Test component configuration
                // Test component configuration
@@ -294,12 +298,12 @@ module ItsCam_TpFunctions {
                
                
                // Test control
                // Test control
                if (not PICS_CAM_GENERATION or PICS_RSU) {
                if (not PICS_CAM_GENERATION or PICS_RSU) {
                    log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                    log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                    setverdict(inconc);
                    setverdict(inconc);
                    stop;
                    stop;
                }              
                }              
                if (not PICS_SPECIALVEHICLECONTAINER) {
                if (not (PICS_PUBLICTRANS OR PICS_SPECIALTRANS OR PICS_DANGEROUSGOODS OR PICS_ROADWORKS OR PICS_RESCUE OR PICS_EMERGENCY OR PICS_SAFETYCAR)) {
                    testcase.stop(testcasename() & ": PICS_SPECIALVEHICLECONTAINER needs to be set to true");
                    testcase.stop(testcasename() & ": (PICS_PUBLICTRANS OR PICS_SPECIALTRANS OR PICS_DANGEROUSGOODS OR PICS_ROADWORKS OR PICS_RESCUE OR PICS_EMERGENCY OR PICS_SAFETYCAR) needs to be set to true");
                }
                }
                
                
                // Test component configuration
                // Test component configuration
@@ -504,7 +508,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -540,7 +544,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -576,7 +580,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -612,7 +616,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -648,7 +652,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -684,7 +688,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -720,7 +724,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -756,7 +760,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -792,7 +796,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -828,7 +832,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -864,7 +868,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -900,7 +904,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -936,7 +940,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -972,7 +976,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1008,7 +1012,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1044,7 +1048,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1080,7 +1084,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1116,7 +1120,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1152,7 +1156,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1188,7 +1192,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1224,7 +1228,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1260,7 +1264,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1296,7 +1300,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1330,7 +1334,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Local variables
                    // Local variables
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1368,7 +1372,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1404,7 +1408,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1440,7 +1444,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1476,7 +1480,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1512,7 +1516,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1548,7 +1552,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1588,7 +1592,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1651,7 +1655,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1712,7 +1716,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -1774,7 +1778,7 @@ module ItsCam_TpFunctions {
                    
                    
                    // Test control
                    // Test control
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                    if (not PICS_CAM_GENERATION or PICS_RSU) {
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION and not PICS_RSU required for executing the TC ***");
                        log("*** " & testcasename() & ": PICS_CAM_GENERATION AND NOT PICS_RSU required for executing the TC ***");
                        setverdict(inconc);
                        setverdict(inconc);
                        stop;
                        stop;
                    }              
                    }              
@@ -2589,7 +2593,7 @@ module ItsCam_TpFunctions {
                // Test Body
                // Test Body
                v_expectedReferencePosition := f_computePositionUsingDistance(v_referencePosition, v_changePosValue);
                v_expectedReferencePosition := f_computePositionUsingDistance(v_referencePosition, v_changePosValue);
                
                
                if (PICS_GNSS_SCENARIO_SUPPORT == false) {
                if (PX_GNSS_SCENARIO_SUPPORT == false) {
                f_utChangePosition ( valueof ( UtChangePosition: {
                f_utChangePosition ( valueof ( UtChangePosition: {
                                latitude := v_expectedReferencePosition.latitude - v_referencePosition.latitude,
                                latitude := v_expectedReferencePosition.latitude - v_referencePosition.latitude,
                                longitude := v_expectedReferencePosition.longitude - v_referencePosition.longitude,
                                longitude := v_expectedReferencePosition.longitude - v_referencePosition.longitude,
Loading