Newer
Older
/**
* @author ETSI / STF484
* @version $URL$
* $Id$
* @desc Test System module for ITS MAPEM SPATEM
*
*/
module LibItsMapemSpatem_TestSystem {
// LibCommon
import from LibCommon_BasicTypesAndValues all;
import from LibCommon_Time all;
import from LibCommon_Sync all;
import from LibCommon_DataStrings all;
// LibIts
import from ITS_Container language "ASN.1:1997" all;
import from MAPEM_PDU_Descriptions language "ASN.1:1997" all;
import from SPATEM_PDU_Descriptions language "ASN.1:1997" all;
import from EfcDsrcGeneric language "ASN.1:1997" all;
// LibItsCommon
import from LibItsCommon_TestSystem all;
import from LibItsCommon_TypesAndValues all;
// LibItsMapemSpatem
import from LibItsMapemSpatem_TypesAndValues all;
group portDefinitions {
/**
* @desc Adapter control port
*/
type port AdapterControlPort message {
out
AcSecPrimitive;
in
AcSecResponse;
} // end AdapterControlPort
/**
* @desc Upper Tester port
*/
type port UpperTesterPort message {
out
UtInitialize, UtMapemSpatemTrigger;
in
UtInitializeResult, UtMapemSpatemTriggerResult, UtMapemEventInd , UtSpatemEventInd;
} // end UpperTesterPort
} // end portDefinitions
group interfacePorts {
/**
* @desc Application MapSpat Port
*/
type port MapemSpatemPort message { in MapemInd , SpatemInd ; out MapemReq , SpatemReq }
} // End of group interfacePorts
/**
* @desc ITS System Adapter
*/
type component ItsMapemSpatemSystem {
port UpperTesterPort utPort;
port MapemSpatemPort mapemSpatemPort;
} // End of component ITS System Adapter
/**
* @desc Test component for ITS MAPEM-SPATEM application layer
*/
type component ItsMapemSpatem extends ItsBaseComponent {
port AdapterControlPort acPort;
port UpperTesterPort utPort;
port MapemSpatemPort mapemSpatemPort;
//timers
//component variables
var MapemInd vc_mapMsg;
var SpatemInd vc_spatMsg;
var UtMapemEventIndList vc_utMapemEvents := {};
var UtSpatemEventIndList vc_utSpatemEvents := {};
//default
var default vc_default := null;
//global variables
var boolean vc_mapemReceived := false;
var boolean vc_spatemReceived := false;
} // End of component ItsMapemSpatem
group ApplPrimitives {
type record MapemInd {
MAPEM msgIn,
UInt8 gnNextHeader optional,
UInt8 gnHeaderType optional,
UInt8 gnHeaderSubtype optional,
UInt32 gnLifetime optional,
UInt8 gnTrafficClass optional,
UInt16 btpDestinationPort optional,
UInt16 btpInfo optional,
Bit128 ssp optional,
UInt32 its_aid optional
}
with {
encode (msgIn) "LibItsMapemSpatem_asn1"
}
type record SpatemInd {
SPATEM msgIn,
UInt8 gnNextHeader optional,
UInt8 gnHeaderType optional,
UInt8 gnHeaderSubtype optional,
UInt32 gnLifetime optional,
UInt8 gnTrafficClass optional,
UInt16 btpDestinationPort optional,
UInt16 btpInfo optional,
Bit128 ssp optional,
UInt32 its_aid optional
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
}
with {
encode (msgIn) "LibItsMapemSpatem_asn1"
}
/**
* @desc Appl MAPEM and SPATEM Request Primitive
*/
type record MapemReq {
MAPEM msgOut
}
with {
encode (msgOut) "LibItsMapemSpatem_asn1"
}
type record SpatemReq {
SPATEM msgOut
}
with {
encode (msgOut) "LibItsMapemSpatem_asn1"
}
} with {
encode "LibIts_Interface"
} // End of group ApplPrimitives
} // End of module LibItsMapemSpatem_TestSystem