Commit 221c30ee authored by berge's avatar berge
Browse files

Added TC_DEN_KAFW_BV_10

parent 1d07feb4
......@@ -95,6 +95,23 @@ module LibItsDenm_Functions {
}
}
/**
* @desc Changes the position of the IUT
* @param p_latitude
* @param p_longitude
* @param p_elevation
*/
function f_utChangePosition(template (value) UtChangePosition p_position) runs on ItsDenm {
utPort.send(p_position);
alt {
[] utPort.receive(UtChangePositionResult:?) {
tc_wait.stop;
}
[] a_utDefault();
}
}
} // End of group utFunctions
group denmConfigurationFunctions {
......
......@@ -105,6 +105,16 @@ module LibItsDenm_Templates {
actionId := p_actionId
}
template (value) UtChangePosition m_utChangePosition(
in template (value) integer p_latitude,
in template (value) integer p_longitude,
in template (value) integer p_elevation := 0
) := {
latitude := p_latitude,
longitude := p_longitude,
elevation := p_elevation
}
} // end utPrimitives
} // end primitives
......
......@@ -25,9 +25,9 @@ module LibItsDenm_TestSystem {
*/
type port UpperTesterPort message {
out
UtInitialize, UtTrigger, UtUpdate, UtTermination;
UtInitialize, UtTrigger, UtUpdate, UtTermination, UtChangePosition;
in
UtInitializeResult, UtTriggerResult, UtUpdateResult, UtTerminationResult, UtEventInd;
UtInitializeResult, UtTriggerResult, UtUpdateResult, UtTerminationResult, UtChangePositionResult, UtEventInd;
} // end UpperTesterPort
} // end portDefinitions
......
......@@ -95,6 +95,16 @@ module LibItsDenm_TypesAndValues {
ActionID actionId
}
type boolean UtTerminationResult;
/**
* @desc Upper Tester message to change the position of IUT. Values a relatives
*/
type record UtChangePosition {
integer latitude,
integer longitude,
integer elevation
}
type boolean UtChangePositionResult;
/**
* @desc Upper Tester message to check event/status on DENM IUT
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment