LibItsPki_TestSystem.ttcn

/**
 *    @author     ETSI / STF545
 *    @version     $URL$
 *                $Id$
 *    @desc        Test System module for ITS PKI
 *    @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 LibItsPki_TestSystem {
  
  // LibCommon
  import from LibCommon_Sync all;
  import from LibCommon_Time all;
  
  // LibIts
  import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
  import from IEEE1609dot2 language "ASN.1:1997" all;
  import from EtsiTs102941BaseTypes language "ASN.1:1997" all;
  import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;
  import from EtsiTs102941MessagesItss language "ASN.1:1997" all;
  import from EtsiTs103097Module language "ASN.1:1997" all;
  
  // LibItsCommon
  import from LibItsCommon_TestSystem all;
  import from LibItsCommon_TypesAndValues all;
  
  // LibItsPki
  import from LibItsPki_TypesAndValues all;
  
  // LibItsGeoNetworking
  import from LibItsGeoNetworking_TestSystem all;
  
  // LibItsSecurity
  import from LibItsSecurity_TestSystem all;
  
  // LibItsHttp
  import from LibItsHttp_TestSystem all;
  
  group portDefinitions {
    
    /**
     * @desc Adapter control port
     */
    type port AdapterControlPort message {
      out AcPkiPrimitive;
      in AcPkiResponse;
    } // End of AdapterControlPort
    
    /**
     * @desc Upper Tester port
     */
    type port UpperTesterPort message {
      out UtPkiInitialize, UtPkiTrigger;
      in UtPkiResults;
    } // End of UpperTesterPort
    
  } // End of group portDefinitions

  group interfacePorts {
    
    type port PkiPort message {
      inout InnerEcRequest, InnerEcResponse;
    } // End of PkiPort
    
  } // End of group interfacePorts
  
  group componentDefinitions {
    
    type component ItsPkiSystem {
      port AdapterControlPort acPort;
      port PkiPort pkiPort;
    } // End of component ItsPkiSystem
    
    type component ItsPkiHttpSystem extends HttpTestAdapter{
    } // End of component ItsPkiHttpSystem
    
    type component ItsPkiItssSystem extends ItsPkiSystem {
      port UpperTesterPort utPort;
      port GeoNetworkingPort geoNetworkingPort;
    } // End of component ItsPkiItssSystem
    
  } // End of group componentDefinitions
  
  type component ItsPki extends ItsSecurityBaseComponent, ItsBaseMtc {
    port AdapterControlPort acPort;
    port PkiPort pkiPort;
    
    var Certificate vc_eaCertificate;       /** Test Adapter EA certificate */
  } // End of component ItsPki
  
  type component ItsPkiHttp extends ItsSecurityBaseComponent, HttpComponent {
    var Certificate vc_eaCertificate;       /** Test Adapter EA certificate */
    var octetstring vc_eaPrivateKey;        /** Test Adapter EA private key for signature */
    var octetstring vc_eaPrivateEncKey;     /** Test Adapter EA private key for encryption */
    var HashedId8   vc_eaHashedId8;         /** Test Adapter EA HashedId8 for decryption of IUT's response */
    var Certificate vc_peerEaCertificate;   /** IUT EA certificate for signature check */
    var octetstring vc_eaPeerWholeHash;     /** IUT EA whole-hash for signature check */
  } // End of component ItsPki
  
  type component ItsPkiItss extends ItsPki {
    port UpperTesterPort utPort;
    port GeoNetworkingPort geoNetworkingPort;
  } // End of component ItsPkiItss
  
} // End of module LibItsPki_TestSystem