Commit da895da5 authored by Yann Garcia's avatar Yann Garcia
Browse files

Remove old TTCN-3 Test Suites

parent 05da1c7e
This diff is collapsed.
/**
* @author ETSI / STF455
* @version $URL$
* $Id$
* @desc Access Technology Layer (ISO 21218) PICS
*/
module LibItsAtsp_Pics {
/**
* @desc ATSP PICS
*/
group atspPics {
/**
* @desc PICS mnemonics for ISO 21218 "ITS - CALM - Access Technology Support"
* @see ETSI TS 102 760-1 v_stf455_v06
*/
modulepar boolean PICS_ACT := false;
/**
* @desc Is IUT supporting BC-VCI transmitter?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/4
*/
modulepar boolean PICS_BCVCI := false;
/**
* @desc Is IUT of CI access class CIAC-1 (no user authentiaction required, usage of CI is free of charge)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.6/1
*/
modulepar boolean PICS_CIAC1 := false;
/**
* @desc Is IUT of CI access class CIAC-2 (access credentials required, usage of CI is subject of a service charge?
* @see ETSI TS 102 760-1 v_stf455_v06 C.6/2
*/
modulepar boolean PICS_CIAC2 := false;
/**
* @desc Is IUT of CI access class CIAC-3 (access credentials required, usage of CI is free of charge)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.6/3
*/
modulepar boolean PICS_CIAC3 := false;
/**
* @desc Is IUT of CI class CIC-il1 (non-deterministic ITS station-internal network interface)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.5/6
*/
modulepar boolean PICS_CIC_il1 := false;
/**
* @desc Is IUT of CI class CIC-il2 (deterministic ITS station-internal network interface)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.5/7
*/
modulepar boolean PICS_CIC_il2 := false;
/**
* @desc Is IUT of CI class CIC-l1 (multiple simultaneous peer stations transceiver)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.5/1
*/
modulepar boolean PICS_CIC_l1 := false;
/**
* @desc Is IUT of CI class CIC-l2 (single peer station transceiver)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.5/2
*/
modulepar boolean PICS_CIC_l2 := false;
/**
* @desc Is IUT of CI class CIC-l3 (groupcast transmitter only)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.5/3
*/
modulepar boolean PICS_CIC_l3 := false;
/**
* @desc Is IUT of CI class CIC-l4 (broadcast receiver only)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.5/4
*/
modulepar boolean PICS_CIC_l4 := false;
/**
* @desc Is IUT of CI class CIC-l5 (CEN / Japanese DSRC)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.5/5
*/
modulepar boolean PICS_CIC_l5 := false;
/**
* @desc Is IUT supporting the connection procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/7
*/
modulepar boolean PICS_CONN := false;
/**
* @desc Is IUT supporting the Cross-CI prioritization - interferer procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/10
*/
modulepar boolean PICS_CRCIP_I := false;
/**
* @desc Is IUT supporting the Cross-CI prioritization - victim procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/9
*/
modulepar boolean PICS_CRCIP_V := false;
/**
* @desc Is IUT supporting deletion of VCIs?
* @see ETSI TS 102 760-1 v_stf455_v04 C.11/18
*/
modulepar boolean PICS_DELET := false;
/**
* @desc Is IUT supporting the disconnection procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/8
*/
modulepar boolean PICS_DISCONN := false;
/**
* @desc Is IUT supporting dynamic registration using the standardized registration procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.1/1
*/
modulepar boolean PICS_DYNREG := true;
/**
* @desc Is IUT supporting the inactivation procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/3
*/
modulepar boolean PICS_INACT := false;
/**
* @desc Is IUT supporting the IN-UNITDATA-STATUS service?
* @see ETSI TS 102 760-1 v_stf455_v06 C.12/2
*/
modulepar boolean PICS_INUDS := false;
/**
* @desc Is IUT supporting notification-only I-Parameters?
* @see ETSI TS 102 760-1 v_stf455_v06 C.24 any selected notify-only I-Parameter
*/
modulepar boolean PICS_IPNO := false;
/**
* @desc Is IUT supporting read-only I-Parameters?
* @see ETSI TS 102 760-1 v_stf455_v06 C.21 and C.22 any selected read-only I-Parameter
*/
modulepar boolean PICS_IPRO := false;
/**
* @desc Is IUT supporting read/write I-Parameters?
* @see ETSI TS 102 760-1 v_stf455_v06 C.19 and C.20 any selected read/write I-Parameter
*/
modulepar boolean PICS_IPRW := false;
/**
* @desc Is IUT supporting write-only I-Parameters?
* @see ETSI TS 102 760-1 v_stf455_v06 C.23 any selected write-only I-Parameter
*/
modulepar boolean PICS_IPWO := false;
/**
* @desc Is IUT useing 48 bit MAC addresses?
* @see ETSI TS 102 760-1 v_stf455_v06 C.4/1
*/
modulepar boolean PICS_MAC48 := false;
/**
* @desc Is IUT supporting MC-VCI transmitter?
* @see ETSI TS 102 760-1 v_stf455_v06 C.8/2
*/
modulepar boolean PICS_MCVCI := false;
/**
* @desc Is IUT supporting rejection of DL-UNITDATA.reqeusts with user priority smaller than given in parameter "MinimumUserPriority"?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/20
*/
modulepar boolean PICS_REJECT := false;
/**
* @desc Is IUT supporting the resuming procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/6
*/
modulepar boolean PICS_RES := false;
/**
* @desc Is IUT supporting the Regulatory Information Management procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/12
*/
modulepar boolean PICS_RIM := false;
/**
* @desc Is IUT supporting SNAP?
* @see ETSI TS 102 760-1 v_stf455_v06 C.13/1
*/
modulepar boolean PICS_SNAP := false;
/**
* @desc Is IUT supporting the suspension procedure?
* @see ETSI TS 102 760-1 v_stf455_v06 C.11/5
*/
modulepar boolean PICS_SUSP := false;
/**
* @desc Is IUT supporting UC-VCI (transmitter and receiver)?
* @see ETSI TS 102 760-1 v_stf455_v06 C.8/3
*/
modulepar boolean PICS_UCVCI := false;
/**
* @desc Is IUT supporting the UnitDataCmd command?
* @see ETSI TS 102 760-1 v_stf455_v06 C.15/12
*/
modulepar boolean PICS_UDC := false;
/**
* @desc Is IUT supporting the WakeUp command?
* @see ETSI TS 102 760-1 v_stf455_v06 C.15/4
*/
modulepar boolean PICS_WAKEUP := false;
/**
* @desc Is IUT supporting the IN-UNITDATA-STATUS service primitive?
* @see ETSI TS 102 760-1 v_stf455_v06 C.12/2
*/
modulepar boolean PICS_IN_UNITDATA_STATUS := false;
/**
* @desc Is IUT supporting the Monitor command?
* @see ETSI TS 102 760-1 v_stf455_v06 C.15/11
*/
modulepar boolean PICS_MONITOR := false;
} // End of group atspPics
} // End of module LibItsAtsp_Pics
/**
* @author ETSI / STF455
* @version $URL$
* $Id$
* @desc Access Technology Layer (ISO 21218) Pixits
*/
module LibItsAtsp_Pixits {
import from CALMllsap language "ASN.1:1997" {
type
EUI64, MedID, VCIserialNumber, IN_SAPaddress, I_ParamNo, I_Param, MedID
};
import from CALMmanagement language "ASN.1:1997" {
type
ITS_scuId
};
import from CALMmsap language "ASN.1:1997" {
type
DataUnitData, ParameterUnitData
};
import from LibItsAtsp_TypesAndValues all;
import from LibCommon_BasicTypesAndValues {
type
UInt8, UInt6
};
group Iparameter {
/**
* @desc Expected ITS-SCU-ID of the IUT CI
* @see ISO 21218 - Clause 6.2 Link Identifier
* I-Parameter No c_ciIParamNoITS_scuId
*/
modulepar ITS_scuId PX_ITS_SCU_ID := 0;
/**
* @desc Expected MedID of the IUT CI
* @see ISO 21218 - Clause 6.2 Link Identifier
* I-Parameter No c_ciIParamNoMedID
*/
modulepar MedID PX_Med_ID := 0;
/**
* @desc Expected MedType of the IUT CI
* @see ISO 21218 - Clause 6.3 Link Identifier
* I-Parameter No c_ciIParamNoMedID
*/
modulepar MedID PX_CI_MED_TYPE := 5;
/**
* @desc MedType of potential interferer
* @see ISO 21218 - Clause 6.3 Link Identifier
* used in PrioReg
*/
modulepar MedID PX_CI_INTERFERER_MED_TYPE := 5;
/**
* @desc Unknown I-Parameter No
* @see ISO 21218 - Clause 6.3 Link Identifier
*/
modulepar I_ParamNo PX_CI_UNKNOWN_PARAM_NO := 255;
/**
* @desc Not supported I-Parameter
* @see ISO 21218 - Clause 6.3 Link Identifier
*/
modulepar I_Param PX_CI_NO_SUPPORT_PARAM := {paramNo := PX_CI_NO_SUPPORT_PARAM_NO, parameter := {UserPriority := 0} };
modulepar I_ParamNo PX_CI_NO_SUPPORT_PARAM_NO := 125;
/**
* @desc Supported I-Parameter with write or read/write access
* @see ISO 21218 - Clause 6.3 Link Identifier
*/
modulepar I_Param PX_CI_SUPPORT_PARAM_WR := {paramNo := PX_CI_SUPPORT_PARAM_WR_NO, parameter := {DataRate := 125} };
modulepar I_ParamNo PX_CI_SUPPORT_PARAM_WR_NO := 39;
/**
* @desc Supported Read-Only or Notify-Only I-Parameter
* @see ISO 21218 - Clause 6.3 Link Identifier
*/
modulepar I_ParamNo PX_CI_SUPPORT_NO_WRITE_ACCESS_PARAM_NO := c_ciIParamNoCiStatus;
modulepar I_Param PX_CI_SUPPORT_NO_WRITE_ACCESS_PARAM := {paramNo := PX_CI_SUPPORT_NO_WRITE_ACCESS_PARAM_NO, parameter := {CIstatus := 0} };
} // End of group Iparameter
/**
* @desc T_DummyAckReq timer for prioritization procedure
* @see ISO 21218 - Clause 6.4.11.3
*/
modulepar float PX_TIMER_DUMMYAckReq := 0.1; // in seconds In reality the value has to be smaller
/**
* @desc Expected IN-SAP address
* @see ISO 21218 - Clause 8.2 Addressing
* FNTP: 186
* IPv6: 182
*/
modulepar IN_SAPaddress PX_IN_SAP_ADDRESS := 186;
/**
* @desc Expected VCIserialNumber of the IUT UC-VCI
* @see ISO 21218 - Clause 6.3 Link Identifier
*/
modulepar VCIserialNumber PX_VCI_SERIAL_NUMBER := 0;
/**
* @desc Expected VCIserialNumber of the IUT MC-VCI
* @see ISO 21218 - Clause 6.3 Link Identifier
*/
modulepar VCIserialNumber PX_VCI_SERIAL_NUMBER_MC := 0;
/**
* @desc MultiCast group ID of the IUT legacy CI
* @see ISO 21218 - Clause 6.3 Link Identifier
* Range from 1 through 62
*/
modulepar UInt6 PX_LEGACY_VCI_MC_GROUP_ID := 1;
/**
* Wait until the IUT is in a stable situation
*/
modulepar float PX_WAIT_FOR_IUT_READY := 1.0;
/**
* Data in UnitData
*/
modulepar DataUnitData PX_DATA_UNITDATA := 'ABCDEF'O;
/**
* Parameter in UnitData
*/
modulepar ParameterUnitData PX_PARAMETER_UNITDATA := '012345'O;
/**
* @desc Identifies RemoteLocalCIID group
* Values of RemoteCIID and LocalCIID
* @see ISO 21218 - Clause 6.3 Link Identifier and 8.2.2 Tables 6 and 7
*/
group RemoteLocalCIID {
/**
* @desc Identifies RemoteCIID of local VCI
*/
// modulepar EUI64 PX_REMOTE_CIID_LOCAL := 'FFFFFFFFFEFFFFFF'O; // DNI
modulepar EUI64 PX_REMOTE_CIID_LOCAL_CI := PX_LOCAL_CIID;
/**
* @desc Identifies the VCI localCIID on ITS-S router (e.g. It coud be the G5 radio MAC address of the IUT)
* NOTE 0A0B0CFFFE0D0E0F is MAC address 0A:0B:0C:0D:0E:0F
*/
// modulepar EUI64 PX_LOCAL_CIID := 'FFFFFFFFFEFFFFFF'O ; // DNI
modulepar EUI64 PX_LOCAL_CIID := '0A0B0CFFFE0D0E0F'O; // Commsignia FNTP setting (laptop)
// modulepar EUI64 PX_LOCAL_CIID := 'FFFFFFFFFEFFFFFF'O ; // Commsignia FSAP setting
// modulepar EUI64 PX_LOCAL_CIID := 'D4CA6DFFFF55A72C'O ; // Commsignia FNTP setting (ITS-S box)
// modulepar EUI64 PX_LOCAL_CIID := '000C42FFFF6A9E2C'O; // Peek setting (@home)
// modulepar EUI64 PX_LOCAL_CIID := '000C42FFFF974497'O; // Peek setting (@office)
/**
* @desc Identifies RemoteCIID of VCI on ITS test system
*/
// modulepar EUI64 PX_TESTER_REMOTE_CIID_LOCAL := 'FFFFFFFFFEFFFFFF'O; // DNI
modulepar EUI64 PX_TESTER_REMOTE_CIID_LOCAL_CI := PX_TESTER_LOCAL_CIID;
/**
* @desc Identifies the VCI localCIID on ITS test system (e.g. It coud be the G5 radio MAC address of the IUT)
* NOTE 0A0B0CFFFE0D0E0F is MAC address 0A:0B:0C:0D:0E:0F
*/
modulepar EUI64 PX_TESTER_LOCAL_CIID := 'FFFFFFFFFEFFFFFF'O ; // DNI
// modulepar EUI64 PX_TESTER_LOCAL_CIID := '0A0B0CFFFE0D0E0F'O; // tbd
/**
* @desc Identifies the VCI for broadcast on ITS-S router
* Note that U/L bit is set to 1 for broadcast
*/
modulepar EUI64 PX_REMOTE_CIID_BC := 'FFFFFFFFFEFFFFFF'O;
/**
* @desc Identifies the VCI for multicast on ITS-S router
*/
modulepar EUI64 PX_REMOTE_CIID_MC := 'EF0008FFFE011234'O;
/**
* @desc Identifies the VCI for unicast on ITS-S router (peer station) (
* this is the MAC address of the ITS test system
*/
modulepar EUI64 PX_REMOTE_CIID_UC := '030008FFFE010001'O; // Commsignia setting
// modulepar EUI64 PX_REMOTE_CIID_UC := '030008FFFF010001'O; // Peek setting
/**
* @desc Identifies the VCI for unicast transmission to the IUT) (
* this is the MAC address of the IUT
*/
modulepar EUI64 PX_TESTER_REMOTE_CIID_UC := '030008FFFE010001'O; // tbd
} // End of group RemoteLocalCIID
} // End of module LibItsAtsp_Pixits
This diff is collapsed.
/**
* @author ETSI / STF455
* @version $URL$
* $Id$
* @desc Types and constants definitions for Access Technology Layer (ISO 21218)
*/
module LibItsAtsp_TypesAndValues {
import from CALMiitsscu language "ASN.1:1997" {
type
McmdRq
};
import from CALMmsap language "ASN.1:1997" {
type
SimIUTcmd, SimIUTreq, CIstateChng,
MI_Command_request, MI_Command_confirm,
MI_Request_request, MI_Request_confirm,
MI_Get_request, MI_Get_confirm,
MI_Set_request, MI_Set_confirm,
ErrStatus, WakeUp,
CONcmd
};
import from CALMllsap language "ASN.1:1997" {
type
INsapPrimitivesUp, INsapPrimitivesDown,
I_ParamNo, INtxStatus, CIstatus,
UserPriority
};
import from LibCommon_BasicTypesAndValues {
type
UInt8
};
group cfContants {
const UInt8 c_miCmd_regCmd := 1;
const UInt8 c_miCmd_ciState := 2;
const UInt8 c_miCmd_wakeUp := 3;
const UInt8 c_miCmd_rTScmd := 4;
const UInt8 c_miCmd_rTSackCmd := 5;
const UInt8 c_miCmd_cONcmd := 6;
const UInt8 c_miCmd_rIcmd := 7;
const UInt8 c_miCmd_manuCmd := 8;
const UInt8 c_miCmd_vciCmd := 9;
const UInt8 c_miCmd_monitor := 10;
const UInt8 c_miCmd_unitDataCmd := 11;
const UInt8 c_miCmd_UnknownCmd := 254; // this is not part of the standard, only for testing.
const UInt8 c_miCmd_testMI := 255;
const UInt8 c_miReq_regReq := 1;
const UInt8 c_miReq_prioReg := 2;
const UInt8 c_miReq_rTSreq := 3;
const UInt8 c_miReq_rTSackReq := 4;
const UInt8 c_miReq_rIreq := 5;
const UInt8 c_miReq_manuReq := 6;
const UInt8 c_miReq_events := 7;
const UInt8 c_miReq_posUpdateReq := 8;
const UInt8 c_miReq_unitDataReq := 9;
const UInt8 c_miReq_testMIecho := 255;
const CONcmd c_ciConDeleteAC := 0;
const CONcmd c_ciConConnect := 1;
const CONcmd c_ciConDisconnect :=255;
const CIstateChng c_ciStateChngDeregister := 0;
const CIstateChng c_ciStateChngActivate := 4;
const CIstateChng c_ciStateChngResume := 8;
const CIstateChng c_ciStateChngConnect := 16;
const CIstateChng c_ciStateChngDisconnect := 32;
const CIstateChng c_ciStateChngSuspend := 64;
const CIstateChng c_ciStateChngInactivate := 128;
const CIstateChng c_ciStateChngInvalidValue := 255;
const CIstatus c_ciStatusNot_existent := 0;
const CIstatus c_ciStatusExistent := 1;
const CIstatus c_ciStatusUnknown := 2;
const CIstatus c_ciStatusRegistered := 4;
const CIstatus c_ciStatusActive := 8;
const CIstatus c_ciStatusConnected := 16;
const CIstatus c_ciStatusSuspended := 64;
const CIstatus c_ciStatusInactive := 128;
const UInt8 c_PrioStatus_release := 0;
const UInt8 c_PrioStatus_request :=16;
const UInt8 c_PrioStatus_ignored := 64;
const UInt8 c_PrioStatus_granted := 128;
const I_ParamNo c_ciIParamNoErrors := 0;
const I_ParamNo c_ciIParamNoCommProfile := 2;
const I_ParamNo c_ciIParamNoProperties := 3;
const I_ParamNo c_ciIParamNoManuDeviceID := 4;
const I_ParamNo c_ciIParamNoITS_scuId := 5;
const I_ParamNo c_ciIParamNoMedID := 6;
const I_ParamNo c_ciIParamNoLocalCIID := 7;
const I_ParamNo c_ciIParamNoTimeoutReg := 8;
const I_ParamNo c_ciIParamNoMacAddress := 9;
const I_ParamNo c_ciIParamNoMacAddrTemp := 10;
const I_ParamNo c_ciIParamNoCiClass := 11;
const I_ParamNo c_ciIParamNoCiaClass := 12;
const I_ParamNo c_ciIParamNoCiStatus := 13;
const I_ParamNo c_ciIParamNoNotify := 16;
const I_ParamNo c_ciIParamNoMedType := 17;
const I_ParamNo c_ciIParamNoRegInfo := 18;
const I_ParamNo c_ciIParamNoConnect := 19;
const I_ParamNo c_ciIParamNoSimPin := 20;
const I_ParamNo c_ciIParamNoProviderInfo := 21;
const I_ParamNo c_ciIParamNoMinUserPriority := 22;
const I_ParamNo c_ciIParamNoQueueLevel := 23;
const I_ParamNo c_ciIParamNoQueueLowTh := 24;
const I_ParamNo c_ciIParamNoQueueAlarmTh := 25;
const I_ParamNo c_ciIParamNoDistancePeer := 26;
const I_ParamNo c_ciIParamNoCommRangeRef := 27;
const I_ParamNo c_ciIParamNoTimeOfLastRecep := 28;
const I_ParamNo c_ciIParamNoInactTimeLimit := 29;
const I_ParamNo c_ciIParamNoMediumUsage := 30;
const I_ParamNo c_ciIParamNoMedUseObsTime := 31;
const I_ParamNo c_ciIParamNoPeerMAC := 32;
const I_ParamNo c_ciIParamNoVirtualCI := 33;
const I_ParamNo c_ciIParamNoMinPrioCrossCI := 34;
const I_ParamNo c_ciIParamNoRxSens := 35;
const I_ParamNo c_ciIParamNoTxPower := 36;
const I_ParamNo c_ciIParamNoTxPowMax := 37;
const I_ParamNo c_ciIParamNoPeerRXpower := 38;
const I_ParamNo c_ciIParamNoDataRate := 39;
const I_ParamNo c_ciIParamNoDataRateNW := 40;
const I_ParamNo c_ciIParamNoDataRatesNW := 41;
const I_ParamNo c_ciIParamNoDataRateNWreq := 42;
const I_ParamNo c_ciIParamNoDirectivity := 43;
const I_ParamNo c_ciIParamNoBlockLength := 44;
const I_ParamNo c_ciIParamNoFreeAirTime := 45;
const I_ParamNo c_ciIParamNoFrameLengthMax := 46;
const I_ParamNo c_ciIParamNoKineVectIn := 47;
const I_ParamNo c_ciIParamNoKineVectOut := 48;
const I_ParamNo c_ciIParamNoCost := 49;
const I_ParamNo c_ciIParamNoReliability := 50;
const I_ParamNo c_ciIParamNoLogicalChannel := 51;
const UserPriority c_IParamValueMinPrioCrossCI := 100;
const ErrStatus c_ciErrStatusSuccess := 0;
const ErrStatus c_ciErrStatusUnspecFailure := 1;
const ErrStatus c_ciErrStatusInvalParamNo := 2;
const ErrStatus c_ciErrStatusInvalParamVal := 3;
const ErrStatus c_ciErrStatusRiViolation := 4;
const ErrStatus c_ciErrStatusCmdReqNo := 5;
const ErrStatus c_ciErrStatusCmdReqVal := 6;
const ErrStatus c_ciErrStatusAccessViolation := 7;
const ErrStatus c_ciErrStatusInvalidType := 8;
const ErrStatus c_ciErrStatusSequenceError := 9;
const ErrStatus c_ciErrStatusNonavailValue := 10;
const ErrStatus c_ciErrStatusHardwareFailure := 255;
const WakeUp c_ciWakeUpDisable := 0;
const WakeUp c_ciWakeUpEnable := 255;
const INtxStatus c_ciINtxStatus_Success := 0;
const INtxStatus c_ciINtxStatus_QueueFull := 1;
const INtxStatus c_ciINtxStatus_Timeout := 2;
const INtxStatus c_ciINtxStatus_Priority := 3;
const INtxStatus c_ciINtxStatus_unspecFailure := 255;
}
group cnPrimitives {
/**
* @desc Trigger to initialize the IUT.
* @member McmdRq MN-COMMAND-Request message to initialize the upper tester
*
* @see TS 1xx xxx V<0.0.0> (<2013-04>)
*/
type record UtAtspInitialize {