Commit 55bc6020 authored by Yann Garcia's avatar Yann Garcia
Browse files

Validate AtsSsem against TTwb 1.1.30

parent 382d54ca
Loading
Loading
Loading
Loading
+2 −1
Original line number Original line Diff line number Diff line
@@ -9,6 +9,7 @@ module LibItsDenm_TypesAndValues {
    
    
  //LibCommon
  //LibCommon
  import from LibCommon_BasicTypesAndValues all;
  import from LibCommon_BasicTypesAndValues all;
  import from LibCommon_DataStrings all;


  // LibIts
  // LibIts
  import from DENM_PDU_Descriptions language "ASN.1:1997" all;
  import from DENM_PDU_Descriptions language "ASN.1:1997" all;
+0 −34
Original line number Original line Diff line number Diff line
@@ -71,25 +71,6 @@ module LibItsIvim_Templates {
            its_aid             := *
            its_aid             := *
        } // End of template mw_ivimInd
        } // End of template mw_ivimInd
        
        
        /**
         * @desc    Send template for IVI Message (IvimPort Primitive)
         * @param   p_iviMsg    The expected IVI Message
         */
        template (value) IvimInd m_ivimInd(
                                           in template (value) IVIM p_iviMsg
        ) := {
            msgIn               := p_iviMsg,
            recvTime            := omit,
            gnNextHeader        := omit,
            gnHeaderType        := omit,
            gnHeaderSubtype     := omit,
            gnLifetime          := omit,
            gnTrafficClass      := omit,
            btpDestinationPort  := omit,
            btpInfo             := omit,
            ssp                 := omit,
            its_aid             := omit
        } // End of template m_ivimInd


        /**
        /**
         * @desc    Receive template for IVI Message (IvimPort Primitive)
         * @desc    Receive template for IVI Message (IvimPort Primitive)
@@ -145,21 +126,6 @@ module LibItsIvim_Templates {
            its_aid         := p_its_aid
            its_aid         := p_its_aid
        } // End of template mw_ivimIndWithSecurityParameters
        } // End of template mw_ivimIndWithSecurityParameters
        
        
        /**
         * @desc    Send template for IVI Message (IvimPort Primitive)
         * @param   p_iviMsg    The expected IVI Message
         * @param   p_ssp       SSP security parameter
         * @param   p_its_aid   ITS-AID value
         */
        template IvimInd m_ivimIndWithSecurityParameters(
                                                          template (value) IVIM p_iviMsg,
                                                           template Bit256 p_ssp := omit,
                                                           template UInt32 p_its_aid := omit
        ) modifies m_ivimInd := { 
            ssp             := p_ssp,
            its_aid         := p_its_aid
        } // End of template mw_ivimIndWithSecurityParameters
        
        group utPrimitives {
        group utPrimitives {
            
            
            /**
            /**
+39 −0
Original line number Original line Diff line number Diff line
@@ -382,6 +382,45 @@ module LibItsSremSsem_Functions {
    
    
    group sendFunctions {
    group sendFunctions {
        
        
        /**
         * @desc Sends a SREM message for cancellation
         */
        function f_sendSreMessageForCancellation() runs on ItsSremSsem {
            // Send SREM cancellation
            sremSsemPort.send(
                              m_sremReq(
                                        m_sremPdu(
                                                  m_srem(
                                                         m_requestorDescription(
                                                                                m_vehicleID(
                                                                                            f_getIutStationId()
                                                                                            ), 
                                                                                m_requestorType(
                                                                                                basicVehicle
                                                                                                )
                                                                                ),
                                                         { 
                                                           m_signalRequestPackage(
                                                                                  m_signalRequest(
                                                                                                  m_intersectionReferenceID,
                                                                                                  17,
                                                                                                  priorityCancellation,
                                                                                                  { lane := 2 }
                                                                                                  )
                                                                                  )
                                                          }))));
            tc_noac.start;
            alt {
                [] sremSsemPort.receive(mw_ssemInd) { 
                    tc_noac.stop;
                    log("*** " & testcasename() & ": INCONC: Received SSEM PDU after cancellation. ***");
                }
                [] tc_noac.timeout {
                    log("*** " & testcasename() & ": PASS: No more SSEM PDU received after cancellation. ***");
                }
            }
        }
        
        /**
        /**
         * @desc Sends a SSEM message
         * @desc Sends a SSEM message
         * @param p_sendMsg The IVI message to send.
         * @param p_sendMsg The IVI message to send.
+1 −1

File changed.

Contains only whitespace changes.