LibItsDenm_TestSystem.ttcn 3.64 KB
Newer Older
reinaortega's avatar
reinaortega committed
1
/**
tepelmann's avatar
tepelmann committed
2
 *    @author     ETSI / STF449
filatov's avatar
filatov committed
3
4
 *    @version     $URL$
 *                 $Id$
reinaortega's avatar
reinaortega committed
5
6
7
8
9
10
11
12
13
14
 *    @desc        Test System module for ITS DENM
 *
 */
module LibItsDenm_TestSystem {
    
    // LibCommon
    import from LibCommon_Time {modulepar all};
    import from LibCommon_Sync all;

    // LibIts
garciay's avatar
garciay committed
15
16
17
18
    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
19
    import from LibItsCommon_TestSystem all;
20
    import from LibItsCommon_TypesAndValues all;
reinaortega's avatar
reinaortega committed
21
    
garciay's avatar
garciay committed
22
23
    // LibItsDenm
    import from LibItsDenm_TypesAndValues all;
reinaortega's avatar
reinaortega committed
24
25
26
27
28
29
30
31
    
    group portDefinitions {
    
        /**
         * @desc Upper Tester port
         */
        type port UpperTesterPort message {
            out 
32
                UtInitialize, UtDenmTrigger, UtDenmUpdate, UtDenmTermination, UtChangePosition;
reinaortega's avatar
reinaortega committed
33
            in 
34
                UtInitializeResult, UtDenmTriggerResult, UtDenmUpdateResult, UtDenmTerminationResult, UtChangePositionResult, UtDenmEventInd;
reinaortega's avatar
reinaortega committed
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
        } // 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;
            
            // FA1 ports
            port DenmPort denmPort;
            
        } // end component ItsAdapter
        
    } // End of group componentDefinitions
    
    /**
     * @desc Test component for ITS Facility layer 
     */
    type component ItsDenm extends ItsBaseComponent {

        port UpperTesterPort utPort;

        // FA1 ports
        port DenmPort denmPort;
        
        //timers
        
        //component variables
        
        //default
        var default vc_default := null;
        
        //global variables
tepelmann's avatar
tepelmann committed
92
        var SequenceNumber vc_sequenceNo := 0;
reinaortega's avatar
reinaortega committed
93
94
        var boolean vc_denmReceived := false;
        
95
        var UtDenmEventIndList vc_utEvents := {};
tepelmann's avatar
tepelmann committed
96
        
97
98
        var UtDenmActionIDList vc_utActionIDs := {};
        
reinaortega's avatar
reinaortega committed
99
100
101
102
103
104
105
106
107
108
109
110
    } // End of component ItsDenm

    group facilityPrimitives {
            
        group fa1Primitives {
            
            /**
             * @desc FA1 DENM Indication Primitive 
             * 
             * @member denmMsg
             */
            type record DenmInd {
tepelmann's avatar
tepelmann committed
111
                DENM msgIn,
berge's avatar
berge committed
112
                TimestampIts receptionTime optional
reinaortega's avatar
reinaortega committed
113
114
115
116
117
118
119
120
121
122
123
            }
            with {
                encode (msgIn) "LibItsDenm_asn1"
            }
            
            /**
             * @desc FA1 DENM Request Primitive 
             * 
             * @member denmMsg
             */
            type record DenmReq {
tepelmann's avatar
tepelmann committed
124
                DENM msgOut
reinaortega's avatar
reinaortega committed
125
126
127
128
129
130
131
132
133
134
135
136
137
            }
            with {
                encode (msgOut) "LibItsDenm_asn1"
            }
            
        } // End of group fa1Primitives
        
    } // End of group facilityPrimitives
    with {
        encode "LibIts_Interface"
    } // end interfacePrimitives    
         
} // End of module LibItsDenm_TestSystem