Commit a6a65ff0 authored by berge's avatar berge
Browse files

Added TC_ITS_S_CAM_07 (1 TODO remaining)

parent 3099b637
Loading
Loading
Loading
Loading
+17 −0
Original line number Original line Diff line number Diff line
@@ -489,6 +489,23 @@ module LibItsGeoNetworking_Templates {
                securedMsg := p_secMsg
                securedMsg := p_secMsg
            }
            }
        }
        }
        
        /**
         * @desc    Send template for secured GeoNetworking PDU
         * @param   p_packet    Clear-text version of the packet
         * @param   p_secMsg    Secured message
         */
        template (value) GeoNetworkingPdu m_geoNwSecPdu(
            in template (value) SecuredMessage p_secMsg,
            in template (value) GnNonSecuredPacket p_packet
        ) := {
            basicHeader := m_basicHeader(),
            gnPacket := {
                packet := p_packet,
                securedMsg := p_secMsg
            }
        }
                
    } // end geoNwPduTemplates
    } // end geoNwPduTemplates
    
    
    group geoNwPacketTemplates {
    group geoNwPacketTemplates {
+21 −6
Original line number Original line Diff line number Diff line
@@ -702,6 +702,21 @@ module LibItsSecurity_Templates {
         */
         */
        group messagesSend {
        group messagesSend {
            
            
            /**
             * @desc Generic send template for Security profile for CAMs with several payloads
             */
            template (value) SecuredMessage m_secureMessage(
                 in template (value) HeaderFields p_header_fields,
                 in template (value) SecPayloads p_payload_fields,
                 in template (value) TrailerFields p_trailer_fields
            ) := {
                protocol_version    := c_protocol_version,
                security_profile    := 0,
                header_fields       := p_header_fields,
                payload_fields      := p_payload_fields,
                trailer_fields      := p_trailer_fields
            } // End of template m_secureMessage
            
        } // End of group messagesSend
        } // End of group messagesSend
        
        
        /**
        /**
@@ -1590,16 +1605,16 @@ module LibItsSecurity_Templates {
                /**
                /**
                 * @desc Generic send template for Security profile for CAMs with several payloads
                 * @desc Generic send template for Security profile for CAMs with several payloads
                 */
                 */
                template (value) SecuredMessage md_secureMessageCAMs_multiple_payloads(
                template (value) SecuredMessage md_secureMessageCAM(
                    in template (value) HeaderFields p_header_fields,
                    in template (value) HeaderFields p_header_fields,
                    in template (value) SecPayloads p_payload_fields,
                    in template (value) SecPayloads p_payload_fields,
                    in template (value) TrailerFields p_trailer_fields
                    in template (value) TrailerFields p_trailer_fields
                ) modifies m_secureMessage_dummy := {
                ) modifies m_secureMessage := {
                    security_profile    := c_security_profileCAMs,
                    security_profile    := c_security_profileCAMs,
                    header_fields       := p_header_fields,
                    header_fields       := p_header_fields,
                    payload_fields      := p_payload_fields,
                    payload_fields      := p_payload_fields,
                    trailer_fields      := p_trailer_fields
                    trailer_fields      := p_trailer_fields
                } // End of template md_secureMessageCAMs
                } // End of template md_secureMessageCAM
                
                
            } // End of group securityProfilesCAMsSend
            } // End of group securityProfilesCAMsSend