Newer
Older
* @author ETSI / STF405 / STF449
* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/trunk/ttcn/LibIts_TestSystem.ttcn $
* $Id: LibIts_TestSystem.ttcn 408 2012-02-28 13:49:56Z garciay $
* @desc Test System module for ITS GeoNetworking
*
*/
module LibItsGeoNetworking_TestSystem {
// LibCommon
import from LibCommon_Time {modulepar all};
import from LibCommon_Sync all;
import from LibCommon_BasicTypesAndValues {
import from LibItsCommon_TypesAndValues all;
import from LibItsGeoNetworking_Functions all;
/**
* @desc Adapter control port
*/
type port AdapterControlPort message {
AcGnResponse, AcGn6Response;
} // end AdapterControlPort
/**
* @desc Upper Tester port
*/
type port UpperTesterPort message {
UtInitialize, UtChangePosition, UtGnTrigger;
UtInitializeResult, UtChangePositionResult, UtGnTriggerResult, UtGnEventInd;
} // end UpperTesterPort
} // end portDefinitions
group networkAndTransportPorts {
group nt2Ports {
*/
type port GeoNetworkingPort message {
in GeoNetworkingInd;
out GeoNetworkingReq;
} // end GeoNetworkingPort
} // End of group nt2Ports
} // End of group networkAndTransportPorts
} // End of group interfacePorts
group componentDefinitions {
*/
type component ItsMtc extends ItsBaseMtc, ServerSyncComp {
var ComponentTable vc_componentTable := {};
/**
* @desc ITS System Adapter
*/
type component ItsGeoNetworkingSystem {
port UpperTesterPort utPort;
port AdapterControlPort acPort;
// NT2 ports
port GeoNetworkingPort geoNetworkingPort;
} // end ItsGeoNetworkingSystem
} // End of group componentDefinitions
type component ItsBaseGeoNetworking extends ItsBaseComponent {
/**
* @desc Test component for ITS Network and Transport layer
*/
type component ItsGeoNetworking extends ItsBaseGeoNetworking {
// NT2 ports
port GeoNetworkingPort geoNetworkingPort;
//variables for Gn
var UInt16 vc_localSeqNumber := f_getInitialSequenceNumber();
var PositionTable vc_positionTable := {};
var GeoAreaTable vc_areaTable := {};
var charstring vc_componentName := "";
var default vc_neighbourDefault;
var integer vc_multipleMessagesCount := f_getMessageCount();
// UT indications
var UtGnEventIndList vc_utInds := {};
GeoNetworkingPdu msgIn,
MacAddress macDestinationAddress
GeoNetworkingPdu msgOut,
MacAddress macDestinationAddress
group misc {
type record ComponentEntry {
charstring componentName,
ItsGeoNetworking gnComponent optional
}
type record of ComponentEntry ComponentTable;
} // end misc