ItsSpatem_TpFunctions.ttcn

                log("*** " & testcasename() & ": PASS: SPATEM was transmitted to upper layer***");
                f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
            } else {
                log("*** " & testcasename() & ": FAIL: SPATEM was not transmitted to upper layer***");
                f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
            }
                
            // Postamble
            f_poDefault();
            f_cfDown();
            
        } // End of function f_IS_TLM_RCV_SSP_BV_05
        
        /**
         * @desc    TP Function for TC_IS_TLM_RCV_SSP_BO_06
         */
        function f_IS_TLM_RCV_SSP_BO_06 () runs on ItsMapemSpatem {
            
            // Local variables
            var SpatemReq   v_spatemReq;
            var integer    i;
                
            if (not PICS_SPATEM_RECEPTION or not PICS_IS_IUT_SECURED) {
                log("*** " & testcasename() & ": PICS_SPATEM_RECEPTION and PICS_IS_IUT_SECURED required for executing the TC ***");
                setverdict(inconc);
                stop;
            }
                
            // Test component configuration
            f_cfUp();
                
            // Preamble
            f_prInitialState();
            f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
                
            // Test Body
            v_spatemReq := valueof(m_spatemReq(
                                       m_spatemPdu(
                                           m_spatem(
                                               {m_intersection_maneuverAssistList(
                                                   { m_connectionManeuverAssist(2) }
                                               )}
                                           )
                                       )
                                   ));
            
            mapemSpatemPort.send(v_spatemReq) ;
            
            f_sleep(PX_TAC);
            for (i := 0; i < lengthof(vc_utSpatemEvents) and not match (v_spatemReq.msgOut , vc_utSpatemEvents[i].spateMsg); i := i + 1) {
                // empty on purpose 
            }
            if(lengthof(vc_utSpatemEvents)==0) {
                log("*** " & testcasename() & ": PASS: SPATEM was NOT transmitted to upper layer***");
                f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
            }
            else {
                log("*** " & testcasename() & ": FAIL: SPATEM was transmitted to upper layer***");
                f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
            }
                
            // Postamble
            f_poDefault();
            f_cfDown();
            
        } // End of function f_IS_TLM_RCV_SSP_BO_06
            
    } // End of group spateMessageProcessing
    
} // End of module ItsSpatem_TpFunctions