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
/**
* @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 BTP
*
*/
module LibItsBtp_TestSystem {
// LibCommon
import from LibCommon_Time {modulepar all};
import from LibCommon_Sync all;
// LibIts
import from LibItsCommon_TestSystem all;
import from LibItsBtp_TypesAndValues all;
group portDefinitions {
/**
* @desc Upper Tester port
*/
type port UpperTesterPort message {
out
UtInitialize, UtTrigger, UtCheck;
in
UtResult;
} // end UpperTesterPort
} // end portDefinitions
group interfacePorts {
group networkAndTransportPorts {
group nt1Ports {
/**
* @desc NT1 BTP Port (BTP/GeoNet/G5)
*/
type port BtpPort message {
in BtpInd;
out BtpReq;
} // end BtpPort
} // End of group nt1Ports
} // End of group networkAndTransportPorts
} // End of group interfacePorts
group componentDefinitions {
/**
* @desc ITS System Adapter
*/
type component ItsBtpSystem {
port UpperTesterPort utPort;
// NT1 ports
port BtpPort btpPort;
} // end component ItsAdapter
} // End of group componentDefinitions
/**
* @desc Test component for ITS Network and Transport layer
*/
type component ItsBtp extends ItsBaseComponent {
port UpperTesterPort utPort;
// NT1 ports
port BtpPort btpPort;
// timers
} // End of component ItsBtp
group networkAndTransportPrimitives {
group nt1Primitives {
/**
* @desc NT1 BTP Indication Primitive
*/
type record BtpInd {
BtpPacket msgIn
}
/**
* @desc NT1 BTP Request Primitive
*/
type record BtpReq {
BtpPacket msgOut
}
} // end nt1Primitives
} // End of group networkAndTransportPrimitives
with {
encode "LibIts_Interface"
} // end interfacePrimitives
} // End of module LibItsBtp_TestSystem