LibItsDenm_TestSystem.ttcn 5.03 KB
Newer Older
reinaortega's avatar
reinaortega committed
1
/**
garciay's avatar
garciay committed
2
 *    @author     ETSI / STF449 / STF484 / STF517
garciay's avatar
garciay committed
3
4
 *    @version     $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/DENM/LibItsDenm_TestSystem.ttcn $
 *                 $Id: LibItsDenm_TestSystem.ttcn 1318 2017-01-26 10:20:53Z filatov $
reinaortega's avatar
reinaortega committed
5
 *    @desc        Test System module for ITS DENM
garciay's avatar
garciay committed
6
7
8
9
 *    @copyright   ETSI Copyright Notification
 *                 No part may be reproduced except as authorized by written permission.
 *                 The copyright and the foregoing restriction extend to reproduction in all media.
 *                 All rights reserved.
reinaortega's avatar
reinaortega committed
10
11
12
13
14
 *
 */
module LibItsDenm_TestSystem {
    
    // LibCommon
filatov's avatar
filatov committed
15
16
//    import from LibCommon_Time {modulepar all};
//    import from LibCommon_Sync all;
17
    import from LibCommon_BasicTypesAndValues all;
18
    import from LibCommon_DataStrings all;
reinaortega's avatar
reinaortega committed
19
20

    // LibIts
garciay's avatar
garciay committed
21
22
23
24
    import from DENM_PDU_Descriptions language "ASN.1:1997" all;    
    import from ITS_Container language "ASN.1:1997" all;
    
    // LibItsCommon
reinaortega's avatar
reinaortega committed
25
    import from LibItsCommon_TestSystem all;
26
    import from LibItsCommon_TypesAndValues all;
reinaortega's avatar
reinaortega committed
27
    
garciay's avatar
garciay committed
28
29
    // LibItsDenm
    import from LibItsDenm_TypesAndValues all;
reinaortega's avatar
reinaortega committed
30
31
32
    
    group portDefinitions {
    
33
34
35
36
37
        /**
         * @desc Adapter control port
         */
        type port AdapterControlPort message {
            out
38
                AcGnssPrimitive, AcSecPrimitive;
39
            in
40
                AdapterControlResults
41
42
        } // end AdapterControlPort
        
reinaortega's avatar
reinaortega committed
43
44
45
46
47
        /**
         * @desc Upper Tester port
         */
        type port UpperTesterPort message {
            out 
garciay's avatar
garciay committed
48
                UtDenmInitialize, UtDenmTrigger, UtDenmUpdate, UtDenmTermination, UtDenmChangePosition, UtDenmChangePseudonym;
reinaortega's avatar
reinaortega committed
49
            in 
garciay's avatar
garciay committed
50
                UtDenmResults, UtDenmEventInd;
reinaortega's avatar
reinaortega committed
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
        } // end UpperTesterPort
        
    } // end portDefinitions
    group interfacePorts {
        
        group facilityPorts {
            
            group fa1Ports {
    
                /**
                 * @desc FA1 DENM Port (DENM/BTP/GeoNet/G5) 
                 */
                type port DenmPort message {
                    in DenmInd;
                    out DenmReq;
                } // End of port DenmPort
                
            } // End of group fa1Ports
            
        } // End of group facilityPorts
    
    } // End of group interfacePorts
        
    group componentDefinitions {

        /**
         * @desc ITS System Adapter
         */
        type component ItsDenmSystem {
            
            port UpperTesterPort utPort;
82
            port AdapterControlPort acPort;
reinaortega's avatar
reinaortega committed
83
84
85
86
87
88
89
90
91
92
93
94
95
            
            // FA1 ports
            port DenmPort denmPort;
            
        } // end component ItsAdapter
        
    } // End of group componentDefinitions
    
    /**
     * @desc Test component for ITS Facility layer 
     */
    type component ItsDenm extends ItsBaseComponent {

96
        port AdapterControlPort acPort;
reinaortega's avatar
reinaortega committed
97
98
99
100
101
102
103
104
105
106
107
108
109
        port UpperTesterPort utPort;

        // FA1 ports
        port DenmPort denmPort;
        
        //timers
        
        //component variables
        
        //default
        var default vc_default := null;
        
        //global variables
tepelmann's avatar
tepelmann committed
110
        var SequenceNumber vc_sequenceNo := 0;
reinaortega's avatar
reinaortega committed
111
112
        var boolean vc_denmReceived := false;
        
113
        var UtDenmEventIndList vc_utEvents := {};
tepelmann's avatar
tepelmann committed
114
        
115
116
        var UtDenmActionIDList vc_utActionIDs := {};
        
garciay's avatar
garciay committed
117
118
119
        var boolean vc_utDefaultActive := true;
        var boolean vc_denmDefaultActive := true;
        
reinaortega's avatar
reinaortega committed
120
121
122
123
124
125
126
127
128
129
130
131
    } // End of component ItsDenm

    group facilityPrimitives {
            
        group fa1Primitives {
            
            /**
             * @desc FA1 DENM Indication Primitive 
             * 
             * @member denmMsg
             */
            type record DenmInd {
132
                DENM        msgIn,
Yann Garcia's avatar
Yann Garcia committed
133
                UInt64      recvTime,
134
135
136
137
138
139
140
                UInt8       gnNextHeader optional,
                UInt8       gnHeaderType optional,
                UInt8       gnHeaderSubtype optional,
                UInt32      gnLifetime optional,
                UInt8       gnTrafficClass optional,
                UInt16      btpDestinationPort optional,
                UInt16      btpInfo optional,
141
                Bit256      ssp optional,
142
                UInt32      its_aid optional
reinaortega's avatar
reinaortega committed
143
144
            }
            with {
filatov's avatar
filatov committed
145
                encode (msgIn) "PER"
reinaortega's avatar
reinaortega committed
146
147
148
149
150
151
152
153
            }
            
            /**
             * @desc FA1 DENM Request Primitive 
             * 
             * @member denmMsg
             */
            type record DenmReq {
tepelmann's avatar
tepelmann committed
154
                DENM msgOut
reinaortega's avatar
reinaortega committed
155
156
            }
            with {
filatov's avatar
filatov committed
157
                encode (msgOut) "PER"
reinaortega's avatar
reinaortega committed
158
159
160
161
162
163
            }
            
        } // End of group fa1Primitives
        
    } // End of group facilityPrimitives
    with {
164
        variant ""
reinaortega's avatar
reinaortega committed
165
166
167
168
        encode "LibIts_Interface"
    } // end interfacePrimitives    
         
} // End of module LibItsDenm_TestSystem