ItsCam_TestCases.ttcn

                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .daytimeRunningLightsOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-24
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_24() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    f_CAM_MSD_INA_BV_01( 
                        "Daytime running lights being activated", 
                        { m_setExteriorLightsStatus(c_daytimeRunningLightsOn) },
                        { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_daytimeRunningLightsOn)) }
                    );
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_24
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_LOWFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Daytime running lights being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .daytimeRunningLightsOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-25
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_25() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    f_CAM_MSD_INA_BV_01(
                        "Daytime running lights being deactivated", 
                        { m_setExteriorLightsStatus(c_daytimeRunningLightsOn), m_setExteriorLightsStatus(c_elAllLightsOff) },
                        { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_daytimeRunningLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_daytimeRunningLightsOff)) }
                    );
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_25
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_LOWFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Reverse light being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .reverseLightOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-26
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_26() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    f_CAM_MSD_INA_BV_01(
                        "Reverse light being activated", 
                        { m_setExteriorLightsStatus(c_reverseLightOn) },
                        { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_reverseLightOn)) }
                    );
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_26
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_LOWFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Reverse light being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .reverseLightOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-27
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_27() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    f_CAM_MSD_INA_BV_01(
                        "Reverese light being deactivated", 
                        { m_setExteriorLightsStatus(c_reverseLightOn), m_setExteriorLightsStatus(c_elAllLightsOff) },
                        { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_reverseLightOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_reverseLightOff)) }
                    );
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_27
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_LOWFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Fog lights being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .fogLightOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-28
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_28() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    f_CAM_MSD_INA_BV_01(
                        "Fog lights being activated", 
                        { m_setExteriorLightsStatus(c_fogLightOn) },
                        { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_fogLightOn)) }
                    );
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_28
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_LOWFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Fog lights being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .fogLightOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-29
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_29() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    f_CAM_MSD_INA_BV_01(
                        "Fog lights being deactivated", 
                        { m_setExteriorLightsStatus(c_fogLightOn), m_setExteriorLightsStatus(c_elAllLightsOff) },
                        { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_fogLightOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_fogLightOff)) }
                    );
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_29
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_LOWFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Parking lights being activated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .parkingLightsOn
                 *     VALUE: 1
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-30
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_30() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    f_CAM_MSD_INA_BV_01(
                        "Parking lights being activated", 
                        { m_setExteriorLightsStatus(c_parkingLightsOn) },
                        { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_parkingLightsOn)) }
                    );
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_30
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_LOWFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Parking lights being deactivated
                 *     FIELD: lowFrequencyContainer
                 *                .basicVehicleContainerLowFrequency
                 *                .exteriorLights
                 *                .parkingLightsOn
                 *     VALUE: 0
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-31
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_31() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    f_CAM_MSD_INA_BV_01(
                        "Parking lights being deactivated", 
                        { m_setExteriorLightsStatus(c_parkingLightsOn), m_setExteriorLightsStatus(c_elAllLightsOff) },
                        { mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_parkingLightsOn)), mw_camMsg_LF_BV(mw_LF_BV_extLights(mw_parkingLightsOff)) }
                    );
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_31
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_HIGHFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Heading value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .heading
                 *     VALUE: measured value
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-32
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_32() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    var CamInd v_camInd;
                    var template (present) HeadingValue v_headingVal := ?;
                    var boolean v_initialReceived := false;
                    const HeadingValue c_headingValOffset := 1;
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    log("*** " & testcasename() & ": Checking INFO==Heading value ***");
                    
                    // change the heading value to retrieve the current value
                    f_utTriggerEvent(m_changeHeading(c_headingValOffset));
                    
                    tc_ac.start;
                    alt {
                        [] camPort.receive( mw_camInd ( mw_camMsg_HF_BV(mw_HF_BV_heading(v_headingVal)) )) -> value v_camInd {
                            tc_ac.stop;
                            if (v_initialReceived) {
                                log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
                                f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);  
                            }
                            else {
                                log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
                                v_initialReceived := true;
                                //change again the heading value and set the expectation to the measured value
                                v_headingVal := (v_camInd.msgIn.cam.camParameters.highFrequencyContainer.basicVehicleContainerHighFrequency.heading.headingValue+c_headingValOffset) mod 3601;
                                f_utTriggerEvent(m_changeHeading(c_headingValOffset));
                                tc_ac.start;
                                repeat;
                            }
                        }
                        [] tc_ac.timeout {
                            log("*** " & testcasename() & ": INCONC: CAM message not received ***");
                            f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
                        }
                    }
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_32
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_HIGHFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Speed value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .speed
                 *     VALUE: measured value
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-33
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_33() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    var CamInd v_camInd;
                    var template (present) SpeedValue v_speedVal := ?;
                    var boolean v_initialReceived := false;
                    const SpeedValue c_speedValOffset := 1;
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    log("*** " & testcasename() & ": Checking INFO==Speed value ***");
                    
                    // change the speed value to retrieve the current value
                    f_utTriggerEvent(m_changeSpeed(c_speedValOffset));
                    
                    tc_ac.start;
                    alt {
                        [] camPort.receive( mw_camInd ( mw_camMsg_HF_BV(mw_HF_BV_speed(v_speedVal)) )) -> value v_camInd {
                            tc_ac.stop;
                            if (v_initialReceived) {
                                log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
                                f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);  
                            }
                            else {
                                log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
                                v_initialReceived := true;
                                //change again the speed value and set the expectation to the measured value
                                v_speedVal := (v_camInd.msgIn.cam.camParameters.highFrequencyContainer.basicVehicleContainerHighFrequency.speed.speedValue+c_speedValOffset) mod 16384;
                                f_utTriggerEvent(m_changeSpeed(c_speedValOffset));
                                tc_ac.start;
                                repeat;
                            }
                        }
                        [] tc_ac.timeout {
                            log("*** " & testcasename() & ": INCONC: CAM message not received ***");
                            f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
                        }
                    }
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_33
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_HIGHFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Drive direction value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .driveDirection
                 *     VALUE: measured value
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-34
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_34() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    var CamInd v_camInd;
                    var DriveDirection v_driveVal := backward;
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    log("*** " & testcasename() & ": Checking INFO==Drive direction value ***");
                    
                    // change the drive direction
                    f_utTriggerEvent(m_setDriveDirection(v_driveVal));
                    
                    tc_ac.start;
                    alt {
                        [] camPort.receive( mw_camInd ( mw_camMsg_HF_BV(mw_HF_BV_driveDirection(v_driveVal)) )) -> value v_camInd {
                            tc_ac.stop;
                            if (v_driveVal==forward) {
                                log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
                                f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);  
                            }
                            else {
                                log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
                                //change again the drive direction and set the expectation to the measured value
                                v_driveVal := forward;
                                f_utTriggerEvent(m_setDriveDirection(v_driveVal));
                                tc_ac.start;
                                repeat;
                            }
                        }
                        [] tc_ac.timeout {
                            log("*** " & testcasename() & ": INCONC: CAM message not received ***");
                            f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
                        }
                    }
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_34
                
                /**
                 * @desc Check that latest value of in-vehicle data is included 
                 *       in CAM.
                 * <pre>
                 * Pics Selection: PICS_HIGHFREQUENCYCONTAINER
                 * Initial conditions: 
                 *     with {
                 *         the IUT being in the "initial state
                 *     }
                 *     INFO: Yaw rate value
                 *     FIELD: highFrequencyContainer
                 *                .basicVehicleContainerHighFrequency
                 *                .yawRate
                 *     VALUE: measured value
                 * 
                 * Expected behaviour:
                 *     ensure that {
                 *         when {
                 *             the IUT is alerted about INFO
                 *         }
                 *         then {
                 *             the IUT sends a valid CAM
                 *                 containing cam
                 *                     containing camParameters
                 *                         containing FIELD set to VALUE
                 *         }
                 *     }
                 * </pre>
                 * 
                 * @version   0.0.2
                 * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-01-35
                 * @reference ETSI EN 302 637-2 , clause 5.2
                 */
                testcase TC_CAM_MSD_INA_BV_01_35() runs on ItsCam system ItsCamSystem {
                    
                    // Local variables
                    var CamInd v_camInd;
                    var template (present) YawRateValue v_yawRateVal := ?;
                    var boolean v_initialReceived := false;
                    const YawRateValue c_yawRateValOffset := 1;
                    
                    // Test control
                    
                    // Test component configuration
                    f_cfUp();
                    
                    // Test adapter configuration
                    
                    // Preamble
                    f_prInitialState();
                    f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                    
                    // Test Body
                    log("*** " & testcasename() & ": Checking INFO==Yaw rate value ***");
                    
                    // change the yaw rate value to retrieve the current value
                    f_utTriggerEvent(m_changeYawRate(c_yawRateValOffset));
                    
                    tc_ac.start;
                    alt {
                        [] camPort.receive( mw_camInd ( mw_camMsg_HF_BV(mw_HF_BV_yawRate(v_yawRateVal)) )) -> value v_camInd {
                            tc_ac.stop;
                            if (v_initialReceived) {
                                log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
                                f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); 
                            }
                            else {
                                log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
                                v_initialReceived := true;
                                //change again the yaw rate value and set the expectation to the measured value
                               v_yawRateVal := v_camInd.msgIn.cam.camParameters.highFrequencyContainer.basicVehicleContainerHighFrequency.yawRate.yawRateValue;
                                if (valueof(v_yawRateVal)>=32767) {
                                    v_yawRateVal := -32766;
                                }
                                else {
                                    v_yawRateVal := v_camInd.msgIn.cam.camParameters.highFrequencyContainer.basicVehicleContainerHighFrequency.yawRate.yawRateValue+c_yawRateValOffset;
                                }
                                f_utTriggerEvent(m_changeYawRate(c_yawRateValOffset));
                                tc_ac.start;
                                repeat;
                            }
                        }
                        [] tc_ac.timeout {
                            log("*** " & testcasename() & ": INCONC: CAM message not received ***");
                            f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
                        }
                    }
                    
                    // Postamble
                    f_poDefault();
                    f_cfDown();
                    
                } // end TC_CAM_MSD_INA_BV_01_35
                
            } // end group camInVehicleData
            
            /**
             * @desc Check that publicTransportContainer is included if 
             *       vehicleRole is set to publicTransport(1).
             * <pre>
             * Pics Selection: PICS_PUBLICTRANS
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to publicTransport(1)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing publicTransportContainer
             *         }
             *     }
             * </pre>
             * 
             * @version   0.0.2
             * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-02
             * @reference ETSI EN 302 637-2 , Annex B.11
             */
            testcase TC_CAM_MSD_INA_BV_02() runs on ItsCam system ItsCamSystem {
                
                // Local variables
                
                // Test control
                if (not PICS_SPECIALVEHICLECONTAINER and not PICS_PUBLICTRANS) {
                    testcase.stop(testcasename() 
                        & ": PICS_SPECIALVEHICLECONTAINER and PICS_PUBLICTRANS need to be set to true");
                }
                
                // Test component configuration
                f_cfUp();
                
                // Test adapter configuration
                
                // Preamble
                f_prInitialState();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Set vehicle role
                f_utTriggerEvent(m_setVehicleRole(c_vehicleRole_publicTransport));
                
                // Test Body
                log("*** " & testcasename() & ": Expected template: ", mw_camInd ( mw_camMsg_SVC( mw_publicTransport_any )), " ***");
                tc_ac.start;
                alt {
                    [] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_publicTransport_any ))){ 
                        tc_ac.stop;
                        log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
                        f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);  
                    }
                    [] tc_ac.timeout {
                        log("*** " & testcasename() & ": INCONC: CAM message not received ***");
                        f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
                    }
                }
                
                // Postamble
                f_poDefault();
                f_cfDown();
                
            } // end TC_CAM_MSD_INA_BV_02
            
            /**
             * @desc Check that specialTransportContainer is included if 
             *       vehicleRole is set to specialTransport(2).
             * <pre>
             * Pics Selection: PICS_SPECIALTRANS
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to specialTransport(2)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated
             *         }
             *         then {
             *             the IUT sends a valid CAM
             *                 containing cam
             *                     containing camParameters
             *                         containing specialVehicleContainer
             *                             containing specialTransportContainer
             *         }
             *     }
             * </pre>
             * 
             * @version   0.0.2
             * @see       ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/INA/BV-03
             * @reference ETSI EN 302 637-2 , Annex B.12
             */
            testcase TC_CAM_MSD_INA_BV_03() runs on ItsCam system ItsCamSystem {
                
                // Local variables
                
                // Test control
                if (not PICS_SPECIALVEHICLECONTAINER and not PICS_SPECIALTRANS) {
                    testcase.stop(testcasename() 
                        & ": PICS_SPECIALVEHICLECONTAINER and PICS_SPECIALTRANS need to be set to true");
                }
                
                // Test component configuration
                f_cfUp();
                
                // Test adapter configuration
                
                // Preamble
                f_prInitialState();
                f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
                // Set vehicle role
                f_utTriggerEvent(m_setVehicleRole(c_vehicleRole_specialTransport));
                
                // Test Body
                tc_ac.start;
                alt {
                    [] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_specialTransport_any ))){ 
                        tc_ac.stop;
                        log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
                        f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);  
                    }
                    [] tc_ac.timeout {
                        log("*** " & testcasename() & ": INCONC: CAM message not received ***");
                        f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
                    }
                }
                
                // Postamble
                f_poDefault();
                f_cfDown();
                
            } // end TC_CAM_MSD_INA_BV_03
            
            /**
             * @desc Check that dangerousGoodsContainer is included if 
             *       vehicleRole is set to dangerousGoods(3).
             * <pre>
             * Pics Selection: PICS_DANGEROUSGOODS
             * Initial conditions: 
             *     with {
             *         the IUT being in the "initial state"
             *         the IUT’s vehicle role being set to dangerousGoods(3)
             *     }
             * Expected behaviour:
             *     ensure that {
             *         when {
             *             a CAM is generated