ItsRSUsSimulator_Templates.ttcn 26.1 KB
Newer Older
garciay's avatar
garciay committed
module ItsRSUsSimulator_Templates {
    
    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
    
    // LibIts
    import from ITS_Container language "ASN.1:1997" all;
    import from CAM_PDU_Descriptions language "ASN.1:1997" all;
    import from DENM_PDU_Descriptions language "ASN.1:1997" all;
    import from MAPEM_PDU_Descriptions language "ASN.1:1997" all;
    import from SPATEM_PDU_Descriptions language "ASN.1:1997" all;
    import from IVIM_PDU_Descriptions language "ASN.1:1997" all;
    import from IVI language "ASN.1:1997" all;
garciay's avatar
garciay committed
    import from SSEM_PDU_Descriptions language "ASN.1:1997" all;
    import from DSRC language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_ASN1_NamedNumbers all;
garciay's avatar
garciay committed
    import from LibItsCommon_Functions all;
    import from LibCommon_DataStrings all;
garciay's avatar
garciay committed
    
    // LibItsGeoNetworking
    import from LibItsGeoNetworking_TestSystem all;
    import from LibItsGeoNetworking_Functions all;
    import from LibItsGeoNetworking_Templates all;
    import from LibItsGeoNetworking_TypesAndValues all;
    
    // LibItsBtp
    import from LibItsBtp_TypesAndValues all;
    import from LibItsBtp_Templates all;
    
    // LibItsCam
    import from LibItsCam_Templates all;
    
    // LibItsDenm
    import from LibItsDenm_Templates all;
    
    // LibItsMapemSpatem
    import from LibItsMapemSpatem_Templates all;
    
    // LibItsIvim
    import from LibItsIvim_Templates all;
    
    // AtsRSUsSimulator
    import from ItsRSUsSimulator_TypesAndValues all;
    import from ItsRSUsSimulator_Functions all;
    import from ItsRSUsSimulator_Pics all;
    
    template (omit) RsuMessagesValue m_rsuProfile(
YannGarcia's avatar
YannGarcia committed
                                                  in template (omit) GeoNetworkingPdu p_beacon := omit,
                                                  in template (omit) CAM p_cam := omit,
                                                  in template (omit) DENMs p_denms := omit,
garciay's avatar
garciay committed
                                                  in template (omit) MAPEM p_mapem := omit,
                                                  in template (omit) SPATEMs p_spatems := omit,
                                                  in template (omit) IVIM p_ivim := omit,
                                                  //                                                  in template (omit) EvcsnPdu p_evcsn := omit,
                                                  in template (omit) SSEM p_ssem := omit
garciay's avatar
garciay committed
    ) := {
        beacon     := p_beacon,
        cam        := p_cam,
        denms      := p_denms,
        mapem      := p_mapem,
        spatems    := p_spatems,
garciay's avatar
garciay committed
        ivim       := p_ivim,
        //        evcsn      := p_evcsn,
garciay's avatar
garciay committed
        ssem       := p_ssem
garciay's avatar
garciay committed
    } // End of template RsuMessagesValue

    group geoNetworkingTemplates {
YannGarcia's avatar
YannGarcia committed

        /**
         * @desc    Send template for long position vector with specific GN_Address
         * @param   p_gnAddress GN_Address to be contained in the long position vector
         */
        template (value) LongPosVector m_longPosVector(
                                                       in template (value) GN_Address p_gnAddress,
                                                       in UInt32 p_timestamp_,
                                                       in Int32 p_latitude := 0,
                                                       in Int32 p_longitude := 0,
                                                       in Bit1 p_pai := '0'B,
                                                       in Int15  p_speed := 0,
                                                       in UInt16 p_heading := 0

        ) := {
            gnAddr     := p_gnAddress,
            timestamp_ := p_timestamp_,
            latitude   := p_latitude,
            longitude  := p_longitude,
            pai        := p_pai,
            speed      := p_speed,
            heading    := p_heading
        }
YannGarcia's avatar
YannGarcia committed
        template (value) GnNonSecuredPacket m_geoNwBeaconPacket_payload(
                                                                        in template (value) LongPosVector p_sourceLongPosVec,
                                                                        in template (value) GnRawPayload p_gnRawPayload
        ) modifies m_geoNwBeaconPacket := {
            payload := p_gnRawPayload
        }

garciay's avatar
garciay committed
        template (value) GnNonSecuredPacket m_geoNwBroadcastPacket_payload(
                                                                           in template (value) LongPosVector p_sourceLongPosVec,
                                                                           in template (value) UInt16 p_seqNumber,
                                                                           in template (value) GeoBroadcastArea p_broadcastArea,
                                                                           in template (value) UInt8 p_hopLimit := c_defaultHopLimit,
                                                                           in template (value) TrafficClass p_trafficClass := m_trafficClass,
                                                                           in template (value) GnRawPayload p_payload
garciay's avatar
garciay committed
        ) modifies m_geoNwBroadcastPacket := {
            payload := p_payload
        } // End of template m_geoNwBroadcastPacket_payload
        
YannGarcia's avatar
YannGarcia committed
        template (value) GnNonSecuredPacket m_geoNwAnycastPacket_payload(
                                                                           in template (value) LongPosVector p_sourceLongPosVec,
                                                                           in template (value) UInt16 p_seqNumber,
                                                                           in template (value) GeoAnycastArea p_anycastArea,
                                                                           in template (value) UInt8 p_hopLimit := c_defaultHopLimit,
                                                                           in template (value) TrafficClass p_trafficClass := m_trafficClass,
                                                                           in template (value) GnRawPayload p_payload
        ) modifies m_geoNwAnycastPacket := {
            payload := p_payload
        } // End of template m_geoNwAnycastPacket_payload
        
        /**
         * @desc    Send template for GeoNetworking TSB Packet
         * @param   p_seqNumber         Sequence number of TSB packet
         * @param   p_sourceLongPosVec  Long position vector of source
         * @param   p_hopLimit          The maximum number of hops (Default: c_defaultHopLimit)
         * @param   p_trafficClass      TODO
         * @param   p_payload           TODO
         */
        template (value) GnNonSecuredPacket m_geoNwTsbPacket_payload(
                                                                     in template (value) UInt16 p_seqNumber,
                                                                     in template (value) LongPosVector p_sourceLongPosVec,
                                                                     in template (value) UInt8 p_hopLimit := c_defaultHopLimit,
                                                                     in template (value) TrafficClass p_trafficClass := m_trafficClass,
                                                                     in template (value) GnRawPayload p_payload
        ) modifies m_geoNwTsbPacket:= {
            payload :=  p_payload
        }
        
        /**
         * @desc    Send template for GeoNetworking SHB Packet
         * @param   p_sourceLongPosVec  Long position vector of source
         * @param   p_hopLimit          The maximum number of hops (Default: c_defaultHopLimit)
         * @param   p_trafficClass      TODO
         * @param   p_payload           TODO
         */
        template (value) GnNonSecuredPacket m_geoNwShbPacket_payload(
                                                                     in template (value) LongPosVector p_sourceLongPosVec,
                                                                     in template (value) GnRawPayload p_payload
        ) modifies m_geoNwShbPacket:= {
            payload :=  p_payload
        }
        
garciay's avatar
garciay committed
        /**
         * @desc    Receive template for GeoNetworking Unicast Packet
         * @param   p_destinationShortPosVec    Short position vector of destination
         * @param   p_seqNumber                 Sequence number of GeoUnicast packet
         * @param   p_nextHeader                Id of next header
         */
        template (present) GnNonSecuredPacket mw_geoNwBroadcastPacketWithNextHeader_srem(
                                                                                         in template (present) LongPosVector p_sourceLongPosVec := ?,
                                                                                         in template (present) UInt16 p_seqNumber := ?,
                                                                                         in template (present) NextHeader p_nextHeader := ?
        ) modifies mw_geoNwBroadcastPacketWithNextHeader := {
garciay's avatar
garciay committed
          payload := f_payload_template(PICS_SREM_BTP_DESTINATION_PORT, PICS_SREM_BTP_SOURCE_PORT)
garciay's avatar
garciay committed
         * @desc    Receive template for GeoNetworking SREM Packet
         * @param   p_destinationShortPosVec    Short position vector of destination
         * @param   p_seqNumber                 Sequence number of GeoUnicast packet
         * @param   p_nextHeader                Id of next header
         */
        template (present) GnNonSecuredPacket mw_geoNwTsbPacketWithNextHeader_srem(
                                                                                   in template (present) UInt16 p_seqNumber := ?,
                                                                                   in template (present) LongPosVector p_sourceLongPosVec := ?,
                                                                                   in template (value) NextHeader p_nextHeader
        ) modifies mw_geoNwTsbPacketWithNextHeader := {
garciay's avatar
garciay committed
            payload := f_payload_template(PICS_SREM_BTP_DESTINATION_PORT, PICS_SREM_BTP_SOURCE_PORT)
        /**
         * @desc    Receive template for GeoNetworking DENM Packet
         * @param   p_destinationShortPosVec    Short position vector of destination
         * @param   p_seqNumber                 Sequence number of GeoUnicast packet
         * @param   p_nextHeader                Id of next header
         */
        template (present) GnNonSecuredPacket mw_geoNwTsbPacketWithNextHeader_denm(
                in template (present) UInt16 p_seqNumber := ?,
                in template (present) LongPosVector p_sourceLongPosVec := ?
        ) modifies mw_geoNwTsbPacket := {
garciay's avatar
garciay committed
            payload := f_payload_template(PICS_DENM_BTP_DESTINATION_PORT, PICS_DENM_BTP_SOURCE_PORT)
        } // End of template mw_geoNwTsbPacketWithNextHeader_denm
YannGarcia's avatar
YannGarcia committed
        /**
         * @desc    Receive template for GeoNetworking DENM Packet
         * @param   p_destinationShortPosVec    Short position vector of destination
         * @param   p_seqNumber                 Sequence number of GeoUnicast packet
         * @param   p_nextHeader                Id of next header
         */
        template (present) GnNonSecuredPacket mw_geoNwBroadcastPacketWithNextHeader_denm(
                in template (present) LongPosVector p_sourceLongPosVec := ?,
                in template (present) UInt16 p_seqNumber := ?
        ) modifies mw_geoNwBroadcastPacket := {
            payload := f_payload_template(PICS_DENM_BTP_DESTINATION_PORT, PICS_DENM_BTP_SOURCE_PORT)
        } // End of template mw_geoNwBroadcastPacketWithNextHeader_denm
        
garciay's avatar
garciay committed
        /**
         * @desc    Receive template for GeoNetworking CAM Packet
         * @param   p_destinationShortPosVec    Short position vector of destination
         * @param   p_seqNumber                 Sequence number of GeoUnicast packet
         * @param   p_nextHeader                Id of next header
         */
        template (present) GnNonSecuredPacket mw_geoNwShbPacketWithNextHeader_cam(
                                                                                  in template (present) LongPosVector p_sourceLongPosVec := ?,
                                                                                  in template (present) UInt8 p_hopLimit := ?,
garciay's avatar
garciay committed
                                                                                  in template (present) NextHeader p_nextHeader,
                                                                                  in template (present) CAM p_cam := ?
garciay's avatar
garciay committed
        ) modifies mw_geoNwShbPacket := {
garciay's avatar
garciay committed
            payload := f_payload_template(PICS_CAM_BTP_DESTINATION_PORT, PICS_CAM_BTP_SOURCE_PORT)
        } // End of template mw_geoNwShbPacketWithNextHeader_cam
garciay's avatar
garciay committed
        
garciay's avatar
garciay committed
    } // End of group geoNetworkingTemplates 
    
    group positionTemplates {
        
        /**
         * @desc The test system reference position.
         */
        template (value) ReferencePosition m_rsuPosition(
                                                         in template (value) Latitude p_latitude,
                                                         in template (value) Longitude p_longitude
        ) := {
            latitude := f_integer2Latitude(valueof(p_latitude)),
            longitude := f_integer2Latitude(valueof(p_longitude)),
            positionConfidenceEllipse := {
                semiMajorConfidence   := LibItsCommon_ASN1_NamedNumbers.SemiAxisLength_oneCentimeter_,
                semiMinorConfidence   := LibItsCommon_ASN1_NamedNumbers.SemiAxisLength_oneCentimeter_,
                semiMajorOrientation  := LibItsCommon_ASN1_NamedNumbers.HeadingValue_wgs84North_
garciay's avatar
garciay committed
            },
            altitude := {
                altitudeValue := LibItsCommon_ASN1_NamedNumbers.AltitudeValue_referenceEllipsoidSurface_,
garciay's avatar
garciay committed
                altitudeConfidence := unavailable
            }
        } // End of template m_rsuPosition
        
garciay's avatar
garciay committed
        /**
         * @desc    Receive template for long position vector with strict position check
         * @param   p_longPosVector The base long position vector
         */
        template LongPosVector mw_longPosVectorPosition_vendors(
                                                                in template (value) Oct6 p_mid
        ) := {
garciay's avatar
garciay committed
            gnAddr := {
                typeOfAddress := ?,
                stationType := ?,
                reserved := ?,
garciay's avatar
garciay committed
            },
            timestamp_ := ?,
            latitude := ?,
            longitude := ?,
garciay's avatar
garciay committed
            pai := ?,
garciay's avatar
garciay committed
            //FIXME May the delta factor should be based on the actual speed value -> low speed=lower delta, high speed=higher delta
            speed := ?,
            heading := ?
        }
        
garciay's avatar
garciay committed
    } // End of group positionTemplates
    
    group camTemplates {
        
        template (value) HighFrequencyContainer m_highFrequencyContainer_rsuContainerHighFrequency(
                                                                                                   in template (value) RSUContainerHighFrequency p_rsuContainerHighFrequency
        ) := {
            rsuContainerHighFrequency := p_rsuContainerHighFrequency
        }
        
        template (value) RSUContainerHighFrequency m_rSUContainerHighFrequency(
                                                                               in template (value) ProtectedCommunicationZonesRSU p_protectedCommunicationZonesRSU
        ) := {
            protectedCommunicationZonesRSU := p_protectedCommunicationZonesRSU
        }
        
        template (value) CAM m_camParm(
                                       in template (value) StationID p_stationID,
                                       in template (value) ITS_Container.StationType p_stationType := LibItsCommon_ASN1_NamedNumbers.StationType_roadSideUnit_,
garciay's avatar
garciay committed
                                       in template (value) VehicleRole p_vehicleRole := roadOperator,
                                       in template (value) ReferencePosition p_rsuPosition,
                                       in template (value) PathHistory p_pathHistory,
                                       in template (value) HighFrequencyContainer p_highFrequencyContainer
garciay's avatar
garciay committed
        ) := {
            header := {
                protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
                messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_cam_,
garciay's avatar
garciay committed
                stationID := p_stationID
            },
            cam := {
                generationDeltaTime := 0, // Dynamic parameter
                camParameters := {
                    basicContainer := {
garciay's avatar
garciay committed
                        stationType := p_stationType,
garciay's avatar
garciay committed
                        referencePosition := p_rsuPosition
                    },
                    highFrequencyContainer := p_highFrequencyContainer,
                    lowFrequencyContainer := {
garciay's avatar
garciay committed
                        basicVehicleContainerLowFrequency := {
garciay's avatar
garciay committed
                            vehicleRole := p_vehicleRole,
                            exteriorLights := '00000000'B,
garciay's avatar
garciay committed
                            pathHistory := p_pathHistory
                        }
garciay's avatar
garciay committed
                    specialVehicleContainer := omit
                }
            }
        } // End of template m_camParm
        
        template (present) CAM mw_cam_stationID(
                                                in template (present) BasicVehicleContainerHighFrequency p_basicVehicleContainer := mw_HF_BV_speed(?),
                                                in template (value) StationID p_stationID,
                                                in template (present) ReferencePosition p_referencePosition := ?
        ) modifies mw_camMsg_HF_BV := {
            header := {
                stationID := p_stationID
            }, 
            cam := {
                camParameters := {
                    basicContainer := {
                        stationType := ?,
                        referencePosition := p_referencePosition
                    }
                }
            }
        } // End of template mw_cam_stationID
garciay's avatar
garciay committed
    } // End of group camTemplates
    
    group mapemTemplates {
        
garciay's avatar
garciay committed
        template (value) MAPEM m_mapemParm(
                                           in template (value) StationID p_stationID,
                                           in template (value) MapData p_map
garciay's avatar
garciay committed
        ) := {
            header := {
                protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
                messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_mapem_,
garciay's avatar
garciay committed
                stationID := p_stationID
            },
            map_ := p_map
        }
        
garciay's avatar
garciay committed
    } // End of group mapemTemplates
    
    group spatemTemplates {
        
        template (value) SPATEM m_spatemParm(
                                             in template (value) StationID p_stationID,
                                             in template (value) SPAT p_spat
        ) := {
            header := {
                protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
                messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_spatem_,
                stationID := p_stationID
            },
            spat := p_spat
        }
        
    } // End of group spatemTemplates
    
garciay's avatar
garciay committed
    group ivimTemplates {
        
        template (value) IVIM m_ivimParm(
                                         in template (value) StationID p_stationID,
                                         in template (value) IviStructure p_ivi
        ) := {
            header := {
                protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_,
                messageID := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_ivim_,
garciay's avatar
garciay committed
    } // End of ivimTemplates
    
    /* group evcsnTemplates { */
garciay's avatar
garciay committed
        
    /*     template (value) EvcsnPdu m_evcsnParm( */
    /*                                          in template (value) StationID p_stationID, */
    /*                                          in template (value) EVChargingSpotNotificationPOIMessage p_evcsn */
    /*     ) := { */
    /*         header := { */
    /*             protocolVersion := LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_protocolVersion_currentVersion_, */
    /*             messageID := 7, //LibItsCommon_ASN1_NamedNumbers.ItsPduHeader_messageID_evcsn_, */
    /*             stationID := p_stationID */
    /*         }, */
    /*         evcsn := p_evcsn */
    /*     } */
garciay's avatar
garciay committed
        
    /*     template (value) EVChargingSpotNotificationPOIMessage m_evcsn( */
    /*                                                                   in template (value) ItsPOIHeader p_poiHeader, */
    /*                                                                   in template (value) ItsEVCSNData p_evcsnData */
    /*     ) := { */
    /*         poiHeader := p_poiHeader, */
    /*         evcsnData := p_evcsnData */
    /*     } */
garciay's avatar
garciay committed
        
    /*     template (value) ItsPOIHeader m_itsPOIHeader( */
	  /*                                                 in template (value) POIType p_poiType := 1, */
    /*                                                   in template (value) TimestampIts p_timeStamp, */
	  /*                                                 in template (value) boolean p_relayCapable := true */
    /*     ) := { */
	  /*       poiType       := p_poiType, */
    /*         timeStamp     := p_timeStamp, */
	  /*       relayCapable  := p_relayCapable */
    /*     } */
garciay's avatar
garciay committed
        
    /*     template (value) ItsEVCSNData m_itsEVCSNData(  */
	  /*                                                in template (value) NumberStations p_totalNumberOfStations := 1, */
	  /*                                                in template (value) ItsChargingStationDatas p_itsChargingStationDatas */
    /*     ) := { */
	  /*       totalNumberOfStations   := p_totalNumberOfStations, */
	  /*       chargingStationsData    := p_itsChargingStationDatas */
    /*     } */
garciay's avatar
garciay committed
        
    /* } // End of group evcsnTemplates */
garciay's avatar
garciay committed
    
    group denmTemplates {
        
        /**
         * @desc    Send template for DENM PDU
         * @param   p_denm  The DEN Message
         */
        template (value) DENM m_denmPdu_rsu(
                                            in template (value) StationID p_stationID,
                                            in template (value) DecentralizedEnvironmentalNotificationMessage p_denm
        ) := {
            header := LibItsDenm_Templates.m_itsPduHeader(p_stationID),
            denm := p_denm
        }
        
        /**
         * @desc    Send template for Alacarte Container including lanePosition
         */
        template (omit) AlacarteContainer m_alacarte(
                                                     in template (omit) RoadWorksContainerExtended p_roadWorksContainerExtended
        ) := {
            lanePosition := omit,
            impactReduction := omit,
            externalTemperature := omit,
            roadWorks := p_roadWorksContainerExtended,
            positioningSolution := omit,
            stationaryVehicle := omit
        }
        template (omit) DenmParmContainers m_denmParmContainers(
                                                                in template (value) StationID p_originatingStationID,
                                                                in template (value) SequenceNumber p_sequenceNumber,
                                                                in template (value) TransmissionInterval p_repetitionInterval,
                                                                in template (value) ReferencePosition p_eventPosition,
                                                                in template (value) CauseCodeType p_causeCodeType,
                                                                in template (omit) EventHistory p_eventHistory := omit,
                                                                in template (omit) Traces p_traces := omit,
                                                                in template (value) ValidityDuration p_validityDuration := 86400,
                                                                in template (value) RelevanceDistance p_relevanceDistance := lessThan100m,
                                                                in template (value) RelevanceTrafficDirection p_relevanceTrafficDirection := upstreamTraffic
garciay's avatar
garciay committed
        ) := {
            managementContainer := {
                actionID := {
                    originatingStationID    := p_originatingStationID,
                    sequenceNumber          := p_sequenceNumber
                },
                detectionTime               := f_getCurrentTime(),
                referenceTime               := f_getCurrentTime(), // FIXME To be checked
garciay's avatar
garciay committed
                termination                 := omit,
                eventPosition               := p_eventPosition,
                relevanceDistance           := p_relevanceDistance,
garciay's avatar
garciay committed
                relevanceTrafficDirection   := upstreamTraffic,
garciay's avatar
garciay committed
                validityDuration            := p_validityDuration,
                transmissionInterval        := p_repetitionInterval,
                stationType                 := LibItsCommon_ASN1_NamedNumbers.StationType_roadSideUnit_
garciay's avatar
garciay committed
            }, // End of field managementContainer
            situationContainer := {
                informationQuality          := 0,
                eventType := {
                    causeCode               := p_causeCodeType,
                    subCauseCode            := 0
                },
                linkedCause                 := omit,
                eventHistory                := p_eventHistory
            }, // End of field situationContainer
            locationContainer := {
                eventSpeed := omit,
                eventPositionHeading := omit,
garciay's avatar
garciay committed
                roadType := omit 
            } // End of field locationContainer
        } // End of template m_denmParm
garciay's avatar
garciay committed
        
garciay's avatar
garciay committed
    } // End of group denmTemplates
    
} // End of module ItsRSUsSimulator_Templates