LibItsDcc_TestSystem.ttcn

/**
 *    @author     ETSI / STF421
 *  @version      $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/branches/splitCalm/CALM/LibIts_TestSystem.ttcn $
 *                $Id: LibIts_TestSystem.ttcn 419 2012-03-12 13:17:27Z reinaortega $
 *    @desc       Test System module for ITS
 *
 */
module LibItsDcc_TestSystem {

    // LibCommon
    import from LibCommon_Time {modulepar all;}
    import from LibCommon_Sync all;
    
    // LibIts
    import from LibItsCommon_TypesAndValues all;
    import from LibItsCommon_TestSystem all;
    
    import from LibItsDcc_TypesAndValues all;
    
    group adapterInterface {
        
        group portDefinitions {
            
            /**
             * @desc Upper Tester port
             */
            type port UpperTesterPort message {
                out 
                    UtInitialize, UtTrigger;
                in 
                    UtResult, UtCommandIndication
            } // end UpperTesterPort
            
        } // end portDefinitions    

    } // end adapterInterface
    
    group interfaceComponents {
        
    } // End of group interfaceComponents
    
    group interfacePorts {
        
            /**
             * @desc IN Port used to trigger events at the access layer and to monitor the results
             */
            type port InPort message {
                in InSta;
                out InReq;
            } // End of port InPort
            
    } // End of group interfacePorts

    group componentDefinitions {

     /**
     * @desc ITS System Adapter
     */
    type component ItsDccSystem {
        
        port UpperTesterPort utPort;
        port InPort inPort;
        port SyncPort syncPort;
                    
    } // End of component ItsDccSystem
    
    /**
     * @desc Test component for ITS Access layer 
     */
    type component ItsDcc extends ItsBaseComponent {

        // IN ports
        port InPort inPort;
        //timers
        
        //component variables

        //default
        var default vc_default := null;
        
        //global variables
        
    } // End of component ItsDcc
    
    /**
     * @desc Test component for ITS Access layer 
     */
    type component UtComp extends ItsBaseComponent {

        port UpperTesterPort utPort;
        
        //timers
        
        //component variables

        //default
        var default vc_default := null;
        
        //global variables
        
    } // End of component UtComp
    } // End of group componentDefinitions
     
    group upperTester {
        
        /**
         * @desc Upper Tester message to initialize IUT 
         */
        type union UtInitialize {
            UtRadioInitialize utRadioInitialize
        }

        /**
         * @desc Upper Tester message to trigger an action on IUT 
         */
        type record UtTrigger {
            UtRadioEvent utRadioEvent
        }

        /**
         * @desc Upper Tester message describing an action/event 
         */
        type union UtCommandIndication {
            UtRadioCommandIndication utRadioCommandIndication
        }

        /**
         * @desc Upper Tester response message  
         */    
        type boolean UtResult;
        
            
    } // End of group upper tester 
    with {
        encode "LibIts_Interface"
    } // End of group interfacePrimitives
    } // End of module LibItsDtt_TestSystem