ItsSecurity_Functions.ttcn 40.9 KB
Newer Older
 *  @author     ETSI / STF481 / STF507 / STF517 / STF525
 *  @version    $URL$
 *              $Id$
 *  @desc       Module containing functions for the secured GN ATS
garciay's avatar
garciay committed
 *  @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.
module ItsSecurity_Functions {
    
    // LibCommon
    import from LibCommon_BasicTypesAndValues all;
    import from LibCommon_Time all;
    
    import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
    import from IEEE1609dot2 language "ASN.1:1997" all;
    import from EtsiTs103097Module language "ASN.1:1997" all;
    import from ITS_Container language "ASN.1:1997" all;
    import from DENM_PDU_Descriptions language "ASN.1:1997" all;
    // LibItsCommon
    import from LibItsCommon_TestSystem all;
    import from LibItsCommon_Functions all;
    import from LibItsCommon_ASN1_NamedNumbers all;
    
    // LibItsDenm
    import from LibItsDenm_Templates all;
    import from LibItsDenm_Functions all;
    import from LibItsDenm_TestSystem all;
    
    // LibItsCam
    import from LibItsCam_Templates all;
    import from LibItsCam_Functions all;
    import from LibItsCam_TestSystem all;
    
Yann Garcia's avatar
Yann Garcia committed
    // LibItsBtp
    import from LibItsBtp_Templates all;
    
    // LibItsGeoNetworking
    import from LibItsGeoNetworking_TestSystem all;
    import from LibItsGeoNetworking_Functions all;
    import from LibItsGeoNetworking_Templates all;
    import from LibItsGeoNetworking_TypesAndValues all;
Yann Garcia's avatar
Yann Garcia committed
    import from LibItsGeoNetworking_Pixits all;
    
    // LibItsSecurity
    import from LibItsSecurity_TypesAndValues all;
    import from LibItsSecurity_Templates all;
    import from LibItsSecurity_Functions all;
    
garciay's avatar
garciay committed
    
    group secCam {
        
        /**
        * @desc   Prepare a secured CAM
        * @param  p_configId            The configuration identifier to be used
        * @param  p_headerFields        HeaderInfo to be inserted in the message
garciay's avatar
garciay committed
        * @param  p_signerIdentifier      Add digest or AT certificate or certificate chain
        * @param  p_addMissingHeaders   Whether to add mandatory headers not present in p_headerFields
        * @return Secured GeoNetworking packet containing a CAM
        */
        function f_prepareSecuredCam(
                                     in charstring p_configId,
garciay's avatar
garciay committed
                                     in HeaderInfo p_headerInfo,
                                     in SignerIdentifier p_signerIdentifier,
                                     in template (value) StationID p_station_id := f_getTsStationId()/*,
garciay's avatar
garciay committed
                                     in boolean p_addMissingHeaders := true*/
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GnNonSecuredPacket v_gnNonSecuredPacket;
            var octetstring v_gnPayload;
garciay's avatar
garciay committed
            var EtsiTs103097Data v_securedMessage := {};
Yann Garcia's avatar
Yann Garcia committed
            log(">>> f_prepareSecuredCam");
            
            // Build signed Ieee1609Dot2Data
            v_gnNonSecuredPacket := valueof(m_geoNwShbPacket(
Yann Garcia's avatar
Yann Garcia committed
                                                             f_getPosition(c_compNodeC)
                                                             ));
Yann Garcia's avatar
Yann Garcia committed
            // Encode CAM payload
            v_gnPayload := valueof(
                                   bit2oct(
                                           encvalue(
                                                    m_camReq(
                                                             m_camMsg_vehicle_HF_BV(
                                                                                    valueof(p_station_id),
Yann Garcia's avatar
Yann Garcia committed
                                                                                    f_getCurrentTime() mod 65536, // See ETSI EN 302 637-2 V1.3.0 - Clause B.3 generationDelatTime
                                                                                    LibItsCam_Templates.m_tsPosition
                                                                                    )))));
            
            // Add BTP/CAM payload
            if (PX_GN_UPPER_LAYER == e_btpA) {
              v_gnNonSecuredPacket.payload := valueof(
                                                      bit2oct(
                                                              encvalue(
                                                                       m_btpA(
                                                                              v_gnPayload))));
            } else {
              v_gnNonSecuredPacket.payload := valueof(
                                                      bit2oct(
                                                              encvalue(
                                                                       m_btpB(
                                                                              v_gnPayload))));
            }
Yann Garcia's avatar
Yann Garcia committed
            log("f_prepareSecuredCam: v_gnNonSecuredPacket= ", v_gnNonSecuredPacket);
            v_gnPayload := bit2oct(
Yann Garcia's avatar
Yann Garcia committed
                                   encvalue(
                                            v_gnNonSecuredPacket
                                            )
                                   );
            log("f_prepareSecuredCam: v_gnPayload= ", v_gnPayload);
garciay's avatar
garciay committed
            f_buildGnSecuredCam(
Yann Garcia's avatar
Yann Garcia committed
                                v_securedMessage,
                                valueof(m_toBeSignedData(
                                                         m_signedDataPayload(
                                                                             m_etsiTs103097Data_unsecured(
                                                                                                          v_gnPayload
                                                                                                          )), 
                                                         p_headerInfo
                                                         )),
                                p_signerIdentifier,
                                p_configId/*,
                                            p_addMissingHeaders*/
                                );
            
            // Return secured Gn packet
            return valueof(m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
        } // End of function f_prepareSecuredCam
        
        /**
         * @desc   Prepare a secured CAM including wrong elements of protocols. It is used for BO test cases
garciay's avatar
garciay committed
         * @param  p_configId                   The configuration identifier to be used
         * @param  p_protocolVersion            The protocol version to be set. Default: 2
         * @param  p_trailerStatus              The Traile behaviour:
         *                                      <li>0 for no trailer</li>
         *                                      <li>1 for invalid trailer</li>
         *                                      <li>2 for duplicated trailer</li>
         * @param  p_headerFields               HeaderInfo to be inserted in the message
         * @param  p_issuerIdentifier             Add digest or AT certificate or certificate chain
garciay's avatar
garciay committed
         * @param  p_addMissingHeaders          Whether to add mandatory headers not present in p_headerFields
         * @param p_alterATCertificateSignature Set to true to alter the AT certificate signature
         * @param p_alterAACertificateSignature Set to true to alter the AA certificate signature
         * @return Secured GeoNetworking packet containing a CAM
         */
        function f_prepareSecuredCam_Bo(
                                        in charstring p_configId,
garciay's avatar
garciay committed
                                        in UInt8 p_protocolVersion := c_protocol_version,
                                        in integer p_trailerStatus := 0,
                                        in template (omit) HeaderInfo p_headerFields := omit,
                                        in SignerIdentifier p_issuerIdentifier,// := e_certificate_digest_with_sha256,
garciay's avatar
garciay committed
                                        in boolean p_addMissingHeaders := true,
                                        in boolean p_alterATCertificateSignature := false,
                                        in boolean p_alterAACertificateSignature := false
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GnNonSecuredPacket v_gnNonSecuredPacket;
            var octetstring v_gnPayload;
            var template (value) Ieee1609Dot2Data v_securedMessage := {};
            // Build signed Ieee1609Dot2Data
            v_gnNonSecuredPacket := valueof(m_geoNwShbPacket(
Yann Garcia's avatar
Yann Garcia committed
                                                             f_getPosition(c_compNodeC)
                                                             ));
Yann Garcia's avatar
Yann Garcia committed
            v_gnPayload := valueof(
                                   valueof(
                                           bit2oct(
                                                   encvalue(
                                                            m_camReq(
                                                                     m_camMsg_vehicle_HF_BV(
                                                                                            f_getTsStationId(),
                                                                                            f_getCurrentTime() mod 65536, // See ETSI EN 302 637-2 V1.3.0 - Clause B.3 generationDelatTime
                                                                                            LibItsCam_Templates.m_tsPosition
                                                                                            ))))));
            
            // Add BTP/CAM payload
            if (PX_GN_UPPER_LAYER == e_btpA) {
              v_gnNonSecuredPacket.payload := valueof(
                                                      bit2oct(
                                                              encvalue(
                                                                       m_btpA(
                                                                              v_gnPayload))));
            } else {
              v_gnNonSecuredPacket.payload := valueof(
                                                      bit2oct(
                                                              encvalue(
                                                                       m_btpB(
                                                                              v_gnPayload))));
            }
            
            // Encode it
            v_gnPayload := bit2oct(
                encvalue(
                    v_gnNonSecuredPacket
                )
            );
            /*f_buildGnSecuredCam_Bo(
                v_securedMessage,
                p_protocolVersion,
                p_trailerStatus,
                m_payload_signed(v_gnPayload),
                p_issuerIdentifier,
                p_headerFields,
                p_configId,
garciay's avatar
garciay committed
                p_addMissingHeaders,
                p_alterATCertificateSignature,
                p_alterAACertificateSignature
            );*/
            
            // Return secured Gn packet
//            log("f_prepareSecuredCam_Bo: ", m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
            return valueof(m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
        } // End of function f_prepareSecuredCam_Bo
        
        /**
        * @desc   Sends a secured CAM
        * @param  p_configId        The configuration identifier to be used
        * @param  p_headerFields    Additional HeaderInfo
        * @param  p_issuerIdentifier  Add digest or AT certificate or certificate chain
        * @return GeoNetworking payload
        */
        function f_sendSecuredCam(
                                  in charstring p_configId,
garciay's avatar
garciay committed
                                  in HeaderInfo p_headerInfo,
                                  in SignerIdentifier p_issuerIdentifier,
                                  in template (value) StationID p_station_id := f_getTsStationId()
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GeoNetworkingPdu v_securedGnPdu := f_prepareSecuredCam(p_configId, p_headerInfo, p_issuerIdentifier, p_station_id);
Yann Garcia's avatar
Yann Garcia committed
            log("f_sendSecuredCam: v_securedGnPdu= ", v_securedGnPdu);
            
            f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
                        
            return v_securedGnPdu;
            
        } // End of function f_sendSecuredCam
        
        /**
        * @desc   Sends a secured CAM including wrong elements of protocols. It is used for BO test cases
        * @param  p_configId        The configuration identifier to be used
         * @param  p_protocolVersion     The protocol version to be set. Default: 2
         * @param  p_trailerStatus       The Traile behaviour:
         *                               <li>0 for no trailer</li>
         *                               <li>1 for invalid trailer</li>
         *                               <li>2 for duplicated trailer</li>
        * @param  p_headerFields    Additional HeaderInfo
        * @param  p_issuerIdentifier  Add digest or AT certificate or certificate chain
        * @return GeoNetworking payload
        */
        function f_sendSecuredCam_Bo(
                                     in charstring p_configId,
garciay's avatar
garciay committed
                                     in UInt8 p_protocolVersion := c_protocol_version,
                                     in integer p_trailerStatus := 1,
                                     in template (omit) HeaderInfo p_headerFields := omit,
                                     in SignerIdentifier p_issuerIdentifie// := e_certificate_digest_with_sha256
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            
            // Local variables
            var GeoNetworkingPdu v_securedGnPdu := {};//f_prepareSecuredCam_Bo(p_configId, p_protocolVersion, p_trailerStatus, p_headerFields, p_issuerIdentifier);
garciay's avatar
garciay committed
            
garciay's avatar
garciay committed
//            log("v_securedGnPdu = ", v_securedGnPdu);
            f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
                        
            return v_securedGnPdu;
            
        } // End of function f_sendSecuredCam
        
    } // End of group secCam
    
    group secDenm {
        
        /**
        * @desc   Prepare a secured DENM
        * @param  p_configId            The configuration identifier to be used
        * @param  p_headerFields        HeaderInfo to be inserted in the message
        * @param  p_issuerIdentifier      Add digest or AT certificate or certificate chain
        * @param  p_addMissingHeaders   Whether to add mandatory headers not present in p_headerFields
        * @return Secured GeoNetworking packet containing a CAM
        */
        function f_prepareSecuredDenm(
                                      in charstring p_configId,
                                      in template (omit) HeaderInfo p_headerFields := omit,
                                      in SignerIdentifier p_issuerIdentifier,// := e_certificate,
                                      in boolean p_addMissingHeaders := true
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GnNonSecuredPacket v_gnNonSecuredPacket;
            var octetstring v_gnPayload;
            var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
            var template (value) Ieee1609Dot2Data v_securedMessage := {};
            var template (value) SituationContainer v_situation := m_situation(LibItsCommon_ASN1_NamedNumbers.CauseCodeType_vehicleBreakdown_, LibItsCommon_ASN1_NamedNumbers.VehicleBreakdownSubCauseCode_unavailable_);
            // Build signed Ieee1609Dot2Data
            v_gnNonSecuredPacket := valueof(
Yann Garcia's avatar
Yann Garcia committed
                                            m_geoNwBroadcastPacket(
                                                                   v_longPosVectorNodeB,
                                                                   vc_localSeqNumber,
                                                                   f_getGeoBroadcastArea(
                                                                                         c_area1                 // Select area1 (see ETSI TS 102 871-2 Clause 4.2 Configuration 1)
                                                                                         )));
            
            // Add the DENM payload
Yann Garcia's avatar
Yann Garcia committed
            v_gnPayload := valueof(
                                   bit2oct(
                                           encvalue(
                                                    m_denmReq(
                                                              m_denmPdu(
                                                                        m_denm(
                                                                               m_denmMgmtCon(
                                                                                             m_tsActionId
                                                                                             ),
                                                                               v_situation,
                                                                               m_denmLocation_zeroDelta
                                                                               ))))));
            
            // Add BTP/CAM payload
            if (PX_GN_UPPER_LAYER == e_btpA) {
              v_gnNonSecuredPacket.payload := valueof(
                                                      bit2oct(
                                                              encvalue(
                                                                       m_btpA(
                                                                              v_gnPayload))));
            } else {
              v_gnNonSecuredPacket.payload := valueof(
                                                      bit2oct(
                                                              encvalue(
                                                                       m_btpB(
                                                                              v_gnPayload))));
            }
            
            // Encode it
            v_gnPayload := bit2oct(
Yann Garcia's avatar
Yann Garcia committed
                                   encvalue(
                                            v_gnNonSecuredPacket
            /*f_buildGnSecuredDenm(
                v_securedMessage,
                m_payload_signed(v_gnPayload),
                p_issuerIdentifier,
                valueof(m_threeDLocation(
                    v_longPosVectorNodeB.latitude,
                    v_longPosVectorNodeB.longitude,
                )),
                p_headerFields,
                p_configId,
                p_addMissingHeaders
            );*/
            
            // Return secured Gn packet
            return valueof(m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
        } // End of function f_prepareSecuredDenm
        
        /**
garciay's avatar
garciay committed
         * @desc   Prepare a secured DENM including wrong elements of protocols. It is used for BO test cases
         * @param  p_configId            The configuration identifier to be used
         * @param  p_protocolVersion     The protocol version to be set. Default: 2
         * @param  p_trailerStatus       The Traile behaviour:
         *                               <li>0 for no trailer</li>
         *                               <li>1 for invalid trailer</li>
         *                               <li>2 for duplicated trailer</li>
         * @param  p_headerFields        HeaderInfo to be inserted in the message
         * @param  p_issuerIdentifier      Add digest or AT certificate or certificate chain
garciay's avatar
garciay committed
         * @param  p_addMissingHeaders   Whether to add mandatory headers not present in p_headerFields
         * @return Secured GeoNetworking packet containing a CAM
         */
        function f_prepareSecuredDenm_Bo(
                                         in charstring p_configId,
garciay's avatar
garciay committed
                                         in UInt8 p_protocolVersion := c_protocol_version,
                                         in integer p_trailerStatus := 0,
                                         in template (omit) HeaderInfo p_headerFields := omit,
                                         in SignerIdentifier p_issuerIdentifier,// := e_certificate,
                                         in boolean p_addMissingHeaders := true
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GnNonSecuredPacket v_gnNonSecuredPacket;
            var octetstring v_gnPayload;
            var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
            var template (value) Ieee1609Dot2Data v_securedMessage := {};
            var template (value) SituationContainer v_situation := m_situation(LibItsCommon_ASN1_NamedNumbers.CauseCodeType_vehicleBreakdown_, LibItsCommon_ASN1_NamedNumbers.VehicleBreakdownSubCauseCode_unavailable_);
            // Build signed Ieee1609Dot2Data
            v_gnNonSecuredPacket := valueof(
                m_geoNwBroadcastPacket(
                    v_longPosVectorNodeB,
                    vc_localSeqNumber,
                    f_getGeoBroadcastArea(
                        c_area1                 // Select area1 (see ETSI TS 102 871-2 Clause 4.2 Configuration 1)
            )));
            
            // Add the DENM payload
Yann Garcia's avatar
Yann Garcia committed
            v_gnPayload := valueof(
                                   bit2oct(
                                           encvalue(
                                                    m_denmReq(
                                                              m_denmPdu(
                                                                        m_denm(
                                                                               m_denmMgmtCon(
                                                                                             m_tsActionId
                                                                                             ),
                                                                               v_situation,
                                                                               m_denmLocation_zeroDelta
                                                                               ))))));
        
            // Add BTP/CAM payload
            if (PX_GN_UPPER_LAYER == e_btpA) {
              v_gnNonSecuredPacket.payload := valueof(
                                                      bit2oct(
                                                              encvalue(
                                                                       m_btpA(
                                                                              v_gnPayload))));
            } else {
              v_gnNonSecuredPacket.payload := valueof(
                                                      bit2oct(
                                                              encvalue(
                                                                       m_btpB(
                                                                              v_gnPayload))));
            }
            
            // Encode it
            v_gnPayload := bit2oct(
Yann Garcia's avatar
Yann Garcia committed
                                   encvalue(
                                            v_gnNonSecuredPacket
                                            )
                                   );
            /*f_buildGnSecuredDenm_Bo(
                v_securedMessage,
                p_protocolVersion,
                p_trailerStatus,
                m_payload_signed(v_gnPayload),
                p_issuerIdentifier,
                valueof(m_threeDLocation(
                    v_longPosVectorNodeB.latitude,
                    v_longPosVectorNodeB.longitude,
                )),
                p_headerFields,
                p_configId,
                p_addMissingHeaders
            );*/
            
            // Return secured Gn packet
            return valueof(m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
        } // End of function f_prepareSecuredDenm_Bo
        
        /**
         * @desc   Sends a secured DENM
         * @param  p_configId        The configuration identifier to be used
         * @param  p_headerFields    Additional HeaderInfo
         * @param  p_issuerIdentifier  Add digest or AT certificate or certificate chain
         * @return GeoNetworking payload
         */
        function f_sendSecuredDenm(
                                  in charstring p_configId,
                                  in template (omit) HeaderInfo p_headerFields := omit,
                                  in SignerIdentifier p_issuerIdentifier
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GeoNetworkingPdu v_securedGnPdu := f_prepareSecuredDenm(p_configId, p_headerFields, p_issuerIdentifier);
            f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
                        
            return v_securedGnPdu;
            
        } // End of function f_sendSecuredDenm
        
        /**
         * @desc   Sends a secured DENM including wrong elements of protocols. It is used for BO test cases
         * @param  p_configId        The configuration identifier to be used
         * @param  p_protocolVersion     The protocol version to be set. Default: 2
         * @param  p_trailerStatus       The Traile behaviour:
         *                               <li>0 for no trailer</li>
         *                               <li>1 for invalid trailer</li>
         *                               <li>2 for duplicated trailer</li>
         * @param  p_headerFields    Additional HeaderInfo
         * @param  p_issuerIdentifier  Add digest or AT certificate or certificate chain
         * @return GeoNetworking payload
         */
        function f_sendSecuredDenm_Bo(
                                      in charstring p_configId,
garciay's avatar
garciay committed
                                      in UInt8 p_protocolVersion := c_protocol_version,
                                      in integer p_trailerStatus := 1,
                                      in template (omit) HeaderInfo p_headerFields := omit,
                                      in SignerIdentifier p_issuerIdentifier// := e_certificate_digest_with_sha256
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GeoNetworkingPdu v_securedGnPdu := f_prepareSecuredDenm_Bo(p_configId, p_protocolVersion, p_trailerStatus, p_headerFields, p_issuerIdentifier);
            f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
                        
            return v_securedGnPdu;
            
        } // End of function f_sendSecuredDenm_Bo
        
    } // End of group secDenm 
    
garciay's avatar
garciay committed
    group secBeacon {
        
        /**
        * @desc   Prepare a secured Beacon
        * @param  p_configId            The configuration identifier to be used
        * @param  p_headerFields        HeaderInfo to be inserted in the message
        * @param  p_issuerIdentifier      Add digest or AT certificate or certificate chain
garciay's avatar
garciay committed
        * @param  p_addMissingHeaders   Whether to add mandatory headers not present in p_headerFields
        * @return Secured GeoNetworking packet containing a CAM
        */
        function f_prepareSecuredBeacon(
                                        in charstring p_configId,
                                        in template (omit) HeaderInfo p_headerFields := omit,
                                        in SignerIdentifier p_issuerIdentifier,// := e_certificate,
                                        in boolean p_addMissingHeaders := true
garciay's avatar
garciay committed
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GnNonSecuredPacket v_gnNonSecuredPacket;
            var octetstring v_gnPayload;
            var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
            var template (value) Ieee1609Dot2Data v_securedMessage := {};
garciay's avatar
garciay committed
            
            // Build signed Ieee1609Dot2Data
garciay's avatar
garciay committed
            v_gnNonSecuredPacket := valueof(
Yann Garcia's avatar
Yann Garcia committed
                                            m_geoNwBroadcastPacket(
                                                                   v_longPosVectorNodeB,
                                                                   vc_localSeqNumber,
                                                                   f_getGeoBroadcastArea(
                                                                                         c_area1                 // Select area1 (see ETSI TS 102 871-2 Clause 4.2 Configuration 1)
                                                                                         )));
garciay's avatar
garciay committed
            
            // Encode it
            v_gnPayload := bit2oct(
Yann Garcia's avatar
Yann Garcia committed
                                   encvalue(
                                            v_gnNonSecuredPacket
                                            )
                                   );
            /*f_buildGnSecuredOtherMessage(
garciay's avatar
garciay committed
                v_securedMessage,
                m_payload_signed(v_gnPayload),
                p_issuerIdentifier,
garciay's avatar
garciay committed
                valueof(m_threeDLocation(
                    v_longPosVectorNodeB.latitude,
                    v_longPosVectorNodeB.longitude,
garciay's avatar
garciay committed
                )),
                p_headerFields,
                p_configId,
                p_addMissingHeaders
            );*/
garciay's avatar
garciay committed
            
            // Return secured Gn packet
            return valueof(m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
        } // End of function f_prepareSecuredBeacon
        
        /**
         * @desc   Prepare a secured Beacon including wrong elements of protocols. It is used for BO test cases
         * @param  p_configId            The configuration identifier to be used
         * @param  p_protocolVersion     The protocol version to be set. Default: 2
         * @param  p_trailerStatus       The Traile behaviour:
         *                               <li>0 for no trailer</li>
         *                               <li>1 for invalid trailer</li>
         *                               <li>2 for duplicated trailer</li>
         * @param  p_headerFields        HeaderInfo to be inserted in the message
         * @param  p_issuerIdentifier      Add digest or AT certificate or certificate chain
garciay's avatar
garciay committed
         * @param  p_addMissingHeaders   Whether to add mandatory headers not present in p_headerFields
         * @return Secured GeoNetworking packet containing a CAM
         */
        function f_prepareSecuredBeacon_Bo(
                                         in charstring p_configId,
garciay's avatar
garciay committed
                                         in UInt8 p_protocolVersion := c_protocol_version,
garciay's avatar
garciay committed
                                         in integer p_trailerStatus := 0,
                                         in template (omit) HeaderInfo p_headerFields := omit,
                                         in SignerIdentifier p_issuerIdentifier,// := e_certificate,
garciay's avatar
garciay committed
                                         in boolean p_addMissingHeaders := true
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GnNonSecuredPacket v_gnNonSecuredPacket;
            var octetstring v_gnPayload;
            var LongPosVector v_longPosVectorNodeB := f_getPosition(c_compNodeB); // Use NodeB
            var template (value) Ieee1609Dot2Data v_securedMessage := {};
garciay's avatar
garciay committed
            
            // Build signed Ieee1609Dot2Data
garciay's avatar
garciay committed
            v_gnNonSecuredPacket := valueof(
                m_geoNwBroadcastPacket(
                    v_longPosVectorNodeB,
                    vc_localSeqNumber,
                    f_getGeoBroadcastArea(
                        c_area1                 // Select area1 (see ETSI TS 102 871-2 Clause 4.2 Configuration 1)
            )));
            
            // Encode it
            v_gnPayload := bit2oct(
                encvalue(
                    v_gnNonSecuredPacket
                )
            );
            /*f_buildGnSecuredOtherMessage_Bo(
garciay's avatar
garciay committed
                v_securedMessage,
                p_protocolVersion,
                p_trailerStatus,
                m_payload_signed(v_gnPayload),
                p_issuerIdentifier,
garciay's avatar
garciay committed
                valueof(m_threeDLocation(
                    v_longPosVectorNodeB.latitude,
                    v_longPosVectorNodeB.longitude,
garciay's avatar
garciay committed
                )),
                p_headerFields,
                p_configId,
                p_addMissingHeaders
            );*/
garciay's avatar
garciay committed
            
            // Return secured Gn packet
            return valueof(m_geoNwSecPdu(v_gnNonSecuredPacket, v_securedMessage));
        } // End of function f_prepareSecuredBeacon_Bo
        
        /**
         * @desc   Sends a secured Beacon
         * @param  p_configId        The configuration identifier to be used
         * @param  p_headerFields    Additional HeaderInfo
         * @param  p_issuerIdentifier  Add digest or AT certificate or certificate chain
garciay's avatar
garciay committed
         * @return GeoNetworking payload
         */
        function f_sendSecuredBeacon(
                                     in charstring p_configId,
                                     in template (omit) HeaderInfo p_headerFields := omit,
                                     in SignerIdentifier p_issuerIdentifier// := e_certificate_digest_with_sha256
garciay's avatar
garciay committed
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GeoNetworkingPdu v_securedGnPdu := f_prepareSecuredBeacon(p_configId, p_headerFields, p_issuerIdentifier);
garciay's avatar
garciay committed
                   
            f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
garciay's avatar
garciay committed
                        
            return v_securedGnPdu;
            
        } // End of function f_sendSecuredBeacon
        
        /**
         * @desc   Sends a secured Beacon including wrong elements of protocols. It is used for BO test cases
         * @param  p_configId        The configuration identifier to be used
         * @param  p_protocolVersion     The protocol version to be set. Default: 2
         * @param  p_trailerStatus       The Traile behaviour:
         *                               <li>0 for no trailer</li>
         *                               <li>1 for invalid trailer</li>
         *                               <li>2 for duplicated trailer</li>
         * @param  p_headerFields    Additional HeaderInfo
         * @param  p_issuerIdentifier  Add digest or AT certificate or certificate chain
garciay's avatar
garciay committed
         * @return GeoNetworking payload
         */
        function f_sendSecuredBeacon_Bo(
                                        in charstring p_configId,
garciay's avatar
garciay committed
                                        in UInt8 p_protocolVersion := c_protocol_version,
garciay's avatar
garciay committed
                                        in integer p_trailerStatus := 1,
                                        in template (omit) HeaderInfo p_headerFields := omit,
                                        in SignerIdentifier p_issuerIdentifier// := e_certificate_digest_with_sha256
garciay's avatar
garciay committed
        ) runs on ItsGeoNetworking return GeoNetworkingPdu {
            // Local variables
            var GeoNetworkingPdu v_securedGnPdu := f_prepareSecuredBeacon_Bo(p_configId, p_protocolVersion, p_trailerStatus, p_headerFields, p_issuerIdentifier);
garciay's avatar
garciay committed
                   
            f_sendGeoNetMessage(valueof(m_geoNwReq_linkLayerBroadcast(v_securedGnPdu)));
garciay's avatar
garciay committed
                        
            return v_securedGnPdu;
            
        } // End of function f_sendSecuredBeacon_Bo
        
    } // End of group secBeacon
    
        * @desc    Triggers a CAM change speed events to get a CAM frequency greather than 1 Hz (i.e. more than one CAM per seconds)
        * @return  Reference to the component used to send the trigger
        * @remark  This function spawns an ItsCam component in alive mode
        * @see     fb_changeCamFrequencyGreatherThan1Hz()
        */
        function f_setCamFrequencyGreatherThan1Hz() runs on ItsBaseComponent return ItsCam {
            var ItsCam v_camComponent;
            
            v_camComponent := ItsCam.create("CAM Trigger");
            v_camComponent.start(fb_setCamFrequencyGreatherThan1Hz());
            
            return v_camComponent;
        } // End of function f_setCamFrequencyGreatherThan1Hz
        
        /**
        * @desc    Terminate CAM component execution
        * @param   Reference to the component used to send the trigger
        */
        function f_terminateCam(inout ItsCam p_camComponent) runs on ItsBaseComponent {
            
            p_camComponent.done;
            p_camComponent.kill;
            
        } // End of function f_terminateCam
        
        /**
        * @desc Behaviour function for triggering a CAM change speed event on IUT
        */
        function fb_setCamFrequencyGreatherThan1Hz() runs on ItsCam /* TITAN TODO: system ItsSecSystem */{
            var SpeedValue v_speedValues[5] := { 1000, 2000, 3000, 4000, 5000 } //cm/s
            var integer v_cntSpeed;
            var float v_timer := 0.2; // 1 / 5;
garciay's avatar
garciay committed

            log(">>> fb_setCamFrequencyGreatherThan1Hz");
            
            map(self:utPort, system:camUtPort);
            vc_default := activate(LibItsCam_Functions.a_utDefault());
            for (v_cntSpeed := 0; v_cntSpeed < lengthof(v_speedValues); v_cntSpeed:=v_cntSpeed + 1) {
                LibItsCam_Functions.f_utTriggerEvent(valueof(m_changeSpeed(v_speedValues[v_cntSpeed])));
                f_sleep(v_timer);
            } // End of 'for' statement
            
            unmap(self:utPort, system:camUtPort);
        }  // End of function fb_setCamFrequencyGreatherThan1Hz
        
    } // End of group camTrigger 
    
    group denmTrigger {
        
        /**
        * @desc    Triggers a DENM event on IUT
        * @remark  This function spawns an ItsDenm component in alive mode
        * @see     fb_secTriggerDenmEvent()
        * @return  Reference to the component used to send the trigger
        */
        function f_triggerDenmEvent() runs on ItsBaseComponent return ItsDenm {
            var ItsDenm v_denmComponent;
            
            v_denmComponent := ItsDenm.create("DENM Trigger");
            v_denmComponent.start(fb_secTriggerDenmEvent());
            v_denmComponent.done;
            
            return v_denmComponent;
        } // End of function f_triggerDenmEvent
        
        /**
        * @desc    Cancels all previously triggered DENM events on IUT
        * @param   p_denmComponent     Reference of the component previously used to trigger DENM events
        * @see     fb_secCancelDenmEvent()
        */
        function f_cancelDenmEvent(ItsDenm p_denmComponent) runs on ItsBaseComponent {
            var ItsDenm v_denmComponent;
            
            p_denmComponent.start(fb_secCancelDenmEvent());
            p_denmComponent.done;
            p_denmComponent.kill;
        } // End of function f_cancelDenmEvent
        
        /**
        * @desc Behaviour function for triggering a DENM event on IUT
        */
        function fb_secTriggerDenmEvent() runs on ItsDenm /* TITAN TODO: system ItsSecSystem */ {
            var template (value) SituationContainer v_situation := m_situation(LibItsCommon_ASN1_NamedNumbers.CauseCodeType_vehicleBreakdown_, LibItsCommon_ASN1_NamedNumbers.VehicleBreakdownSubCauseCode_unavailable_);
Yann Garcia's avatar
Yann Garcia committed

            log(">>> fb_secTriggerDenmEvent: ", v_situation);
            map(self:utPort, system:denmUtPort);
            vc_default := activate(LibItsDenm_Functions.a_utDefault());
Yann Garcia's avatar
Yann Garcia committed

            log("fb_secTriggerDenmEvent: Call LibItsDenm_Functions.f_utTriggerEvent with ", m_utTriggerEvent(v_situation, defaultValidity));
            vc_utActionIDs[0] := LibItsDenm_Functions.f_utTriggerEvent(m_utTriggerEvent(v_situation, defaultValidity));
Yann Garcia's avatar
Yann Garcia committed
            log("fb_secTriggerDenmEvent: actionId=", vc_utActionIDs[0]);
            
        }  // End of function f_secTriggerDenmEvent
        
        /**
        * @desc Behaviour function for cancelling previously triggered DENM events on IUT
        */
        function fb_secCancelDenmEvent() runs on ItsDenm /* TITAN TODO: system ItsSecSystem */ {
            
            // Local variables
            var integer v_counter;
            
            for (v_counter := 0; v_counter < lengthof(vc_utActionIDs); v_counter := v_counter + 1) {
                LibItsDenm_Functions.f_utTerminateEvent(m_utEventCancellation(vc_utActionIDs[v_counter]));
            } // End of 'for' statement
            
            unmap(self:utPort, system:denmUtPort);
            deactivate(vc_default);
            
        } // End of function f_secTriggerDenmEvent
        
    } // End of group denmTrigger
    
} // End of module ItsSecurity_Functions