LibItsSremSsem_Templates.ttcn 33.4 KB
Newer Older
garciay's avatar
garciay committed
1
/**
garciay's avatar
garciay committed
2
 *    @author   ETSI / STF517
Yann Garcia's avatar
Yann Garcia committed
3
4
 *    @version  $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/SremSsem/LibItsSremSsem_Templates.ttcn $
 *              $Id: LibItsSremSsem_Templates.ttcn 1312 2016-12-14 09:21:45Z garciay $
garciay's avatar
garciay committed
5
 *    @desc     Module containing base template definitions for SREM SSEM
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.
garciay's avatar
garciay committed
10
11
12
13
14
15
16
17
18
19
20
21
22
 *
 */
module LibItsSremSsem_Templates {

    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
    import from LibCommon_DataStrings all;
    
    // LibIts
    import from ITS_Container language "ASN.1:1997" all;
    import from SREM_PDU_Descriptions language "ASN.1:1997" all;
    import from SSEM_PDU_Descriptions language "ASN.1:1997" all;
    import from DSRC language "ASN.1:1997" all;
Yann Garcia's avatar
Yann Garcia committed
23
    import from DSRC_REGION_noCircular language "ASN.1:1997" all;
garciay's avatar
garciay committed
24
25
26
    
    // LibItsCommon
    import from LibItsCommon_TypesAndValues all;
garciay's avatar
garciay committed
27
    import from LibItsCommon_Functions all;
28
    import from LibItsCommon_ASN1_NamedNumbers all;
garciay's avatar
garciay committed
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
    
    // LibItsSremSsem
    import from LibItsSremSsem_TestSystem all;
    import from LibItsSremSsem_TypesAndValues all;
    import from LibItsSremSsem_Pixits all;

    group primitivesTemplates {
        
        /**
         * @desc    Send template for SREM Message (SremSsemPort Primitive)
         * @param   p_sremMsg    The SREM Message to be sent
         */
        template (value) SremReq m_sremReq(
                                            in template (value) SREM p_sremMsg
        ) := {
            msgOut := p_sremMsg
        }
        
        /**
         * @desc    Receive template for SREM Message (SremSsemPort Primitive)
         * @param   p_sremMsg    The expected SREM Message
         */
        template (present) SremInd mw_sremInd(
52
                                              template (present) SREM p_sremMsg
garciay's avatar
garciay committed
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
        ) := {
            msgIn := p_sremMsg,
            gnNextHeader        := *,
            gnHeaderType        := *,
            gnHeaderSubtype     := *,
            gnLifetime          := *,
            gnTrafficClass      := *,
            btpDestinationPort  := *,
            btpInfo             := *,
            ssp                 := *,
            its_aid             := * 
        }
        
        /**
         * @desc    Receive template for SREM Message (SremSsemPort Primitive)
         * @param   p_sremMsg          The expected SREM Message
         * @param   p_gnNextHeader      GN next header value
         * @param   p_gnHeaderType      GN header type value
         * @param   p_gnHeaderSubtype   GN header subtype value
         * @param   p_gnLifetime        GN packet lifetime value (ms)
         * @param   p_gnTrafficClass    GN traffic class value
         */
        template (present) SremInd mw_sremIndWithGnParameters(
                                                               template (present) SREM p_sremMsg,
                                                               in template UInt8 p_gnNextHeader := *,
                                                               in template UInt8 p_gnHeaderType := *,
                                                               in template UInt8 p_gnHeaderSubtype := *,
                                                               in template UInt32 p_gnLifetime := *,
                                                               in template UInt8 p_gnTrafficClass := *
        ) modifies mw_sremInd := { 
            gnNextHeader    := p_gnNextHeader,
            gnHeaderType    := p_gnHeaderType,
            gnHeaderSubtype := p_gnHeaderSubtype,
            gnLifetime      := p_gnLifetime,
            gnTrafficClass  := p_gnTrafficClass
        }
        
        /**
         * @desc    Receive template for SREM Message (SremSsemPort Primitive)
         * @param   p_sremMsg              Expected SREM Message
         * @param   p_btpDestinationPort    BTP destination port value
         * @param   p_btpInfo               BTP destination port info value (if BTP-B) or BTP source port value (if BTP-A)
         */
Yann Garcia's avatar
Yann Garcia committed
96
97
98
99
        template (present) SremInd mw_sremIndWithBtpParameters(
                                                               template (present) SREM p_sremMsg,
                                                               template UInt16 p_btpDestinationPort := *,
                                                               template UInt16 p_btpInfo := *
garciay's avatar
garciay committed
100
101
102
103
104
105
106
107
108
109
110
111
112
        ) modifies mw_sremInd := { 
            btpDestinationPort  := p_btpDestinationPort,
            btpInfo             := p_btpInfo
        };
        
        /**
         * @desc    Receive template for SREM Message (SremSsemPort Primitive)
         * @param   p_sremMsg  The expected SREM Message
         * @param   p_ssp       SSP value
         * @param   p_its_aid   ITS-AID value
         */
        template (present) SremInd mw_sremIndWithSecurityParameters(
                                                                     template (present) SREM p_sremMsg,
113
                                                                     template Bit24 p_ssp := *,
114
                                                                     template UInt32 p_its_aid := *
garciay's avatar
garciay committed
115
116
117
118
119
120
121
122
123
124
        ) modifies mw_sremInd := { 
            ssp     := p_ssp,
            its_aid := p_its_aid
        }
        
        /**
         * @desc    Send template for SSEM Message (SremSsemPort Primitive)
         * @param   p_ssemMsg    The SSEM Message to be sent
         */
        template (value) SsemReq m_ssemReq(
125
                                           in template (value) SSEM p_ssemMsg
garciay's avatar
garciay committed
126
127
128
129
130
131
132
133
134
        ) := {
            msgOut := p_ssemMsg
        }
        
        /**
         * @desc    Receive template for SSEM Message (SremSsemPort Primitive)
         * @param   p_ssemMsg    The expected SSEM Message
         */
        template (present) SsemInd mw_ssemInd(
135
                                              template (present) SSEM p_ssemMsg := ?
garciay's avatar
garciay committed
136
137
138
139
140
141
142
143
144
        ) := {
            msgIn               := p_ssemMsg,
            gnNextHeader        := *,
            gnHeaderType        := *,
            gnHeaderSubtype     := *,
            gnLifetime          := *,
            gnTrafficClass      := *,
            btpDestinationPort  := *,
            btpInfo             := *,
145
            ssp                 := *,
garciay's avatar
garciay committed
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
            its_aid             := * 
        };

        /**
         * @desc    Receive template for SSEM Message (SremSsemPort Primitive)
         * @param   p_ssemMsg         The expected SSEM Message
         * @param   p_gnNextHeader      GN next header value
         * @param   p_gnHeaderType      GN header type value
         * @param   p_gnHeaderSubtype   GN header subtype value
         * @param   p_gnLifetime        GN packet lifetime value (ms)
         * @param   p_gnTrafficClass    GN traffic class value
         */
        template (present) SsemInd mw_ssemIndWithGnParameters(
                                                              template (present) SSEM p_ssemMsg,
                                                              in template UInt8 p_gnNextHeader := *,
                                                              in template UInt8 p_gnHeaderType := *,
                                                              in template UInt8 p_gnHeaderSubtype := *,
                                                              in template UInt32 p_gnLifetime := *,
                                                              in template UInt8 p_gnTrafficClass := *
        ) modifies mw_ssemInd := { 
            gnNextHeader    := p_gnNextHeader,
            gnHeaderType    := p_gnHeaderType,
            gnHeaderSubtype := p_gnHeaderSubtype,
            gnLifetime      := p_gnLifetime,
            gnTrafficClass  := p_gnTrafficClass
        }
        
        /**
         * @desc    Receive template for SSEM Message (SremSsemPort Primitive)
         * @param   p_ssemMsg             Expected SREM Message
         * @param   p_btpDestinationPort    BTP destination port value
         * @param   p_btpInfo               BTP destination port info value (if BTP-B) or BTP source port value (if BTP-A)
         */
179
        template(present) SsemInd mw_ssemIndWithBtpParameters(
Yann Garcia's avatar
Yann Garcia committed
180
181
182
                                                              template (present) SSEM p_ssemMsg,
                                                              template UInt16 p_btpDestinationPort := *,
                                                              template UInt16 p_btpInfo := *
garciay's avatar
garciay committed
183
184
185
186
187
188
189
190
191
192
193
194
        ) modifies mw_ssemInd := { 
            btpDestinationPort  := p_btpDestinationPort,
            btpInfo             := p_btpInfo
        };

        /**
         * @desc    Receive template for SSEM Message (SremSsemPort Primitive)
         * @param   p_ssemMsg  The expected SSEM Message
         * @param   p_ssp        SSP value
         * @param   p_its_aid    ITS-AID value
         */
        template (present) SsemInd mw_ssemIndWithSecurityParameters(
garciay's avatar
garciay committed
195
                                                                    template (present) SSEM p_ssemMsg,
196
                                                                    template Bit24 p_ssp := *,
garciay's avatar
garciay committed
197
                                                                    template UInt32 p_its_aid := *
garciay's avatar
garciay committed
198
199
200
201
202
203
204
205
206
207
208
209
210
        ) modifies mw_ssemInd := { 
            ssp     := p_ssp,
            its_aid := p_its_aid
        }
        
    }

    group utPrimitives {
            
        /**
         * @desc    Send template for Upper Tester event initialization
         * @member hashedId8 In case of secured mode set, hashedId8 indicate which certificate the IUT shall use
        */
211
        template (value) UtSremInitialize m_sremSsemInitialize := {
garciay's avatar
garciay committed
212
213
214
215
216
217
            hashedId8 := '0000000000000000'O
        }

        /**
        * @desc    Send template for Upper Tester Trigger event
        */
218
219
        template (value) UtSremTrigger m_utTriggerEvent( 
                                                        in template (value) BasicVehicleRole p_basicVehicleRole,
220
221
                                                        in template (value) RequestImportanceLevel p_requestImportanceLevel,
                                                        in template (value) IntersectionID p_intersectionId
222
223
        ) := {
            basicVehicleRole        := p_basicVehicleRole,
224
225
            requestImportanceLevel  := p_requestImportanceLevel,
            intersectionId          := p_intersectionId
226
227
228
229
230
231
232
233
234
235
        }
        
        template (value) UtSremUpdate m_utUpdateEvent(
                                                      in template (value) RequestID p_requestID,
                                                      in template (value) BasicVehicleRole p_basicVehicleRole,
                                                      in template (value) RequestImportanceLevel p_requestImportanceLevel
        ) := {
            requestID               := p_requestID,
            basicVehicleRole        := p_basicVehicleRole,
            requestImportanceLevel  := p_requestImportanceLevel
garciay's avatar
garciay committed
236
        }
237
        
238
239
240
241
242
243
        template (value) UtSremCancelation m_UtSremCancelationEvent(
                                                                    in template (value) RequestID p_requestID
        ) := {
            requestID := p_requestID
        }
        
garciay's avatar
garciay committed
244
245
    }

garciay's avatar
garciay committed
246
    group sremSsemPduTemplates {
garciay's avatar
garciay committed
247
248
249
250
251
252
253
254
        
        /**
         * @desc    Send template for SREM PDU
         * @param   p_map  The SREM Message
         */
        template (value) SREM m_sremPdu(
                                          in template (value) SignalRequestMessage p_srm
        ) := {
255
            header  := m_itsPduHeader( - , - ,LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_srem_ ),
garciay's avatar
garciay committed
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
            srm    := p_srm
        }
        
        /**
         * @desc    Receive template for SREM PDU
         * @param   p_map  The SREM Message
         */
        template (present) SREM mw_sremPdu(
                                            template (present) SignalRequestMessage p_srm := ?
        ) := {
            header  := mw_itsPduHeaderSrem,
            srm     := p_srm
        }
        
        /**
         * @desc    Send template for SSEM PDU
         * @param   p_spat  The SSEM Message
         */
        template (value) SSEM m_ssemPdu(
                                        in template (value) SignalStatusMessage p_ssm
        ) := {
277
            header  := m_itsPduHeader( - , - , LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_ssem_),
garciay's avatar
garciay committed
278
279
280
281
282
283
284
285
286
287
288
289
290
291
            ssm     := p_ssm
        }
        
        /**
         * @desc    Receive template for SSEM PDU
         * @param   p_spat  The SSEM Message
         */
        template (present) SSEM mw_ssemPdu(
                                           template (present) SignalStatusMessage p_ssm := ?
        ) := {
            header  := mw_itsPduHeaderSsem,
            ssm     := p_ssm
        }
        
garciay's avatar
garciay committed
292
    } // End of group sremSsemPduTemplates
garciay's avatar
garciay committed
293
294
295
296
297
298
299
300
301
302
303
    
    group headerTemplates {
        
        /**
         * @desc    Default send template for ITS PDU header
         * @param   p_stationID         The source station ID (Default: test system station id)
         * @param   p_protocolVersion   The protocol version (Default: current SREM SSEM protocol version)
         * @param   p_messageID         The message Id (Default: SREM SSEM id)
         */
        template (value) ItsPduHeader m_itsPduHeader(
                                                     in template (value) StationID p_stationID := f_getTsStationId(),
304
                                                     in template (value) ItsPduHeader.protocolVersion p_protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
garciay's avatar
garciay committed
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
                                                     in template (value) ItsPduHeader.messageID p_messageID
        ) := {
            protocolVersion := p_protocolVersion,
            messageID       := p_messageID,
            stationID       := p_stationID
        }
        
        /**
         * @desc    Default receive template for ITS PDU header
         * @param   p_stationID         The expected station id (Default: any)
         * @param   p_protocolVersion   The expected protocol version (Default: current SREM SSEM protocol version)
         * @param   p_messageID         The expected message id (Default: SREM SSEM message id)
         */
        template ItsPduHeader mw_itsPduHeader(
                                              template (present) StationID p_stationID := ?,
320
                                              template (present) ItsPduHeader.protocolVersion p_protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
garciay's avatar
garciay committed
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
                                              template (present) ItsPduHeader.messageID p_messageID := ?
        ) := {
            protocolVersion := p_protocolVersion,
            messageID       := p_messageID,
            stationID       := p_stationID
        }
        
        /**
         * @desc    Default receive template for ITS PDU header
         * @param   p_stationID         The expected station id (Default: any)
         * @param   p_protocolVersion   The expected protocol version (Default: current SREM SSEM protocol version)
         * @param   p_messageID         The expected message id (Default: SREM id)
         */
        template ItsPduHeader mw_itsPduHeaderSrem(
                                                   template (present) StationID p_stationID := ?,
336
337
                                                   template (present) ItsPduHeader.protocolVersion p_protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
                                                   template (present) ItsPduHeader.messageID p_messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_srem_
garciay's avatar
garciay committed
338
339
340
341
342
343
344
345
346
347
348
349
350
351
        ) := {
            protocolVersion := p_protocolVersion,
            messageID := p_messageID,
            stationID := p_stationID
        }
        
        /**
         * @desc    Default receive template for ITS PDU header
         * @param   p_stationID         The expected station id (Default: any)
         * @param   p_protocolVersion   The expected protocol version (Default: current SREM SSEM protocol version)
         * @param   p_messageID         The expected message id (Default: SSEM id)
         */
        template ItsPduHeader mw_itsPduHeaderSsem(
                                                    template (present) StationID p_stationID := ?,
352
353
                                                    template (present) ItsPduHeader.protocolVersion p_protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
                                                    template (present) ItsPduHeader.messageID p_messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_ssem_
garciay's avatar
garciay committed
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
        ) := {
            protocolVersion := p_protocolVersion,
            messageID       := p_messageID,
            stationID       := p_stationID
        }
        
        /**
         * @desc    Default receive template for the station id
         */
        template (present) StationID mw_anyStationId := ?;
        
    } // End of group headerTemplates

    group sremSsemTemplates {
        
garciay's avatar
garciay committed
369
370
371
372
373
374
375
376
        template (omit) IntersectionReferenceID m_intersectionReferenceID(
                                                                          in template (value) IntersectionID p_intersectionID := 0,
                                                                          in template (omit) RoadRegulatorID p_roadRegulatorID := omit
        ) := {
            region  := p_roadRegulatorID,   // a globally unique regional assignment value typical assigned to a regional DOT authority the value zero shall be used for testing needs
            id      := p_intersectionID     // a unique mapping to the intersection in question within the above region of use
        }
        
377
378
379
380
381
382
383
384
        template IntersectionReferenceID mw_intersectionReferenceID(
                                                                    template (present) IntersectionID p_intersectionID := ?,
                                                                    template RoadRegulatorID p_roadRegulatorID := *
        ) := {
            region  := p_roadRegulatorID,   // a globally unique regional assignment value typical assigned to a regional DOT authority the value zero shall be used for testing needs
            id      := p_intersectionID     // a unique mapping to the intersection in question within the above region of use
        }
        
garciay's avatar
garciay committed
385
386
        group sremTemplates {
            
garciay's avatar
garciay committed
387
388
389
390
391
392
393
394
395
396
            group sremTemplatesSend {
                
                /**
                 * @desc    Send template for SREM Message
                 */
                template (value) SignalRequestMessage m_defaultSrem := {
                    timeStamp       := omit,
                    second          := PX_SECOND,
                    sequenceNumber  := omit,
                    requests        := { 
397
398
399
400
401
402
403
404
405
406
                        valueof(
                            m_signalRequestPackage(
                                valueof(
                                    m_signalRequest(
                                        m_intersectionReferenceID,
                                        1,
                                        priorityRequestTypeReserved,
                                        { lane := 1 }
                    )))) },
                    requestor       := valueof(m_requestorDescription(m_vehicleID(f_getIutStationId()))),
garciay's avatar
garciay committed
407
408
409
410
411
412
413
414
415
                    regional        := omit
                }
                
                template (value) SignalRequestPackage m_signalRequestPackage(
                                                                            in template (value) SignalRequest p_request
                ) := {
                    request     := p_request,
                    minute      := omit,
                    second      := omit,
garciay's avatar
garciay committed
416
                    duration    := omit,
garciay's avatar
garciay committed
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
                    regional    := omit
                }
                
                template (omit) SignalRequest m_signalRequest(
                                                               in template (value) IntersectionReferenceID p_id,
                                                               in template (value) RequestID p_requestID,
                                                               in template (value) PriorityRequestType p_requestType,
                                                               in template (value) IntersectionAccessPoint p_inBoundLane,
                                                               in template (omit) IntersectionAccessPoint p_outBoundLane := omit
                ) := {
                    id              := p_id,
                    requestID       := p_requestID,
                    requestType     := p_requestType,
                    inBoundLane     := p_inBoundLane,
                    outBoundLane    := p_outBoundLane,
                    regional        := omit
                }
                
                template (omit) RequestorDescription m_requestorDescription(
                                                                            in template (value) VehicleID p_id,
                                                                            in template (omit) RequestorType p_type := omit,
                                                                            in template (omit) RequestorPositionVector p_position := omit,
                                                                            in template (omit) TransitVehicleStatus p_transitStatus := omit,
                                                                            in template (omit) TransitVehicleOccupancy p_transitOccupancy := omit
                ) := {
                    id                  := p_id,                // The ID used in the BSM or CAM of the requestor
                    type_               := p_type,              // Information regarding all type and class data about the requesting vehicle 
                    position            := p_position,          // The location of the requesting vehicle
                    name                := omit,                // A human readable name for debugging use
                    routeName           := omit,                // A string for transit operations use
                    transitStatus       := p_transitStatus,     // current vehicle state (loading, etc.)
                    transitOccupancy    := p_transitOccupancy,  // current vehicle occupancy 
                    transitSchedule     := omit,                // current vehicle schedule adherence 
                    regional            := omit
                }
                
                template (value) VehicleID m_vehicleID(
                                                       in template (value) StationID p_stationID
                ) := {
                    stationID   := p_stationID
                }
                
                template (omit) RequestorType m_requestorType(
                                                              in template (value) BasicVehicleRole p_role,
                                                              in template (omit) RequestSubRole p_subrole := omit,
                                                              in template (omit) RequestImportanceLevel p_request := omit
                ) := {
                    role        := p_role,      // Basic role of this user at this time
                    subrole     := p_subrole,   // A local list with role based items 
                    request     := p_request,   // A local list with request items 
                    iso3883     := omit,
                    hpmsType    := omit,        // HPMS classification types
                    regional    := omit
                }
                
            } // End of  group sremTemplatesSend
garciay's avatar
garciay committed
473
            
garciay's avatar
garciay committed
474
475
476
477
478
479
480
481
482
483
484
485
            group sremTemplatesRecv {
                
                /**
                 * @desc    Receive template for SREM Message
                 */
                template (present) SignalRequestMessage mw_defaultSrem := {
                    timeStamp       := *,
                    second          := ?,
                    sequenceNumber  := *,
                    requests        := *,
                    requestor       := ?,
                    regional        := *
486
                } // End of template mw_defaultSrem
garciay's avatar
garciay committed
487
488
489
490
                
                /**
                 * @desc    Receive template for SREM Message with no LayerType
                 */
491
492
                template (present) SignalRequestMessage mw_sremWellFormatted(
                                                                             template (present) RequestorDescription p_requestor := ?,
493
494
                                                                             template (present) SignalRequestList p_requests := ?,
                                                                             template (present) MsgCount p_sequenceNumber := ?,
495
496
497
                                                                             template MinuteOfTheYear p_timeStamp := *,
                                                                             template DSecond p_second := *
                ) modifies mw_defaultSrem := {
498
499
500
501
502
                  timeStamp      := p_timeStamp,
                  second         := p_second,
                  sequenceNumber := p_sequenceNumber,
                  requests       := p_requests,
                  requestor      := p_requestor
503
                } // End of template mw_sremWellFormatted
garciay's avatar
garciay committed
504
                
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
                template (present) SignalRequestPackage mw_signalRequestPackage(
                                                                                template (present) SignalRequest p_request := ?
                ) := {
                    request     := p_request,
                    minute      := *,
                    second      := *,
                    duration    := *,
                    regional    := *
                }
                
                template SignalRequest mw_signalRequest(
                                                        template (present) IntersectionReferenceID p_id := ?,
                                                        template (present) RequestID p_requestID := ?,
                                                        template (present) PriorityRequestType p_requestType := priorityRequest,
                                                        template (present) IntersectionAccessPoint p_inBoundLane := ?,
                                                        template IntersectionAccessPoint p_outBoundLane := *
                ) := {
                    id              := p_id,
                    requestID       := p_requestID,
                    requestType     := p_requestType,
                    inBoundLane     := p_inBoundLane,
                    outBoundLane    := p_outBoundLane,
                    regional        := *
                }
                
                template (present) RequestorDescription mw_requestorDescription(
                                                                                template (present) VehicleID p_id := ?,
                                                                                template RequestorType p_type := *,
                                                                                template RequestorPositionVector p_position := *,
                                                                                template TransitVehicleStatus p_transitStatus := *,
                                                                                template TransitVehicleOccupancy p_transitOccupancy := *,
                                                                                template DeltaTime p_transitSchedule := *
                ) := {
                    id                  := p_id,                // The ID used in the BSM or CAM of the requestor
                    type_               := p_type,              // Information regarding all type and class data about the requesting vehicle 
                    position            := p_position,          // The location of the requesting vehicle
                    name                := *,                   // A human readable name for debugging use
                    routeName           := *,                   // A string for transit operations use
                    transitStatus       := p_transitStatus,     // current vehicle state (loading, etc.)
                    transitOccupancy    := p_transitOccupancy,  // current vehicle occupancy 
                    transitSchedule     := p_transitSchedule,   // current vehicle schedule adherence 
                    regional            := *
                } // End of template mw_requestorDescription
                
                template (present) RequestorPositionVector mw_requestor_position(
                                                                                 template (present) Position3D p_position := ?
                ) := {
                  position           := p_position,
                  heading            := *, 
                  speed              := *
                } // End of template mw_requestor_position
                
                template RequestorType mw_requestorType(
                                                        template (present) BasicVehicleRole p_role := ?,
                                                        template RequestSubRole p_subrole := *,
                                                        template RequestImportanceLevel p_request := *
                ) := {
                    role        := p_role,      // Basic role of this user at this time
                    subrole     := p_subrole,   // A local list with role based items 
                    request     := p_request,   // A local list with request items 
                    iso3883     := *,
                    hpmsType    := *,        // HPMS classification types
                    regional    := *
                } // End of template mw_requestorType
garciay's avatar
garciay committed
569
570
                
            } // End of  group sremTemplatesRecv
571
            
garciay's avatar
garciay committed
572
573
574
575
576
577
578
579
580
581
582
        } // End of group sremTemplates 
        
        group ssemTemplates {
            
            /**
             * @desc    Send template for SignalStatusMessage Message
             */
            template (value) SignalStatusMessage m_defaultSsem := {
                timeStamp       := omit,
                second          := PX_SECOND,
                sequenceNumber  := omit,
garciay's avatar
garciay committed
583
                status          := { m_signalStatus(PX_STATUS) },
584
585
586
587
588
589
590
591
592
593
                regional        := omit
            }
            
            /**
             * @desc    Send template for SignalStatusMessage Message
             */
            template (value) SignalStatusMessage m_ssem(
                                                        in SignalRequestMessage p_signalRequestMessage
            ) modifies m_defaultSsem := {
                second      := p_signalRequestMessage.second,
garciay's avatar
garciay committed
594
                status      := { m_signalStatus(p_signalRequestMessage.requests[0].request.id) },
595
596
597
598
599
                regional    := omit
            }
            
            
            template (value) SignalStatus m_signalStatus(
garciay's avatar
garciay committed
600
                                                         in IntersectionReferenceID p_id
601
602
            ) := {
                sequenceNumber  := 1, // FIXME To be reviewed
garciay's avatar
garciay committed
603
                id              := p_id,
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
                sigStatus       := { m_signalStatusPackage },
                regional        := omit
            }
            
            template (value) SignalStatusPackage m_signalStatusPackage 
            := {
                requester   := omit,
                inboundOn   := {
                    approach := 0
                },
                outboundOn  := omit,
                minute      := omit,
                second      := omit,
                duration    := omit,
                status      := processing,
                regional    := omit
garciay's avatar
garciay committed
620
621
622
623
624
            }
            
            /**
             * @desc    Receive template for SSEM Message
             */
garciay's avatar
garciay committed
625
            template (present) SignalStatusMessage mw_defaultSsem(
626
                                                                  template (present) MsgCount p_sequenceNumber := ?
garciay's avatar
garciay committed
627
            ) := {
garciay's avatar
garciay committed
628
629
                timeStamp       := *,
                second          := ?,
garciay's avatar
garciay committed
630
                sequenceNumber  := p_sequenceNumber,
garciay's avatar
garciay committed
631
632
633
634
                status          := ?,
                regional       := *
            }
            
garciay's avatar
garciay committed
635
            template (present) SignalStatusMessage mw_ssemWellFormatted(
636
                                                                        template (present) MsgCount p_sequenceNumber := ?
garciay's avatar
garciay committed
637
            ) modifies mw_defaultSsem := {
garciay's avatar
garciay committed
638
639
640
            }
            
            template (present) SignalStatusMessage mw_ssem_with_region_id(
641
                                                                          template (present) MsgCount p_sequenceNumber := ?,
garciay's avatar
garciay committed
642
                                                                          template (present) SignalStatusMessage.regional p_regional := ?
garciay's avatar
garciay committed
643
            ) modifies mw_defaultSsem := {
garciay's avatar
garciay committed
644
                regional       := p_regional 
garciay's avatar
garciay committed
645
646
647
648
649
650
651
            }
            
        } // End of group ssemTemplates
        
    } // End of group sremSsemTemplates

} // End of module LibItsSremSsem_Templates