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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
/**
* @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
125
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
}
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