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
140
141
142
143
144
145
/**
* @author ETSI / STF405
* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/trunk/ttcn/LibIts_TestSystem.ttcn $
* $Id: LibIts_TestSystem.ttcn 408 2012-02-28 13:49:56Z garciay $
* @desc Test System module for ITS GeoNetworking
*
*/
module LibItsGeoNetworking_TestSystem {
// LibCommon
import from LibCommon_Time {modulepar all};
import from LibCommon_Sync all;
import from LibCommon_BasicTypesAndValues {
type UInt16
};
// LibIts
import from LibItsCommon_TestSystem all;
import from LibItsGeoNetworking_TypesAndValues all;
import from LibItsIpv6OverGeoNetworking_TypesAndValues all;
import from LibItsExternal_TypesAndValues all;
group portDefinitions {
/**
* @desc Adapter control port
*/
type port AdapterControlPort message {
out
AcGnPrimitive, AcGn6Primitive;
in
AcGnResponse, AcGn6Response;
} // end AdapterControlPort
/**
* @desc Upper Tester port
*/
type port UpperTesterPort message {
out
UtInitialize, UtTrigger, UtCheck;
in
UtResult;
} // end UpperTesterPort
} // end portDefinitions
group interfacePorts {
group networkAndTransportPorts {
group nt2Ports {
/**
* @desc NT2 GeoNetworking Port (GeoNetworking/G5)
*/
type port GeoNetworkingPort message {
in GeoNetworkingInd;
out GeoNetworkingReq;
} // end GeoNetworkingPort
} // End of group nt2Ports
} // End of group networkAndTransportPorts
} // End of group interfacePorts
group componentDefinitions {
/**
* @desc ITS Main Test Component
*/
type component ItsMtc extends ItsBaseMtc, ServerSyncComp {
port UpperTesterPort utPort;
port AdapterControlPort acPort;
} // end ItsMtc
/**
* @desc ITS System Adapter
*/
type component ItsGeoNetworkingSystem {
port UpperTesterPort utPort;
port AdapterControlPort acPort;
// NT2 ports
port GeoNetworkingPort geoNetworkingPort;
} // end ItsGeoNetworkingSystem
} // End of group componentDefinitions
type component ItsBaseGeoNetworking extends ItsBaseComponent {
port UpperTesterPort utPort;
port AdapterControlPort acPort;
}
/**
* @desc Test component for ITS Network and Transport layer
*/
type component ItsGeoNetworking extends ItsBaseGeoNetworking {
// NT2 ports
port GeoNetworkingPort geoNetworkingPort;
//variables for Gn
var UInt16 vc_localSeqNumber := 0;
var PositionTable vc_positionTable := {};
var GeoAreaTable vc_areaTable := {};
var charstring vc_componentName := "";
var default vc_neighbourDefault;
} // End of component ItsGeoNetworking
group networkAndTransportPrimitives {
group nt2Primitives {
/**
* @desc NT2 GeoNetworking Indication Primitive
*/
type record GeoNetworkingInd {
GeoNetworkingPacket msgIn,
MacAddress macDestinationAddress
}
/**
* @desc NT2 GeoNetworking Request Primitive
*/
type record GeoNetworkingReq {
GeoNetworkingPacket msgOut,
MacAddress macDestinationAddress
}
} // end nt2Primitives
} // End of group networkAndTransportPrimitives
with {
encode "LibIts_Interface"
} // end interfacePrimitives
} // End of module LibItsGeoNetworking_TestSystem