Commit 5deaf03b authored by Yann Garcia's avatar Yann Garcia
Browse files

Replace initial condition EPC_A/B by 5GC_A/B

parent bcac18c7
Loading
Loading
Loading
Loading
+13 −13
Original line number Diff line number Diff line
@@ -34,7 +34,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity not isRegisteredTo the IMS_A
        }
        
@@ -92,7 +92,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity not isRegisteredTo the IMS_A and
            the UE_A entity hasAchievedFirstRegistration
        }
@@ -151,7 +151,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity not isRegisteredTo the IMS_A
        }
        
@@ -192,7 +192,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_B and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_B and
            the UE_A entity not isRegisteredTo the IMS_B
        }
        
@@ -236,7 +236,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_B and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_B and
            the UE_A entity not isRegisteredTo the IMS_B
        }
        
@@ -318,7 +318,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A
         }
        
@@ -397,7 +397,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A
         }
        
@@ -443,7 +443,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A and
            the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP
         }
@@ -486,7 +486,7 @@ Package TP_GM {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity is5GRegisteredTo the 5GC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_A entity not isEmergencyRegisteredTo the IMS_A
            /* This implies that the UE is currently attached and registered 
@@ -527,7 +527,7 @@ Package TP_GM {
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A and
            the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP
        }
@@ -564,7 +564,7 @@ Package TP_GM {
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A and
            the UE_A entity hasAchievedInitialEmergencyINVITE
        }
@@ -601,7 +601,7 @@ Package TP_GM {
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A
        }
        
@@ -646,7 +646,7 @@ Package TP_GM {
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A
        }
        
+7 −7
Original line number Diff line number Diff line
/*
Copyright (c) ETSI 2023.
Copyright (c) ETSI 2023-2025.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
@@ -12,7 +12,7 @@ associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*
*  @author   TTF T010
*  @author   TTF T010 / TTF T044
*/

/* Mw interface at I-CSCF/S-CSCF */
@@ -36,7 +36,7 @@ Package TP_MW_IS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity not isRegisteredTo the IMS_A
        }
        
@@ -85,7 +85,7 @@ Package TP_MW_IS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity not isRegisteredTo the IMS_A and
            the UE_A entity hasAchievedFirstREGISTER
        }
@@ -144,7 +144,7 @@ Package TP_MW_IS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity not isRegisteredTo the IMS_A and
            the UE_A entity hasAchievedFirstREGISTER
        }
@@ -184,7 +184,7 @@ Package TP_MW_IS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity is5GRegisteredTo the 5GC_B and
            the UE_A entity isNotRegisteredTo the IMS_B
        }
        
@@ -223,7 +223,7 @@ Package TP_MW_IS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity is5GRegisteredTo the 5GC_B and
            the UE_A entity isNotRegisteredTo the IMS_B
        }
        
+6 −6
Original line number Diff line number Diff line
@@ -34,7 +34,7 @@ Package TP_MW_PS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity not isRegisteredTo the IMS_A
        }
        
@@ -96,7 +96,7 @@ Package TP_MW_PS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity not isRegisteredTo the IMS_A and
            the UE_A entity hasAchievedFirstREGISTER
        }
@@ -171,7 +171,7 @@ Package TP_MW_PS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity is5GRegisteredTo the 5GC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchievedFirstREGISTER
@@ -268,7 +268,7 @@ Package TP_MW_PS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A
        }
        
@@ -412,7 +412,7 @@ Package TP_MW_PS {
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A
        }
        
@@ -653,7 +653,7 @@ Package TP_MW_PS {
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A and
            the UE_A entity hasAchievedInitialEmergencyINVITE and
            the UE_A entity isRequestedToSend a CANCEL
+3 −3
Original line number Diff line number Diff line
@@ -31,8 +31,8 @@ Package Sip_Common {
            - Enum_DB
            - IMS_A
            - IMS_B
            - EPC_A
            - EPC_B
            - 5GC_A
            - 5GC_B
            - EPC_PCRF_A
            - EPC_PCRF_B
            - EPC_PGW_A
@@ -73,7 +73,7 @@ Package Sip_Common {
            - isEmergencyRegisteredTo
            - isNotAttachedTo
            - is5GRegisteredTo
            - isEmergencyAttachedTo
            - is5GEmergencyRegisteredTo
            - isNotConfiguredForTopologyHiding
            - isConfiguredForTopologyHiding
            - isExistingIn