Newer
Older
// LibIts
import from LibIts_TestSystem all;
import from LibIts_Interface all;
import from LibItsCam_Pixits all;
import from LibItsCam_TypesAndValues all;
import from LibItsCommon_Functions all;
import from DENM_PDU_Descriptions language "ASN.1:1997" 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 ***");
[] camPort.receive {
setverdict(fail, "*** a_basicDefault: FAIL: event received on CAM port in default ***");
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
* @param none
*/
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 ***");
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<br>
* @return bitstring<br>
*
*/
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) & " ***");
} // end function f_bitPositionRandom
group upperTester {
/** @desc upper tester function to change current heading (absolute)
*
* @param p_heading<br>
* @return FncRetCode<br>
*/
function f_changeHeading( Direction p_heading ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_changeHeading
/** @desc upper tester function to change current position (meter)
*
* @param p_position<br>
* @return FncRetCode<br>
*/
function f_changePosition( integer p_position ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_changePosition
/** @desc upper tester function to change speed (m/S)
*
* @param p_speed<br>
* @return FncRetCode<br>
*/
function f_changeSpeed( Speed p_speed ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_changeSpeed
/** @desc upper tester function to set the crash signal (activated/deactivated)
*
* @param p_crashStatus<br>
* @return FncRetCode<br>
*/
function f_setCrashSignal( CrashStatus p_crashStatus ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setCrashSignal
/** @desc upper tester function to set the dangerous goods status (Good type)
* p_goodType = 0 if no dangerous goods are transported
* @param p_goodType<br>
* @return FncRetCode<br>
*/
function f_setDangerousGoodsStatus( DangerousGoods p_goodType ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setDangerousGoodsStatus
/**
* @desc upper tester function to set if the Length/Width is precisely determined
* p_precision = true if the Length/Width is precisely determined
* @param p_precision<br>
* @return FncRetCode<br>
*/
function f_setLengthWidthPrecision( boolean p_precision ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setLengthWidthPrecision
/**
* @desc upper tester function to set the doors status
* @param p_doorStatus<br>
* @return FncRetCode<br>
*/
function f_setDoorStatus( DoorOpen p_doorStatus ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setDoorStatus
/** @desc upper tester function to set the distance to stop line
*
* @param p_distance<br>
* @return FncRetCode<br>
*/
function f_setDistanceToStopLine( Distance p_distance ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setDistanceToStopLine
/** @desc upper tester function to set the turn advice
*
* @param p_turnAdvice<br>
* @return FncRetCode<br>
*/
function f_setTurnAdvice( TurnAdvice p_turnAdvice ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setTurnAdvice
/** @desc upper tester function to set the curvature change
*
* @param p_curvature<br>
* @return FncRetCode<br>
*/
function f_setCurvatureChange( Curvature p_curvature ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setCurvatureChange
/** @desc upper tester function to set the Occupancy
*
* @param p_occupancy<br>
* @return FncRetCode<br>
*/
function f_setOccupancy( Occupancy p_occupancy ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setOccupancy
/** @desc upper tester function to set the light bar status
*
* @param p_status<br>
* @return FncRetCode<br>
*/
function f_setLightBarStatus( SimpleSystemState p_status ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setLightBarStatus
/** @desc upper tester function to set the sirene status
*
* @param p_status<br>
* @return FncRetCode<br>
*/
function f_setSireneStatus( SimpleSystemState p_status ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setSireneStatus
/** @desc upper tester function to set the traffic light priority
*
* @param p_priority<br>
* @return FncRetCode<br>
*/
function f_setTrafficLightPriority( Priority p_priority ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setTrafficLightPriority
/**
* @desc upper tester function to set the Schedule Deviation
* @param p_scheduleDeviation<br>
* @return FncRetCode<br>
*/
function f_setScheduleDeviation( ScheduleDeviation p_scheduleDeviation ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setScheduleDeviation
/**
* @desc upper tester function to set the PT Line Description
function f_setPtLineDescription( PTLineDescription p_ptLineDescription ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
/**
* @desc upper tester function to set the exterior lights status
* @param p_exteriorLightsStatus<br>
* @return FncRetCode<br>
*/
function f_setExteriorLightsStatus( ExteriorLights p_exteriorLightsStatus ) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_setExteriorLightsStatus
/**
* @desc upper tester function to change the reference position (moving)
* @param none<br>
* @return FncRetCode<br>
*/
function f_changeReferencePosition() runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_changeReferencePosition
/**
* @desc upper tester function to check that the CAM was received on LDM
* @param p_camMsg<br>
* p_received<br>
* @return FncRetCode<br>
*/
function f_checkLdmReceipt( in CamReq p_camMsg, out boolean p_received) runs on ItsFa return FncRetCode {
//Variables
var FncRetCode v_ret := e_success;
//TODO define external function
return v_ret;
} // end function f_checkLdmReceipt
group externalFunctions {
/**
* @desc Generate a timestamp of the cureent time to be used in a generationTime field
* @return TimeStamp<br>
*/
external function fx_generateTime()
return TimeStamp;
*
* @see xf_generateTime
*
*/
function f_generateTime()
return TimeStamp {
//Variables
var TimeStamp v_generationTime:=0;
v_generationTime := fx_generateTime();
if (v_generationTime!=0)
{
log("*** f_generateTime: INFO: OK - generationTime = " & int2str(v_generationTime) & " ***");
log("*** f_generateTime: ERROR: timestamp could not be generated ***");
/** @desc function to get the PT Line Description
* currently return the PIXIT value
* @see PX_PTLINE_COURSE, PX_PTLINE_REF, PX_PTLINE_ROUTE
*
*/
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 ;
/** @desc function to get the stationID
* currently return the PIXIT value
* @see PX_TESTER_STATION_ID
*
*/
v_stationId := PX_TESTER_STATION_ID; // PIXIT used!
log("*** f_getStationId: INFO: OK - stationId = " & int2str(v_stationId) & " ***");
return v_stationId ;
/**
* @desc get the stationCharacteristics of the tester
* @return CoopAwareness.stationCharacteristics<br>
*/
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
/**
* @desc get the ReferencePosition of the tester
* @return ReferencePosition<br>
*/
external function fx_getReferencePosition()
return ReferencePosition;
/** @desc Wrapper function for fx_getReferencePosition
*
* @see fx_getReferencePosition
*
*/
function f_getReferencePosition()
return ReferencePosition {
//Variables
var ReferencePosition v_referencePosition;
v_referencePosition := fx_getReferencePosition();
log("*** f_getReferencePosition: INFO: OK - referencePosition received ***");
return v_referencePosition ;
} // end function f_getReferencePosition