Commit fc12bf3e authored by wattelet's avatar wattelet
Browse files

Map Spat update

parent d8e4af69
Loading
Loading
Loading
Loading
+67 −0
Original line number Diff line number Diff line
@@ -18,5 +18,72 @@ module LibItsMapSpat_TestSystem {
    
    import from DSRC language "ASN.1:1997" all;
    import from EU language "ASN.1:1997" all;
    import from MAP_SPAT_CEN language "ASN.1:1997" all;

    group portDefinitions {
    
        /**
         * @desc Upper Tester port
         */
        type port UpperTesterPort message { out UtInitialize ; in UtInitializeResult }

    } // end portDefinitions

    group interfacePorts {

		/**
		* @desc Application MapSpat Port
		*/
		type port MapSpatPort message { in MapInd , SpatInd ; out MapReq , SpatReq }
    
    } // End of group interfacePorts


	/**
	* @desc ITS System Adapter
	*/
	type component ItsMapSpatSystem {
            
		port UpperTesterPort utPort;
		port MapSpatPort mapSpatPort;

	} // end component ITS System Adapter
     
    /**
     * @desc Test component for ITS MAP-SPAT application layer 
     */
    type component ItsMapSpat extends ItsBaseComponent {

        port UpperTesterPort utPort;
        port MapSpatPort mapSpatPort;
        //timers
        
        //component variables
        var MapInd vc_mapMsg;
		var SpatInd vc_spatMsg;
		
        //default
        var default vc_default := null;
        
        //global variables
        var boolean vc_mapReceived := false;
        var boolean vc_spatReceived := false;
    } // End of component ItsMapSpat

	group ApplPrimitives {
            
		/**
		* @desc Appl MAP and SPAT Indication Primitive 
		*/
        type record MapInd { MAP msgIn }
		type record SpatInd { SPAT msgIn }
                
        /**
        * @desc Appl MAP and SPAT Request Primitive 
        */
        type record MapReq { MAP msgOut }
        type record SpatReq { SPAT msgOut }
            
	} // end ApplPrimitives

} // End of module LibItsMapSpat_TestSystem