Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
/**
* @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 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 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,
Oct16 ssp optional,
Oct16 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,
Oct16 ssp optional,
Oct16 its_aid optional
}
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