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 / STF517
* @version $URL$
* $Id$
* @desc Test System module for ITS SREM SSEM
*
*/
module LibItsSremSsem_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 SREM_PDU_Descriptions language "ASN.1:1997" all;
import from SSEM_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;
// LibItsSremSsem
import from LibItsSremSsem_TypesAndValues all;
group portDefinitions {
/**
* @desc Upper Tester port
*/
type port UpperTesterPort message {
out
UtInitialize, UtSremSsemTrigger;
in
UtInitializeResult, UtSremSsemTriggerResult, UtSremEventInd , UtSsemEventInd;
} // end UpperTesterPort
} // end portDefinitions
group interfacePorts {
/**
* @desc Application MapSpat Port
*/
type port SremSsemPort message { in SremInd , SsemInd ; out SremReq , SsemReq }
} // End of group interfacePorts
/**
* @desc ITS System Adapter
*/
type component ItsSremSsemSystem {
port UpperTesterPort utPort;
port SremSsemPort sremSsemPort;
} // End of component ITS System Adapter
/**
* @desc Test component for ITS SREM-SSEM application layer
*/
type component ItsSremSsem extends ItsBaseComponent {
port UpperTesterPort utPort;
port SremSsemPort sremSsemPort;
//timers
//component variables
var SremInd vc_mapMsg;
var SsemInd vc_spatMsg;
var UtSremEventIndList vc_utSremEvents := {};
var UtSsemEventIndList vc_utSsemEvents := {};
//default
var default vc_default := null;
//global variables
var boolean vc_sremReceived := false;
var boolean vc_ssemReceived := false;
} // End of component ItsSremSsem
group ApplPrimitives {
type record SremInd {
SREM 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) "LibItsSremSsem_asn1"
}
type record SsemInd {
SSEM 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) "LibItsSremSsem_asn1"
}
/**
* @desc Appl SREM and SSEM Request Primitive
*/
type record SremReq {
SREM msgOut
}
with {
encode (msgOut) "LibItsSremSsem_asn1"
}
type record SsemReq {
SSEM msgOut
}
with {
encode (msgOut) "LibItsSremSsem_asn1"
}
} with {
encode "LibIts_Interface"
} // End of group ApplPrimitives
} // End of module LibItsSremSsem_TestSystem