Newer
Older
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
* @desc Test System module for ITS Ipv6OverGeoNetworking
*
*/
module LibItsIpv6OverGeoNetworking_TestSystem {
// LibCommon
import from LibCommon_Time {modulepar all};
import from LibCommon_Sync all;
// LibIts
import from LibItsGeoNetworking_TestSystem all;
import from LibItsIpv6OverGeoNetworking_TypesAndValues all;
import from LibItsExternal_TypesAndValues all;
group componentDefinitions {
/**
* @desc ITS System Adapter
*/
type component ItsIpv6OverGeoNetworkingSystem extends ItsGeoNetworkingSystem {
// NT2 ports
port IPv6OverGeoNetworkingPort ipv6OverGeoNetworkingPort;
} // end component ItsAdapter
} // End of group componentDefinitions
group interfacePorts {
group networkAndTransportPorts {
group nt2Ports {
/**
* @desc NT2 IPv6 over GeoNetworking Port (IPv6/GeoNetworking/G5)
*/
type port IPv6OverGeoNetworkingPort message {
in IPv6OverGeoNetworkingInd;
out IPv6OverGeoNetworkingReq;
} // end IPv6OverGeoNetworkingPort
} // End of group nt2Ports
} // End of group networkAndTransportPorts
} // End of group interfacePorts
/**
* @desc Test component for ITS Network and Transport layer
*/
type component ItsIpv6OverGeoNetworking extends ItsGeoNetworking {
// NT2 ports
port IPv6OverGeoNetworkingPort ipv6OverGeoNetworkingPort;
// timers
//variables for Gn6
var GvlTable vc_gvlTable := {};
var AddressTable vc_addressTable := {};
} // End of component Ipv6OverGeoNetworking
group networkAndTransportPrimitives {
group nt2Primitives {
/**
* @desc NT2 IPv6 over GeoNetworking Indication Primitive
*/
type record IPv6OverGeoNetworkingInd {
charstring interface,
MacAddress macSourceAddress,
MacAddress macDestinationAddress,
Ipv6Packet ipv6Packet
}
/**
* @desc NT2 IPv6 over GeoNetworking Request Primitive
*/
type record IPv6OverGeoNetworkingReq {
charstring interface,
MacAddress macSourceAddress,
MacAddress macDestinationAddress,
Ipv6Packet ipv6Packet
}
} // end nt2Primitives
} // End of group networkAndTransportPrimitives
with {
encode "LibIts_Interface"
} // end interfacePrimitives
} // End of module LibItsIpv6OverGeoNetworking_TestSystem