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;
  
  // LibItsCommon
  import from LibItsCommon_TestSystem all;
  import from LibItsCommon_TypesAndValues all;
  import from LibItsExternal_TypesAndValues 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;
  
  // LibItsHttp
  import from LibItsHttp_TestSystem all;
  
  // LibItsSecurity
  import from LibItsSecurity_TestSystem all;
  
  // LibItsGeoNetworking
  import from LibItsGeoNetworking_TestSystem all;
  
  // LibItsPki
  import from LibItsPki_TypesAndValues all;
  
  /**
   * @desc Adapter control port
   */
  type port AdapterControlPkiPort message {
    out AcPkiPrimitive;
    in AcPkiResponse;
  } // End of AdapterControlPkiPort
  
  type port PkiPort message {
    inout InnerEcRequest, InnerEcResponse;
  }
  
  type component ItsPkiSystem {
    port AdapterControlPkiPort acPkiPort;
    port PkiPort pkiPort;
  } // End of component ItsPkiSystem
  
  type component ItsPkiHttpSystem extends HttpTestAdapter{
  } // End of component ItsPkiHttpSystem
  
  type component ItsPkiItssSystem extends ItsPkiSystem {
    port GeoNetworkingPort geoNetworkingPort;
  } // End of component ItsPkiItssSystem
  
  type component ItsPki extends ItsSecurityBaseComponent, ItsBaseMtc {
    port AdapterControlPkiPort acPkiPort;
    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 octetstring vc_eaPeerWholeHash;     /** IUT EA whole-hash for signature check */
  } // End of component ItsPki
  
  type component ItsPkiItss extends ItsPki {
    port GeoNetworkingPort geoNetworkingPort;
  } // End of component ItsPkiItss
  
} // End of module LibItsPki_TestSystem