LibItsBtp_TestSystem.ttcn 3.32 KB
Newer Older
reinaortega's avatar
reinaortega committed
/**
garciay's avatar
garciay committed
 *  @author      ETSI / STF405
garciay's avatar
garciay committed
 *  @version     $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/BTP/LibItsBtp_TestSystem.ttcn $
 *               $Id: LibItsBtp_TestSystem.ttcn 1318 2017-01-26 10:20:53Z filatov $
garciay's avatar
garciay committed
 *  @desc        Test System module for ITS BTP
 *  @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.
reinaortega's avatar
reinaortega committed
 *
 */
module LibItsBtp_TestSystem {
    
    // LibCommon
filatov's avatar
filatov committed
//    import from LibCommon_Time {modulepar all};
//    import from LibCommon_Sync all;
reinaortega's avatar
reinaortega committed
    
    // LibIts
    import from LibItsCommon_TestSystem all;
    import from LibItsCommon_TypesAndValues all;
reinaortega's avatar
reinaortega committed
    import from LibItsBtp_TypesAndValues all;
    
    group portDefinitions {
    
        /**
         * @desc Upper Tester port
         */
        type port UpperTesterPort message {
            out 
garciay's avatar
garciay committed
                UtBtpInitialize, UtBtpTrigger;
reinaortega's avatar
reinaortega committed
            in 
garciay's avatar
garciay committed
                UtBtpResults, UtBtpEventInd;
reinaortega's avatar
reinaortega committed
        } // end UpperTesterPort
        
    } // end portDefinitions

    group interfacePorts {

        group networkAndTransportPorts {
            
            group nt1Ports {

                /**
                 * @desc NT1 BTP Port (BTP/GeoNet/RadioNetwork) 
reinaortega's avatar
reinaortega committed
                 */
                type port BtpPort message {
                    in BtpInd;
                    out BtpReq;
                } // end BtpPort
                                
            } // End of group nt1Ports
            
        } // End of group networkAndTransportPorts
    
    } // End of group interfacePorts
    
    group componentDefinitions {

        /**
         * @desc ITS System Adapter
         */
        type component ItsBtpSystem {
            
            port UpperTesterPort utPort;
            
            // NT1 ports 
            port BtpPort btpPort;
            
        } // end component ItsAdapter
        
    } // End of group componentDefinitions
    
    /**
     * @desc Test component for ITS Network and Transport layer 
     */
    type component ItsBtp extends ItsBaseComponent {
        
        port UpperTesterPort utPort;
        
        // NT1 ports 
        port BtpPort btpPort;
                
        // timers
                
        var UtBtpEventIndList vc_utEvents := {};
        
garciay's avatar
garciay committed
        var boolean vc_utDefaultActive := true;
        var boolean vc_btpDefaultActive := true;
        
reinaortega's avatar
reinaortega committed
    } // End of component ItsBtp
        
    group networkAndTransportPrimitives { 
            
        group nt1Primitives {

            /**
             * @desc NT1 BTP Indication Primitive 
             */
            type record BtpInd {
                BtpPacket msgIn
            }
        
            /**
             * @desc NT1 BTP Request Primitive 
             */
            type record BtpReq {
                BtpPacket msgOut
            }
                        
        } // end nt1Primitives
        
    } // End of group networkAndTransportPrimitives    
filatov's avatar
filatov committed
        with {
           encode "LibIts_Interface"
reinaortega's avatar
reinaortega committed
    } // end interfacePrimitives    
     
} // End of module LibItsBtp_TestSystem