LibItsCam_TestSystem.ttcn

/**
 *    @author   ETSI / STF405 / STF449 / STF484 / STF517
 *    @version  $Url: https://oldforge.etsi.org/svn/LibIts/tags/20170222_STF527_Final/ttcn/CAM/LibItsCam_TestSystem.ttcn $
 *              $Id: LibItsCam_TestSystem.ttcn 1318 2017-01-26 10:20:53Z filatov $
 *    @desc     Test System module for ITS CAM
 *    @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 LibItsCam_TestSystem language "TTCN-3:2010 Real Time and Performance Testing" {
    
    // LibCommon
//    import from LibCommon_Time {modulepar all};
//    import from LibCommon_Sync all;
    import from LibCommon_BasicTypesAndValues all;
    import from LibCommon_DataStrings all;
    
    // LibIts
    import from CAM_PDU_Descriptions language "ASN.1:1997" all;
//    import from DENM_PDU_Descriptions language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_TestSystem all;
    import from LibItsCommon_TypesAndValues all;    
    
    // LibItsCam
    import from LibItsCam_TypesAndValues all;
    
    group portDefinitions {
    
        /**
         * @desc Adapter control port
         */
        type port AdapterControlPort message {
            out
                AcGnssPrimitive, AcSecPrimitive;
            in
                AdapterControlResults;
        } // end AdapterControlPort
        
        /**
         * @desc Upper Tester port
         */
        type port UpperTesterPort message {
            out 
                UtCamInitialize, UtCamTrigger, UtCamChangePosition, UtActivatePositionTime, UtDeactivatePositionTime;
            in 
                UtCamResults, UtCamEventInd;
        } // end UpperTesterPort
        
    } // end portDefinitions

    group interfacePorts {

        group facilityPorts {
            
            group fa1Ports {
    
                /**
                 * @desc FA1 CAM Port (CAM/BTP/GeoNet/RadioNetwork) 
                 */
                type port CamPort message {
                    in CamInd;
                    out CamReq;
                } // End of port CamPort
                
            } // end fa1Ports
                
        } // End of group facilityPorts
    
    } // End of group interfacePorts
        
    group componentDefinitions {

        /**
         * @desc ITS System Adapter
         */
        type component ItsCamSystem {
            
            port UpperTesterPort utPort;
            port AdapterControlPort acPort;
            
            // FA1 ports
            port CamPort camPort;

        } // end component ItsAdapter
        
    } // End of group componentDefinitions
    
    /**
     * @desc Test component for ITS Facility layer 
     */
    type component ItsCam extends ItsBaseComponent {

        port UpperTesterPort utPort;
        port AdapterControlPort acPort;
        
        // FA1 ports
        port CamPort camPort;
        //timers
        
        //component variables
        var CamInd vc_camMsg;
        
        //default
        var default vc_default := null;
        
        //global variables
        var boolean vc_camReceived := false;

        var UtCamEventIndList vc_utEvents := {};
        
        var boolean vc_utDefaultActive := true;
        var boolean vc_camDefaultActive := true;
        
    } // End of component ItsCam
    
    group facilityPrimitives {
            
        group fa1Primitives {
            
            /**
             * @desc FA1 CAM Indication Primitive 
             */
            type record CamInd {
                CAM         msgIn,
                UInt64      recvTime,
                UInt8       gnNextHeader optional,
                UInt8       gnHeaderType optional,
                UInt8       gnHeaderSubtype optional,
                UInt32      gnLifetime optional,
                UInt8       gnTrafficClass optional,
                UInt16      btpDestinationPort optional,
                UInt16      btpInfo optional,
                Bit256      ssp optional,
                UInt32      its_aid optional
            }
            with {
                 encode (msgIn) "PER"
            }
                
            /**
             * @desc FA1 CAM Request Primitive 
             */
            type record CamReq {
                CAM msgOut
            }
            with {
                 encode (msgOut) "PER"
            }
            
        } // end fa1Primitives
            
    } // End of group facilityPrimitives
    with {
        variant ""
        encode "LibIts_Interface"
    } // end interfacePrimitives    
     
} // End of module LibItsCam_TestSystem