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
/**
* @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,
Bit128 ssp optional,
UInt32 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,
Bit128 ssp optional,
UInt32 its_aid optional
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
}
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