/** * @author ETSI / STF405 * @version $URL$ * $Id$ * @desc Module containing common functions for ITS * */ module LibItsCam_Functions { // LibIts import from LibIts_TestSystem all; import from LibIts_Interface all; import from LibItsCam_Templates all; import from LibItsCam_Pixits all; import from LibItsCam_TypesAndValues all; import from LibItsCommon_Functions all; import from CAM_PDU_Descriptions language "ASN.1:1997" all; import from DENM_PDU_Descriptions language "ASN.1:1997" all; // LibCommon import from LibCommon_VerdictControl all; group defaults { /** * @desc basic default behaviour handling * @remark none * @param none */ altstep a_basicDefault() runs on ItsFa { [] camPort.receive(mw_camInd ( mw_camMsg_any )){ setverdict(fail, "*** a_basicDefault: FAIL: CAM message received in default ***"); stop; } [] camPort.receive { setverdict(fail, "*** a_basicDefault: FAIL: event received on CAM port in default ***"); stop; } [] any timer.timeout { setverdict(fail, "*** a_basicDefault: FAIL: a timer expired in default ***"); stop; } }//end altstep a_basicDefault } // end of defaults group preambles { /** * @desc Initialize the IUT * @remark No specific actions specified in the base standard */ function f_initialState() runs on ItsFa { // basic default altstep activate(a_basicDefault()); } // end f_initialState } // end of preambles group postambles { /** * @desc Global postamble - stops the MTC * @remark No specific actions required so far * @param none */ function f_postamble() runs on ItsFa { log("*** f_postamble: INFO: postamble ***"); } // end function f_postamble } // end group postambles group otherFunctions { /** @desc function to generate a random bitstring value * corresponding to 1 bit position set to 1 (eg '00010000', '01000000', ...) * * @see f_random * @param p_length bitstring length - max 15
* @return bitstring
* */ function f_bitPositionRandom( in integer p_length ) return bitstring { //Variables var bitstring v_random := '00000000'B; v_random := '000000000000001'B << f_random (0, p_length); log("*** f_bitPositionRandom: INFO: OK - random value = " & bit2str(v_random) & " ***"); return v_random; } // end function f_bitPositionRandom } // end group otherFunctions group upperTester { /** * @desc Triggers event from the application layer * @param p_event The event to trigger. * @return */ function f_utTriggerEvent(template (value) UtCamEvent p_event) runs on ItsFa return FncRetCode { var FncRetCode v_ret := e_success; var template (value) UtCamTrigger v_utMsg := { p_event }; utPort.send(v_utMsg); return v_ret; } /** * @desc Checks that the event was indicated at the application layer * @param p_event The event to check. * @return */ function f_utCheckEvent(template (value) CamPdu p_event) runs on ItsFa return FncRetCode { var FncRetCode v_ret := e_success; var template (value) UtCamCheck v_utMsg := { p_event }; utPort.send(v_utMsg); tc_ac.start; alt { [] utPort.receive(UtCamResult:true) { setverdict (pass, "Event correctly indicated at application layer"); v_ret := e_success; } [] utPort.receive { setverdict (fail, "Event not correctly indicated at application layer"); v_ret := e_error; } [] tc_ac.timeout { setverdict (inconc, "Timeout while waiting for event check result"); v_ret := e_timeout; } } return v_ret; } } // end group upperTester group externalFunctions { /** * @desc function to get the PT Line Description * currently return the PIXIT value * @see PX_PTLINE_COURSE, PX_PTLINE_REF, PX_PTLINE_ROUTE * */ function f_getPtLineDescription() return PTLineDescription { //Variables var PTLineDescription v_ptLineDescription := { "a", "b", "c" }; v_ptLineDescription := { PX_PTLINE_COURSE, PX_PTLINE_REF, PX_PTLINE_ROUTE }; // PIXIT used! log("*** f_getPtLineDescription: INFO: OK ***"); return v_ptLineDescription ; } // end function f_getPtLineDescription /** * @desc get the stationCharacteristics of the tester * @return CoopAwareness.stationCharacteristics
*/ external function fx_getStationCharacteristics() return CoopAwareness.stationCharacteristics; /** * @desc Wrapper function for fx_getStationCharacteristics * * @see fx_getStationCharacteristics * */ function f_getStationCharacteristics() return CoopAwareness.stationCharacteristics { //Variables var CoopAwareness.stationCharacteristics v_stationCharacteristics := { true, true, true }; v_stationCharacteristics := fx_getStationCharacteristics(); log("*** f_getStationCharacteristics: INFO: OK - stationCharacteristics received ***"); return v_stationCharacteristics ; } // end function f_getStationCharacteristics } // end group externalFunctions } // end LibItsCam_Functions