module ItsPki_TestControl {
  
  // LibItsPki
  import from LibItsPki_Pics all;
  
  // AtsPki
  import from ItsPki_TestCases all;
  
  control {
    
    if (PICS_IUT_ITS_S_ROLE) {
      execute(TC_SEC_PKI_ITSS_ENR_BV_01());
    }
    
    if (PICS_IUT_EA_ROLE or PICS_IUT_COMBINED_EA_AA_ROLE) {
      execute(TC_SEC_PKI_SND_EA_BV_01());
      execute(TC_SEC_PKI_SND_EA_BV_02());
      execute(TC_SEC_PKI_SND_EA_BV_03());
      execute(TC_SEC_PKI_SND_EA_BV_04());
      execute(TC_SEC_PKI_SND_EA_BV_05());
      execute(TC_SEC_PKI_SND_EA_BV_06());
      execute(TC_SEC_PKI_SND_EA_BV_07());
      execute(TC_SEC_PKI_SND_EA_BV_08());
      execute(TC_SEC_PKI_SND_EA_BV_09());
      execute(TC_SEC_PKI_SND_EA_BV_10());
      execute(TC_SEC_PKI_SND_EA_BV_11());
      execute(TC_SEC_PKI_SND_EA_BV_12());
   }
   
   if (PICS_IUT_COMBINED_EA_AA_ROLE) {
     execute(TC_SEC_PKI_SND_EA_AA_BV_01());
   }
   if (PICS_IUT_AA_ROLE) {
     execute(TC_SEC_PKI_SND_AA_BV_01());
     execute(TC_SEC_PKI_SND_AA_BV_02());
     execute(TC_SEC_PKI_SND_AA_BV_03());
    }
    
  } // End of 'control' statement
  
}  // End of module module ItsPki_TestControl