diff options
Diffstat (limited to 'pcu/GPRS_Components.ttcn')
-rw-r--r-- | pcu/GPRS_Components.ttcn | 1012 |
1 files changed, 817 insertions, 195 deletions
diff --git a/pcu/GPRS_Components.ttcn b/pcu/GPRS_Components.ttcn index 2807b92a..849a251d 100644 --- a/pcu/GPRS_Components.ttcn +++ b/pcu/GPRS_Components.ttcn @@ -16,11 +16,8 @@ import from General_Types all; import from Osmocom_Types all; import from GSM_Types all; import from GSM_RR_Types all; +import from GSM_RestOctets all; -import from Osmocom_VTY_Functions all; -import from TELNETasp_PortType all; - -import from MobileL3_GMM_SM_Types all; import from RLCMAC_CSN1_Types all; import from RLCMAC_CSN1_Templates all; import from RLCMAC_Types all; @@ -29,20 +26,14 @@ import from RLCMAC_Templates all; import from MobileL3_CommonIE_Types all; import from L3_Templates all; -import from NS_Types all; -import from BSSGP_Types all; -import from Osmocom_Gb_Types all; - -import from BSSGP_Emulation all; /* BssgpConfig */ -import from NS_Emulation all; /* NSConfiguration */ - -import from UD_Types all; import from PCUIF_Types all; -import from PCUIF_CodecPort all; import from PCUIF_Components all; -import from IPL4asp_Types all; import from Native_Functions all; -import from SGSN_Components all; + +modulepar { + /* ARFCN of 1st TRX. Subsequent TRX are allocated incrementing ARFCNs. Nth TRX => base_arfcn + N-1 */ + GsmArfcn mp_base_arfcn := 871; +}; type record TsTrxBtsNum { uint3_t ts_nr, @@ -51,6 +42,12 @@ type record TsTrxBtsNum { uint8_t blk_nr }; +/* Useful to store poll FN + BTS+TRX+TS requested by network */ +type record PollFnCtx { + TsTrxBtsNum tstrxbts, + uint32_t fn +}; + template (value) TsTrxBtsNum ts_TsTrxBtsNum(uint3_t ts_nr := 7, uint3_t trx_nr := 0, uint8_t bts_nr := 0, @@ -76,10 +73,13 @@ type union PacketDlAssignChan { }; type record DlTbf { - GsmRrMessage rr_imm_ass, - PacketDlAssignChan ass, + GsmRrMessage rr_imm_ass optional, + PacketDlAssignChan ass optional, uint5_t tfi, - AckNackDescription acknack_desc + GsmArfcn arfcn optional, + BIT8 ts_mask, + AckNackDescription acknack_desc, + EgprsAckNackDescription egprs_acknack_desc }; type union PacketUlAssignChan { @@ -92,10 +92,13 @@ type record UlTbf { GsmRrMessage rr_imm_ass optional, PacketUlAssignChan ass optional, uint5_t tfi, + GsmArfcn arfcn optional, + BIT8 ts_mask, uint3_t usf[8], boolean is_egprs, uint14_t bsn, - CodingScheme tx_cs_mcs + CodingScheme tx_cs_mcs, + GsmFrameNumber start_time_fn }; type record GprsMS { @@ -109,7 +112,7 @@ type record GprsMS { UlTbf ul_tbf optional, /* TODO: Only 1 UL tbf supported for now */ DlTbf dl_tbf optional /* TODO: Only 1 DL tbf supported for now */ }; -type record of GprsMS GprsMSArray; +type record of GprsMS GprsMSList; template AckNackDescription t_AckNackDescription_init := { final_ack := '0'B, @@ -117,11 +120,20 @@ template AckNackDescription t_AckNackDescription_init := { receive_block_bitmap := '0000000000000000000000000000000000000000000000000000000000000000'B } +template EgprsAckNackDescription t_EgprsAckNackDescription_init := { + final_ack := '0'B, + begin_window := '1'B, + end_window := '1'B, + starting_seq_nr := 1, + compressed := '0'B, + urbb := '0000000000000000000000000000000000000000000000000000000000000000'B +} + const uint3_t USF_UNUSED := 7; /* used to indicate PRACH */ template (value) GprsMS t_GprsMS_def := { imsi := f_gen_imsi(42), - tlli := '00000001'O, + tlli := f_gen_tlli(), ra := bit2int(chan_req_def), ra_is_11bit := 0, burst_type := BURST_TYPE_0, @@ -131,14 +143,27 @@ template (value) GprsMS t_GprsMS_def := { dl_tbf := omit }; +template (value) DlTbf t_DlTbf_def := { + rr_imm_ass := omit, + ass := omit, + tfi := 0, + arfcn := omit, + ts_mask := '00000000'B, + acknack_desc := t_AckNackDescription_init, + egprs_acknack_desc := t_EgprsAckNackDescription_init +}; + template (value) UlTbf t_UlTbf_def := { rr_imm_ass := omit, ass := omit, tfi := 0, + arfcn := omit, + ts_mask := '00000000'B, usf := { USF_UNUSED, USF_UNUSED, USF_UNUSED, USF_UNUSED, USF_UNUSED, USF_UNUSED, USF_UNUSED, USF_UNUSED }, is_egprs := false, bsn := 0, - tx_cs_mcs := CS_1 + tx_cs_mcs := CS_1, + start_time_fn := 0 }; type component MS_BTS_IFACE_CT { @@ -147,16 +172,35 @@ type component MS_BTS_IFACE_CT { /* Connection to the BTS component (one for now) */ port RAW_PCU_MSG_PT BTS; - /* Support only 1 ms for now */ - var GprsMS g_ms[1]; + /* Mobile station(s) involved in a testing scenario */ + var GprsMSList g_ms := { }; /* Value at which Countdown Procedure starts. Announced by network (GPRS Cell Options as per TS 04.60 Chapter 12.24) */ var uint4_t g_bs_cv_max := 4; } -function f_init_gprs_ms(template (value) GprsMS ms_params := t_GprsMS_def) runs on MS_BTS_IFACE_CT -{ - g_ms[0] := valueof(ms_params); +/* Generate a list of GprsMS (unique IMSI/TLLI, cyclic RA) of the given size */ +function f_init_gprs_ms(integer num_ms := 1, template (value) GprsMS t_ms := t_GprsMS_def) +runs on MS_BTS_IFACE_CT { + for (var integer i := 0; i < num_ms; i := i + 1 ) { + var GprsMS ms := valueof(t_ms); + + /* We assume that num_ms is not a large number */ + ms.imsi := f_gen_imsi(i + 1); + ms.tlli := int2oct(i + 1, 4); + + /* Ensure different RA for siblings */ + if (ms.ra == bit2int(chan_req_def)) { + /* 01111 { 0xx | x0x | xx0 } */ + f_ms_use_ra(ms, ms.ra + (i mod 7)); + } else if (ms.ra == bit2int(chan_req_sb)) { + /* 01110xxx */ + f_ms_use_ra(ms, ms.ra + (i mod 8)); + } + + /* Append to the global list */ + g_ms := g_ms & { ms }; + } } @@ -180,12 +224,46 @@ runs on MS_BTS_IFACE_CT { mtc.stop; } +function f_arfcn2trxnr(GsmArfcn arfcn) runs on MS_BTS_IFACE_CT return uint3_t { + if (arfcn < mp_base_arfcn) { + setverdict(fail, "Unable to find TRX NR for arfcn ", arfcn); + f_shutdown(__BFILE__, __LINE__); + } + return arfcn - mp_base_arfcn; +} + +function f_trxnr2arfcn(uint3_t trx_nr) return GsmArfcn { + return mp_base_arfcn + trx_nr; +} + +/* 3GPP TS 44.018 10.5.2.38 Starting Time */ +function f_tbf_starting_time_2_fn_mod_42432(TbfStartingTime st) +runs on MS_BTS_IFACE_CT return GsmFrameNumber { + return 51 * ((st.t3 - st.t2) mod 26) + st.t3 + 51 * 26 * st.t1; +} + +function fn2bn(GsmFrameNumber fn) return uint32_t { + return (fn mod 52) / 4; +} +function f_next_pdch_block(GsmFrameNumber fn) return GsmFrameNumber +{ + var uint32_t bn := fn2bn(fn) + 1; + fn := fn - (fn mod 52); + fn := fn + bn * 4 + bn / 3; + return fn mod GsmMaxFrameNumber; +} + function f_ultbf_new_from_rr_imm_ass(in GsmRrMessage rr_imm_ass) runs on MS_BTS_IFACE_CT return UlTbf { var UlTbf ul_tbf := valueof(t_UlTbf_def); var uint3_t tn_allocated := rr_imm_ass.payload.imm_ass.pkt_chan_desc.tn; ul_tbf.rr_imm_ass := rr_imm_ass; + if (rr_imm_ass.payload.imm_ass.pkt_chan_desc.presence == '0'B and + rr_imm_ass.payload.imm_ass.pkt_chan_desc.zero.hopping == '0'B) { + ul_tbf.arfcn := rr_imm_ass.payload.imm_ass.pkt_chan_desc.zero.arfcn; + } + ul_tbf.ts_mask[tn_allocated] := '1'B; /* Make sure we received an UL TBF Assignment */ if (match(rr_imm_ass, tr_IMM_TBF_ASS(dl := false, rest := tr_IaRestOctets_ULAss(?)))) { @@ -196,8 +274,11 @@ runs on MS_BTS_IFACE_CT return UlTbf { ul_tbf.tfi := ul_tbf.ass.ccch.dynamic.tfi_assignment; ul_tbf.tx_cs_mcs := f_rlcmac_block_ChCodingCommand2cs_mcs(ul_tbf.ass.ccch.dynamic.ch_coding_cmd); ul_tbf.usf[tn_allocated] := ul_tbf.ass.ccch.dynamic.usf; + if (ul_tbf.ass.ccch.dynamic.tbf_starting_time_present == '1'B) { + ul_tbf.start_time_fn := f_tbf_starting_time_2_fn_mod_42432(ul_tbf.ass.ccch.dynamic.tbf_starting_time); + } } else if (match(ul_tbf.ass.ccch, tr_PacketUlSglAssign)) { - /* Nothing to do here yet */ + ul_tbf.start_time_fn := f_tbf_starting_time_2_fn_mod_42432(ul_tbf.ass.ccch.single.tbf_starting_time); } } else if (match(rr_imm_ass, tr_IMM_TBF_ASS(dl := false, rest := tr_IaRestOctets_EGPRSULAss(?)))) { ul_tbf.ass.ccch_egprs := rr_imm_ass.payload.imm_ass.rest_octets.lh.egprs_ul; @@ -207,7 +288,11 @@ runs on MS_BTS_IFACE_CT return UlTbf { ul_tbf.tfi := ul_tbf.ass.ccch_egprs.dynamic.tfi_assignment; ul_tbf.tx_cs_mcs := f_rlcmac_block_EgprsChCodingCommand2cs_mcs(ul_tbf.ass.ccch_egprs.dynamic.egprs_ch_coding_cmd); ul_tbf.usf[tn_allocated] := ul_tbf.ass.ccch_egprs.dynamic.usf; + if (ul_tbf.ass.ccch_egprs.dynamic.tbf_starting_time_present == '1'B) { + ul_tbf.start_time_fn := f_tbf_starting_time_2_fn_mod_42432(ul_tbf.ass.ccch_egprs.dynamic.tbf_starting_time); + } } else if (match(ul_tbf.ass.ccch_egprs, tr_EgprsUlAssMultiblock)) { + ul_tbf.start_time_fn := f_tbf_starting_time_2_fn_mod_42432(ul_tbf.ass.ccch_egprs.multiblock.tbf_starting_time); /* Nothing to do here yet */ } } else { @@ -222,6 +307,8 @@ runs on MS_BTS_IFACE_CT return UlTbf { function f_ultbf_new_from_ass_pacch(RlcmacDlBlock dl_block) runs on MS_BTS_IFACE_CT return UlTbf { var UlTbf ul_tbf := valueof(t_UlTbf_def); + var boolean freq_par_present := false; + var FrequencyParameters freq_par; ul_tbf.ass.pacch := dl_block.ctrl.payload.u.ul_assignment; ul_tbf.tx_cs_mcs := f_rlcmac_dl_block_get_assigned_ul_cs_mcs(dl_block); @@ -231,30 +318,51 @@ runs on MS_BTS_IFACE_CT return UlTbf { /* TODO: support single block allocation */ if (match(dl_block, tr_RLCMAC_UL_PACKET_ASS_GPRS(?, tr_PktUlAssGprsDynamic(tr_DynamicAllocation(?))))) { ul_tbf.tfi := dl_block.ctrl.payload.u.ul_assignment.gprs.dyn_block_alloc.ul_tfi_assignment; + freq_par_present := dl_block.ctrl.payload.u.ul_assignment.gprs.freq_par_present == '1'B; + if (freq_par_present) { + freq_par := dl_block.ctrl.payload.u.ul_assignment.gprs.freq_par; + } ul_tbf.is_egprs := false; for (var integer i := 0; i < 8; i := i + 1) { if (dl_block.ctrl.payload.u.ul_assignment.gprs.dyn_block_alloc.ts_allocation.ts[i].presence == '1'B) { + ul_tbf.ts_mask[i] := '1'B; ul_tbf.usf[i] := dl_block.ctrl.payload.u.ul_assignment.gprs.dyn_block_alloc.ts_allocation.ts[i].usf_tn; } } } else if (match(dl_block, tr_RLCMAC_UL_PACKET_ASS_EGPRS(?, tr_PktUlAssEgprsDynamic(tr_DynamicAllocation(?))))) { ul_tbf.tfi := dl_block.ctrl.payload.u.ul_assignment.egprs.dyn_block_alloc.ul_tfi_assignment; + freq_par_present := dl_block.ctrl.payload.u.ul_assignment.egprs.freq_par_present == '1'B; + if (freq_par_present) { + freq_par := dl_block.ctrl.payload.u.ul_assignment.egprs.freq_par; + } ul_tbf.is_egprs := true; for (var integer i := 0; i < 8; i := i + 1) { if (dl_block.ctrl.payload.u.ul_assignment.egprs.dyn_block_alloc.ts_allocation.ts[i].presence == '1'B) { + ul_tbf.ts_mask[i] := '1'B; ul_tbf.usf[i] := dl_block.ctrl.payload.u.ul_assignment.egprs.dyn_block_alloc.ts_allocation.ts[i].usf_tn; } } } + + /* FIXME: freq_par and arfcn are optional. in that case we need to + * infer/reuse from current dl_tbf or ul_tbf */ + if (freq_par_present and freq_par.presence == '00'B) { + ul_tbf.arfcn := freq_par.arfcn; + } + return ul_tbf; } function f_dltbf_new_from_rr_imm_ass(in GsmRrMessage rr_imm_ass, template PacketDlAssign dl_ass := tr_PacketDlAssign(?)) runs on MS_BTS_IFACE_CT return DlTbf { - var DlTbf dl_tbf; + var DlTbf dl_tbf := valueof(t_DlTbf_def); dl_tbf.rr_imm_ass := rr_imm_ass; - dl_tbf.acknack_desc := valueof(t_AckNackDescription_init); + if (rr_imm_ass.payload.imm_ass.pkt_chan_desc.presence == '0'B and + rr_imm_ass.payload.imm_ass.pkt_chan_desc.zero.hopping == '0'B) { + dl_tbf.arfcn := rr_imm_ass.payload.imm_ass.pkt_chan_desc.zero.arfcn; + } + dl_tbf.ts_mask[rr_imm_ass.payload.imm_ass.pkt_chan_desc.tn] := '1'B; /* Make sure we received a DL TBF Assignment */ if (match(rr_imm_ass, tr_IMM_TBF_ASS(dl := true, rest := tr_IaRestOctets_DLAss(dl_ass)))) { @@ -277,22 +385,131 @@ runs on MS_BTS_IFACE_CT return DlTbf { return dl_tbf; } -/* TODO: get stuff from f_rx_rlcmac_dl_block_exp_pkt_ass */ function f_dltbf_new_from_ass_pacch(RlcmacDlBlock dl_block) runs on MS_BTS_IFACE_CT return DlTbf { - var DlTbf dl_tbf; + var DlTbf dl_tbf := valueof(t_DlTbf_def); + var boolean freq_par_present := false; + var FrequencyParameters freq_par; dl_tbf.ass.pacch := dl_block.ctrl.payload.u.dl_assignment; dl_tbf.tfi := f_rlcmac_dl_block_get_tfi(dl_block); /* TODO: handle GlobalTfiOrTlli tfi_or_tlli from pkt_dl_ass */ - dl_tbf.acknack_desc := valueof(t_AckNackDescription_init); + + if (match(dl_block, tr_RLCMAC_DL_PACKET_ASS(?))) { + dl_tbf.tfi := dl_block.ctrl.payload.u.dl_assignment.dl_tfi_assignment; + freq_par_present := dl_block.ctrl.payload.u.dl_assignment.freq_par_present == '1'B; + if (freq_par_present) { + freq_par := dl_block.ctrl.payload.u.dl_assignment.freq_par; + } + dl_tbf.ts_mask := dl_block.ctrl.payload.u.dl_assignment.timeslot_alloc; /* TODO: is this the correct order ? */ + /* TODO: check egprs in dl_assignment.rel_additions (PktDlAssR99Additions) */ + } + + /* FIXME: freq_par and arfcn are optional. in that case we need to + * infer/reuse from current dl_tbf or ul_tbf */ + if (freq_par_present and freq_par.presence == '00'B) { + dl_tbf.arfcn := freq_par.arfcn; + } return dl_tbf; } +function f_ms_tx_TsTrxBtsNum(inout GprsMS ms) +runs on MS_BTS_IFACE_CT return TsTrxBtsNum { + var uint3_t ts_nr := f_ultbf_next_ts(ms.ul_tbf); + + var uint3_t trx_nr; + if (ispresent(ms.ul_tbf.arfcn)) { + trx_nr := f_arfcn2trxnr(ms.ul_tbf.arfcn); + } else { + /* FIXME: implement search by hsn+maio+ma when freq hopping is enabled */ + setverdict(fail, "Asked for trx_nr but arfcn not available in ms.ul_tbf!"); + f_shutdown(__BFILE__, __LINE__); + } + return valueof(ts_TsTrxBtsNum(ts_nr, trx_nr)); +} + +function f_dltbf_num_slots(DlTbf dl_tbf) +runs on MS_BTS_IFACE_CT return integer { + var integer n := 0; + for (var integer i := 0; i < lengthof(dl_tbf.ts_mask); i := i + 1) { + if (dl_tbf.ts_mask[i] == '1'B) { + n := n + 1; + } + } + return n; +} + +function f_dltbf_ack_block(inout DlTbf dl_tbf, RlcmacDlBlock dl_block, BIT1 final_ack := '0'B) +runs on MS_BTS_IFACE_CT { + var boolean is_egprs := ischosen(dl_block.data_egprs); + if (is_egprs) { + f_egprs_acknackdesc_ack_block(dl_tbf.egprs_acknack_desc, dl_block, final_ack); + } else { + f_acknackdesc_ack_block(dl_tbf.acknack_desc, dl_block, final_ack); + } +} + +function f_dltbf_ts_RLCMAC_DL_ACK_NACK(DlTbf dl_tbf, boolean use_egprs := false, + template (omit) ChannelReqDescription chreq_desc := omit) +runs on MS_BTS_IFACE_CT return template (value) RlcmacUlBlock { + if (use_egprs) { + return ts_RLCMAC_DL_ACK_NACK_EGPRS(dl_tbf.tfi, dl_tbf.egprs_acknack_desc, false, chreq_desc); + } else { + return ts_RLCMAC_DL_ACK_NACK(dl_tbf.tfi, dl_tbf.acknack_desc, false, chreq_desc); + } +} + function f_ultbf_inc_bsn(inout UlTbf ul_tbf) runs on MS_BTS_IFACE_CT { ul_tbf.bsn := ul_tbf.bsn + 1; - ul_tbf.bsn := ul_tbf.bsn mod 128; /* FIXME: EGPRS SNS: 2048 */ + if (ul_tbf.is_egprs) { + ul_tbf.bsn := ul_tbf.bsn mod 2048; + } else { + ul_tbf.bsn := ul_tbf.bsn mod 128; + } +} + +function f_ultbf_next_ts(UlTbf ul_tbf) +runs on MS_BTS_IFACE_CT return uint3_t { + /* FIXME: in the future we probably want to store last used internally + /* and continue from there */ + for (var integer i := 0; i < lengthof(ul_tbf.ts_mask); i := i + 1) { + if (ul_tbf.ts_mask[i] == '1'B) { + return i; + } + } + setverdict(fail, "No TS available for tx!"); + f_shutdown(__BFILE__, __LINE__); + return 0; +} + +function f_ultbf_num_slots(UlTbf ul_tbf) +runs on MS_BTS_IFACE_CT return integer { + var integer n := 0; + for (var integer i := 0; i < lengthof(ul_tbf.ts_mask); i := i + 1) { + if (ul_tbf.ts_mask[i] == '1'B) { + n := n + 1; + } + } + return n; +} + +function f_ultbf_payload_fill_length(UlTbf ul_tbf, boolean tlli := false, integer li_bytes := 0) +runs on MS_BTS_IFACE_CT return uint32_t { + var uint32_t blk_len := f_rlcmac_cs_mcs2block_len_no_spare_bits(ul_tbf.tx_cs_mcs); + var uint32_t payload_fill_len; + + if (f_rlcmac_cs_mcs_is_mcs(ul_tbf.tx_cs_mcs)) { + payload_fill_len := blk_len - 5 - li_bytes; + } else { + /* GPRS: blk_len = 3 Header bytes + payload length. No LI byte in this case. */ + payload_fill_len := blk_len - 3 - li_bytes; + } + + if (tlli) { + payload_fill_len := payload_fill_len - 4; + } + return payload_fill_len; } function f_ms_use_ra(inout GprsMS ms, uint16_t ra, uint8_t ra_is_11bit := 0) @@ -308,34 +525,99 @@ runs on MS_BTS_IFACE_CT { function f_ms_rx_pkt_ass_pacch(inout GprsMS ms, out uint32_t poll_fn, template RlcmacDlBlock t_pkt_ass := ?, - template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum, + boolean ignore_dummy := true) runs on MS_BTS_IFACE_CT return RlcmacDlBlock { var RlcmacDlBlock dl_block; - var uint32_t dl_fn; - - f_rx_rlcmac_dl_block(dl_block, dl_fn, nr := nr); - if (not match(dl_block, t_pkt_ass)) { - setverdict(fail, "Failed to match Packet Assignment:", t_pkt_ass); + BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PDTCH, fn := 0, + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + block_nr := nr.blk_nr)); + alt { + [] as_ms_rx_pkt_ass_pacch(ms, poll_fn, t_pkt_ass, nr, dl_block); + [ignore_dummy] as_ms_rx_ignore_dummy(ms, nr); + /* TODO: fail */ + [] BTS.receive { + setverdict(fail, "Unexpected BTS message"); f_shutdown(__BFILE__, __LINE__); + } } + return dl_block; +} - poll_fn := f_rrbp_ack_fn(dl_fn, dl_block.ctrl.mac_hdr.rrbp); +altstep as_ms_rx_ignore_dummy(inout GprsMS ms, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) +runs on MS_BTS_IFACE_CT { + var BTS_PDTCH_Block data_msg; + [] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH), + tr_RLCMAC_DL_DUMMY_CTRL())) -> value data_msg { + + BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PDTCH, fn := 0, + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + block_nr := nr.blk_nr)); + repeat; + } +} - if (match(dl_block, tr_RLCMAC_UL_PACKET_ASS)) { - ms.ul_tbf := f_ultbf_new_from_ass_pacch(dl_block); - if (ms.ul_tbf.ass.pacch.identity.tlli.tlli != ms.tlli) { - setverdict(fail, "Wrong TLLI ", ms.ul_tbf.ass.pacch.identity.tlli, " received vs exp ", ms.tlli); - f_shutdown(__BFILE__, __LINE__); - } - } else if (match(dl_block, tr_RLCMAC_DL_PACKET_ASS)) { - ms.dl_tbf := f_dltbf_new_from_ass_pacch(dl_block); - /* TODO: match tlli from ms.dl_tbf.ass.pacch with ms.tlli), or error */ - } else { - setverdict(fail, "Should not happen:", dl_block); +altstep as_pcuif_rx_ignore_empty(template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) +runs on MS_BTS_IFACE_CT { + var BTS_PDTCH_Block data_msg; + [] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH), + omit)) -> value data_msg { + + BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PDTCH, fn := 0, + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + block_nr := nr.blk_nr)); + repeat; + } +} + +altstep as_rx_fail_dummy(template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) +runs on MS_BTS_IFACE_CT { + var BTS_PDTCH_Block data_msg; + [] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH), + tr_RLCMAC_DL_DUMMY_CTRL())) -> value data_msg { + setverdict(fail, "Unexpected Dummy Ctrl block ", data_msg); f_shutdown(__BFILE__, __LINE__); } +} - return dl_block; +altstep as_ms_rx_pkt_ass_pacch(inout GprsMS ms, out uint32_t poll_fn, + template RlcmacDlBlock t_pkt_ass := ?, + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum, + out RlcmacDlBlock dl_block) +runs on MS_BTS_IFACE_CT { + var BTS_PDTCH_Block data_msg; + [] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PDTCH), + t_pkt_ass)) -> value data_msg { + var uint32_t dl_fn := data_msg.raw.fn; + dl_block := data_msg.dl_block; + poll_fn := f_rrbp_ack_fn(dl_fn, dl_block.ctrl.mac_hdr.rrbp); + + if (match(dl_block, tr_RLCMAC_UL_PACKET_ASS)) { + ms.ul_tbf := f_ultbf_new_from_ass_pacch(dl_block); + if (ms.ul_tbf.ass.pacch.identity.tlli.tlli != ms.tlli) { + setverdict(fail, "Wrong TLLI ", ms.ul_tbf.ass.pacch.identity.tlli, " received vs exp ", ms.tlli); + f_shutdown(__BFILE__, __LINE__); + } + } else if (match(dl_block, tr_RLCMAC_DL_PACKET_ASS)) { + ms.dl_tbf := f_dltbf_new_from_ass_pacch(dl_block); + if (ischosen(ms.dl_tbf.ass.pacch.tfi_or_tlli.tlli) and + ms.dl_tbf.ass.pacch.tfi_or_tlli.tlli.tlli != ms.tlli) { + setverdict(fail, "Wrong TLLI ", ms.dl_tbf.ass.pacch.tfi_or_tlli.tlli.tlli, " received vs exp ", ms.tlli); + f_shutdown(__BFILE__, __LINE__); + } + } else { + setverdict(fail, "Should not happen:", dl_block); + f_shutdown(__BFILE__, __LINE__); + } + } } function f_ms_establish_ul_tbf(inout GprsMS ms, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) @@ -346,7 +628,7 @@ runs on MS_BTS_IFACE_CT { ms.ul_tbf := f_ultbf_new_from_rr_imm_ass(rr_imm_ass); } -function f_ms_exp_dl_tbf_ass_ccch(inout GprsMS ms, template PCUIF_Sapi sapi := PCU_IF_SAPI_AGCH, +function f_ms_exp_dl_tbf_ass_ccch(inout GprsMS ms, template PCUIF_Sapi sapi := PCU_IF_SAPI_PCH_2, template GsmRrMessage t_imm_ass := tr_IMM_TBF_ASS(true, ?, ?), template (present) TsTrxBtsNum nr := tr_TsTrxBtsNum) runs on MS_BTS_IFACE_CT { @@ -360,77 +642,106 @@ runs on MS_BTS_IFACE_CT { function f_ms_tx_data_ind(inout GprsMS ms, octetstring data, uint32_t fn := 0, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) runs on MS_BTS_IFACE_CT { - f_pcuif_tx_data_ind(data, ms.lqual_cb, fn, nr := nr); + f_pcuif_tx_data_ind(data, fn, ms.ta, ms.lqual_cb, nr := nr); } function f_ms_tx_ul_block(inout GprsMS ms, template (value) RlcmacUlBlock ul_data, uint32_t fn := 0, template (omit) CodingScheme force_cs_mcs := omit, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) -runs on MS_BTS_IFACE_CT return integer { +runs on MS_BTS_IFACE_CT { var octetstring data; - var integer padding_len; var CodingScheme cs_mcs; var uint32_t cs_mcs_len; /* Encode the payload of DATA.ind */ data := enc_RlcmacUlBlock(valueof(ul_data)); - if (ispresent(force_cs_mcs)) { - cs_mcs := valueof(force_cs_mcs); - } else if (ischosen(ul_data.ctrl)) { - cs_mcs := CS_1; /* CTRL is always CS1 */ - } else { - /* Add padding to encode payload to minimum required CS/MCS: */ - cs_mcs := f_rlcmac_block_len_required_cs_mcs(lengthof(data), ischosen(ul_data.data_egprs)); - } - - cs_mcs_len := f_rlcmac_cs_mcs2block_len(cs_mcs); - padding_len := cs_mcs_len - lengthof(data); - if (padding_len < 0) { - setverdict(fail, "Unable to encode UL block of size ", lengthof(data), " with ", cs_mcs); - f_shutdown(__BFILE__, __LINE__); + if (ischosen(ul_data.ctrl)) { + /* Ctrl blocks are right now encoded by RAW encoder, which was + * found to have some issue with final padding, so we add it + * here manually. This is actually still incorrect because the + * remaining bits of last octet with data are not filled with + * the padding sequence, but it's good enough since anyway PCU + * don't check these. */ + data := f_pad_oct(data, f_rlcmac_cs_mcs2block_len(CS_1), '2b'O); } - data := f_pad_oct(data, cs_mcs_len, '00'O); - /* Enqueue DATA.ind (both TDMA frame and block numbers to be patched) */ f_ms_tx_data_ind(ms, data, fn, nr := nr); - return padding_len; } -/* FIXME: Only supports sending CS-1 so far */ -function f_ms_tx_ul_data_block(inout GprsMS ms, octetstring payload, +function f_ms_tx_ul_data_blocks_gprs(inout GprsMS ms, template (value) LlcBlocks blocks, uint4_t cv := 15, boolean with_tlli := false, uint32_t fn := 0, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) -runs on MS_BTS_IFACE_CT return integer { +runs on MS_BTS_IFACE_CT { var template (value) RlcmacUlBlock ul_data; - ul_data := t_RLCMAC_UL_DATA(tfi := ms.ul_tbf.tfi, + + ul_data := t_RLCMAC_UL_DATA(cs := ms.ul_tbf.tx_cs_mcs, + tfi := ms.ul_tbf.tfi, cv := cv, bsn := ms.ul_tbf.bsn, - blocks := {t_RLCMAC_LLCBLOCK(payload)}); + blocks := blocks); if (with_tlli) { ul_data.data.mac_hdr.tlli_ind := true; ul_data.data.tlli := ms.tlli; } f_ultbf_inc_bsn(ms.ul_tbf); - return f_ms_tx_ul_block(ms, ul_data, fn, nr := nr); + f_ms_tx_ul_block(ms, ul_data, fn, nr := nr); +} + +function f_ms_tx_ul_data_blocks_egprs(inout GprsMS ms, template (value) EgprsLlcBlocks blocks, + uint4_t cv := 15, boolean with_tlli := false, uint32_t fn := 0, + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) +runs on MS_BTS_IFACE_CT { + var template (value) RlcmacUlBlock ul_data; + + ul_data := t_RLCMAC_UL_EGPRS_DATA(mcs := ms.ul_tbf.tx_cs_mcs, + tfi := ms.ul_tbf.tfi, + cv := cv, + bsn1 := ms.ul_tbf.bsn, + bsn2_offset := 0, + blocks := blocks); + if (with_tlli) { + ul_data.data_egprs.tlli_ind := true; + ul_data.data_egprs.tlli := ms.tlli; + } + f_ultbf_inc_bsn(ms.ul_tbf); + f_ms_tx_ul_block(ms, ul_data, fn, nr := nr); +} + +function f_ms_tx_ul_data_block(inout GprsMS ms, octetstring payload, + uint4_t cv := 15, boolean with_tlli := false, uint32_t fn := 0, + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) +runs on MS_BTS_IFACE_CT { + var template (value) RlcmacUlBlock ul_data; + + if (f_rlcmac_cs_mcs_is_mcs(ms.ul_tbf.tx_cs_mcs)) { + f_ms_tx_ul_data_blocks_egprs(ms, {t_RLCMAC_LLCBLOCK_EGPRS(payload)}, cv, with_tlli, fn, nr) + } else { + f_ms_tx_ul_data_blocks_gprs(ms, {t_RLCMAC_LLCBLOCK(payload)}, cv, with_tlli, fn, nr); + } } /* Send random payload for last "num_blocks" blocks in Ul TBF (ending with CV=0). */ function f_ms_tx_ul_data_block_multi(inout GprsMS ms, integer num_blocks := 1, boolean with_tlli := false, - template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) + uint32_t fn := 0, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) runs on MS_BTS_IFACE_CT return octetstring { var octetstring total_payload := ''O; + var uint32_t payload_fill_len := f_ultbf_payload_fill_length(ms.ul_tbf, with_tlli, 0); for (var integer i := 0; i < num_blocks; i := i + 1) { - var integer padding_len; - var octetstring payload := f_rnd_octstring(10); + var octetstring payload := f_rnd_octstring(payload_fill_len); /* Prepare a new UL block (CV, random payload) */ var integer cv := num_blocks - i - 1; if (cv > g_bs_cv_max) { cv := 15; } - padding_len := f_ms_tx_ul_data_block(ms, payload, cv := cv, with_tlli := with_tlli, nr := nr); - total_payload := total_payload & payload & f_pad_oct(''O, padding_len, '00'O); + if (i == 1) { + /* We use FN on i=0 to jump to wanted FN time, then simply submit on next + * available frame (fn=0) */ + fn := 0; + } + f_ms_tx_ul_data_block(ms, payload, cv := cv, with_tlli := with_tlli, fn := fn, nr := nr); + total_payload := total_payload & payload; } return total_payload; } @@ -457,6 +768,20 @@ runs on MS_BTS_IFACE_CT return uint5_t { return 0; /* make compiler happy */ } +function f_rlcmac_dl_block_get_usf(RlcmacDlBlock dl_block) +runs on MS_BTS_IFACE_CT return uint3_t { + if (ischosen(dl_block.data)) { + return dl_block.data.mac_hdr.mac_hdr.usf; + } else if (ischosen(dl_block.data_egprs)) { + return dl_block.data_egprs.mac_hdr.usf; + } else { /* Ctrl block */ + return dl_block.ctrl.mac_hdr.usf; + } + setverdict(fail, "DlBlock doesn't contain a USF:", dl_block); + f_shutdown(__BFILE__, __LINE__); + return 0; /* make compiler happy */ +} + /* Get the Chan coding command from a dl block containing PACCH UL Assignment */ function f_rlcmac_dl_block_get_assigned_ul_cs_mcs(RlcmacDlBlock dl_block) runs on MS_BTS_IFACE_CT return CodingScheme { @@ -477,19 +802,20 @@ function f_acknackdesc_ack_block(inout AckNackDescription desc, RlcmacDlBlock dl var uint7_t bsn; var integer i; var integer inc; + bsn := dl_block.data.mac_hdr.hdr_ext.bsn; - if (ischosen(dl_block.data)) { - bsn := dl_block.data.mac_hdr.hdr_ext.bsn; - } else { - bsn := dl_block.data_egprs.mac_hdr.bsn1; - } - - inc := bsn - desc.starting_seq_nr + 1; /* Filling hole? */ if (bsn < desc.starting_seq_nr) { desc.receive_block_bitmap[lengthof(desc.receive_block_bitmap) - (desc.starting_seq_nr - bsn)] := int2bit(1, 1); return; } + /* Filling hole, wraparound: */ + if (bsn - desc.starting_seq_nr > lengthof(desc.receive_block_bitmap)) { + desc.receive_block_bitmap[lengthof(desc.receive_block_bitmap) - (desc.starting_seq_nr + (218 - bsn))] := int2bit(1, 1); + return; + } + + inc := bsn - desc.starting_seq_nr + 1; /* SSN is increased, and so RBB values need to be moved */ for (i := 0; i < lengthof(desc.receive_block_bitmap) - inc; i := i+1) { @@ -499,75 +825,270 @@ function f_acknackdesc_ack_block(inout AckNackDescription desc, RlcmacDlBlock dl desc.receive_block_bitmap[i] := int2bit(0, 1); } /* Now we can set current bit and update SSN */ - desc.starting_seq_nr := bsn + 1; + desc.starting_seq_nr := (bsn + 1) mod 128; desc.receive_block_bitmap[lengthof(desc.receive_block_bitmap) - 1] := int2bit(1, 1); /* Finally update the final_ack bit as requested: */ desc.final_ack := final_ack; } -/* This function can be used to send DATA.cnf in response to the IUT originated DATA.req. - * NOTE: it's the responsibility of caller to make sure that pcu_msg contains u.data_req. */ -function f_pcuif_tx_data_cnf(in PCUIF_Message pcu_msg) +/* TS 44.060 sec 12.3 Ack/Nack Description */ +function f_egprs_acknackdesc_ack_block(inout EgprsAckNackDescription desc, RlcmacDlBlock dl_block, BIT1 final_ack := '0'B) +{ + var uint11_t bsn; + var integer i; + var integer inc; + var integer n := 0; + var integer v_q := (desc.starting_seq_nr + 2047) mod 2048; /* SSN = V(Q) + 1 */ + + bsn := dl_block.data_egprs.mac_hdr.bsn1; + + /* Repetition? */ + if (bsn < v_q) { + /* Filling hole, wraparound: */ + if (bsn - v_q > lengthof(desc.urbb)) { + desc.urbb[lengthof(desc.urbb) - (v_q + (2048 - bsn))] := int2bit(1, 1); + return; + } + return; + } + + inc := bsn - v_q + 1; + desc.urbb[lengthof(desc.urbb) - inc] := int2bit(1, 1); + + for (i := lengthof(desc.urbb) - 1; i >= lengthof(desc.urbb) - inc; i := i - 1) { + if (desc.urbb[i] == '0'B) { + break; + } + n := n + 1; + } + + if (n > 0) { + /* SSN is increased, and so RBB values need to be moved */ + for (i := lengthof(desc.urbb) - 1; i >= n; i := i - 1) { + desc.urbb[i] := desc.urbb[i - n]; + } + for (i := n - 1; i >= 0; i := i - 1) { + desc.urbb[i] := int2bit(0, 1); + } + + desc.starting_seq_nr := (desc.starting_seq_nr + n) mod 2048; + } + + /* Finally update the final_ack bit as requested: */ + desc.final_ack := final_ack; +} + +/* This function can be used to send DATA.cnf in response to the IUT originated DATA.req. */ +function f_pcuif_tx_data_cnf(in BTS_CCCH_Block data_msg) runs on MS_BTS_IFACE_CT { + var PCUIF_data_cnf cnf := { + sapi := data_msg.raw.sapi, + msg_id := data_msg.msg_id + }; + var PCUIF_Message pcu_msg_cnf := { - msg_type := PCU_IF_MSG_DATA_CNF, - bts_nr := pcu_msg.bts_nr, - spare := pcu_msg.spare, - u := { data_cnf := pcu_msg.u.data_req } + msg_type := PCU_IF_MSG_DATA_CNF_2, + bts_nr := data_msg.bts_nr, + spare := '0000'O, + u := { data_cnf2 := cnf} }; - /* PCU wants DATA.cnf containing basically everything that was in DATA.req, - * but PCU_IF_SAPI_PCH is a special case - paging group shall be excluded. */ - if (pcu_msg.u.data_req.sapi == PCU_IF_SAPI_PCH) { - pcu_msg_cnf.u.data_cnf.data := substr(pcu_msg.u.data_req.data, 3, - pcu_msg.u.data_req.len - 3); + BTS.send(pcu_msg_cnf); +} + +private function f_ms_gtfi_tmpl(inout GprsMS ms) +runs on MS_BTS_IFACE_CT return template (present) GlobalTfi { + var template (present) GlobalTfi gtfi; + if (ispresent(ms.ul_tbf) and ispresent(ms.dl_tbf)) { + gtfi := ({ is_dl_tfi := false, tfi := ms.ul_tbf.tfi }, + { is_dl_tfi := true, tfi := ms.dl_tbf.tfi }); + } else if (ispresent(ms.ul_tbf)) { + gtfi := { is_dl_tfi := false, tfi := ms.ul_tbf.tfi }; + } else if (ispresent(ms.dl_tbf)) { + gtfi := { is_dl_tfi := true, tfi := ms.dl_tbf.tfi }; + } else { + gtfi := ?; } + return gtfi; +} - BTS.send(pcu_msg_cnf); +altstep as_ms_rx_pkt_neighbor_cell_data(inout GprsMS ms, octetstring exp_si, + inout uint5_t exp_container_idx /* := 0 */, + inout integer si_offset /* := 0 */, + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum, + boolean single_step := false) +runs on MS_BTS_IFACE_CT { + var integer len; + var octetstring exp_si_chunk; + var template (present) GlobalTfi gtfi := f_ms_gtfi_tmpl(ms); + var BTS_PDTCH_Block data_msg; + var boolean do_repeat := true; + + [] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH), + tr_RLCMAC_DL_CTRL(?, tr_RlcMacDlCtrl_PKT_NEIGH_CELL_DATA(gtfi, exp_container_idx)) + )) -> value data_msg { + + var PacketNeighbourCellData neigh_data := data_msg.dl_block.ctrl.payload.u.neighbour_cell_data; + var PacketNeighbourCellDataContainer cont := neigh_data.container_list[0]; + + if (cont.cd_length == 31) { /* continues on next message */ + len := lengthof(cont.container_data); + exp_si_chunk := substr(exp_si, si_offset, len); + if (cont.container_data != exp_si_chunk) { + setverdict(fail, "Rx unexpected SI chunk at offset ", si_offset, ": ", + cont.container_data, " vs exp ", exp_si_chunk); + f_shutdown(__BFILE__, __LINE__); + } + si_offset := si_offset + len; + } else if (cont.cd_length == 0) { + /* we are done */ + if (si_offset != lengthof(exp_si)) { + setverdict(fail, "Rx unexpectd SI length ", si_offset, + " vs exp ", lengthof(exp_si)); + f_shutdown(__BFILE__, __LINE__); + } + do_repeat := false; + } else { /* data length, last message */ + len := cont.cd_length; + exp_si_chunk := substr(exp_si, si_offset, len); + if (cont.container_data != exp_si_chunk) { + setverdict(fail, "Rx unexpected SI chunk at offset ", si_offset, ": ", + cont.container_data, " vs exp ", exp_si_chunk); + f_shutdown(__BFILE__, __LINE__); + } + si_offset := si_offset + len; + /* we are done */ + if (si_offset != lengthof(exp_si)) { + setverdict(fail, "Rx unexpectd SI length ", si_offset, + " vs exp ", lengthof(exp_si)); + f_shutdown(__BFILE__, __LINE__); + } + do_repeat := false; + } + + exp_container_idx := exp_container_idx + 1; + + if (not single_step and do_repeat) { + BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PDTCH, fn := 0, + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + block_nr := nr.blk_nr)); + repeat; + } + } +} + +/* Handle groups of PKT NEIGHBOUR CELL DATA packets */ +function f_ms_handle_pkt_neighbor_cell_data(inout GprsMS ms, octetstring exp_si, + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum, + uint5_t exp_container_idx := 0, + integer si_offset := 0, + boolean single_step := false) +runs on MS_BTS_IFACE_CT { + var BTS_PDTCH_Block data_msg; + + BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PDTCH, fn := 0, + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + block_nr := nr.blk_nr)); + alt { + [exp_container_idx == 0] as_ms_rx_ignore_dummy(ms, nr); + [exp_container_idx > 0] as_rx_fail_dummy(nr); + [] as_ms_rx_pkt_neighbor_cell_data(ms, exp_si, exp_container_idx, si_offset, nr, single_step); + [] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH), + tr_RLCMAC_DL_CTRL(?, ?))) -> value data_msg { + var GlobalTfi gtfi := { is_dl_tfi := false, tfi := ms.ul_tbf.tfi }; + setverdict(fail, "Rx unexpected DL block: ", data_msg.dl_block, " vs exp ", + tr_RLCMAC_DL_CTRL(?, tr_RlcMacDlCtrl_PKT_NEIGH_CELL_DATA(gtfi, exp_container_idx))); + f_shutdown(__BFILE__, __LINE__); + } + }; + + return; +} + +/* Keep receiving & discarding DL blocks until the PCU requests USF for this MS */ +function f_ms_wait_usf(inout GprsMS ms, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) +runs on MS_BTS_IFACE_CT return uint32_t { + var BTS_PDTCH_Block data_msg; + + BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PDTCH, fn := 0, + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + block_nr := nr.blk_nr)); + alt { + [] as_pcuif_rx_ignore_empty(nr); + [] BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH), + ?)) -> value data_msg { + var uint3_t rx_usf := f_rlcmac_dl_block_get_usf(data_msg.dl_block); + var uint3_t exp_usf := ms.ul_tbf.usf[valueof(nr.ts_nr)]; + log("Rx DL block USF ", rx_usf, " vs exp USF ", exp_usf); + if (rx_usf != exp_usf) { + BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PDTCH, fn := 0, + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + block_nr := nr.blk_nr)); + repeat; + } + } + }; + + return data_msg.raw.fn; } //////////////////////// // Low level APIs //////////////////////// -function f_pcuif_rx_imm_ass(template PCUIF_Sapi sapi := PCU_IF_SAPI_AGCH, +altstep as_rx_ptcch(out BTS_PTCCH_Block ret_msg, template (present) PTCCHDownlinkMsg msg := ?, + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum, boolean do_repeat := false) +runs on MS_BTS_IFACE_CT { + [] BTS.receive(tr_PCUIF_DATA_PTCCH(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PTCCH), + msg)) -> value ret_msg { + if (do_repeat) { + BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, + sapi := PCU_IF_SAPI_PTCCH, fn := 0, + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + block_nr := nr.blk_nr)) + repeat; + } + } +} + +altstep as_ms_rx_imm_ass(template PCUIF_Sapi sapi := PCU_IF_SAPI_AGCH_2, + template GsmRrMessage t_imm_ass := ?, + template (present) TsTrxBtsNum nr := ts_TsTrxBtsNum, + out GsmRrMessage rr_imm_ass) +runs on MS_BTS_IFACE_CT { + var BTS_CCCH_Block data_msg; + [] BTS.receive(tr_PCUIF_DATA_RR(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, 0, sapi := sapi), + t_imm_ass)) -> value data_msg { + rr_imm_ass := data_msg.rr_msg; + log("Rx Immediate Assignment: ", rr_imm_ass); + /* Send DATA.cnf back to the IUT */ + if (ispresent(data_msg.confirm) and data_msg.confirm) { + f_pcuif_tx_data_cnf(data_msg); + } + setverdict(pass); + } +} + +function f_pcuif_rx_imm_ass(template PCUIF_Sapi sapi := PCU_IF_SAPI_AGCH_2, template GsmRrMessage t_imm_ass := ?, template (present) TsTrxBtsNum nr := tr_TsTrxBtsNum) runs on MS_BTS_IFACE_CT return GsmRrMessage { var GsmRrMessage rr_imm_ass; - var PCUIF_Message pcu_msg; - var octetstring data; timer T; T.start(2.0); alt { - [] BTS.receive(tr_PCUIF_DATA_REQ(nr.bts_nr, nr.trx_nr, ts_nr := 0, - sapi := sapi, data := ?)) -> value pcu_msg { - /* On PCH the payload is prefixed with paging group (3 octets): skip it. - * TODO: add an additional template parameter, so we can match it. */ - if (pcu_msg.u.data_req.sapi == PCU_IF_SAPI_PCH) { - data := substr(pcu_msg.u.data_req.data, 3, pcu_msg.u.data_req.len - 3); - } else { - data := pcu_msg.u.data_req.data; - } - - rr_imm_ass := dec_GsmRrMessage(data); - if (not match(rr_imm_ass, t_imm_ass)) { - /* Not for us? Wait for more. */ - repeat; - } - - log("Rx Immediate Assignment: ", rr_imm_ass); - - /* Send DATA.cnf back to the IUT (only needed for PCH) */ - if (pcu_msg.u.data_req.sapi == PCU_IF_SAPI_PCH) { - f_pcuif_tx_data_cnf(pcu_msg); - } - - setverdict(pass); - } - [] BTS.receive { repeat; } + [] as_ms_rx_imm_ass(sapi, t_imm_ass, nr, rr_imm_ass); + [] BTS.receive { repeat; } /* TODO: use as_ms_rx_ignore_dummy instead? */ [] T.timeout { setverdict(fail, "Timeout waiting for Immediate Assignment"); f_shutdown(__BFILE__, __LINE__); @@ -578,7 +1099,9 @@ runs on MS_BTS_IFACE_CT return GsmRrMessage { } /* One phase packet access (see 3GPP TS 44.018, table 9.1.8.1) */ -const BIT8 chan_req_def := '01111000'B; +const BIT8 chan_req_def := '01111000'B; /* 01111 { 0xx | x0x | xx0 } */ +/* Single block (two phase or RR signalling) packet access */ +const BIT8 chan_req_sb := '01110000'B; /* 01110xxx */ /* Establish an Uplink TBF by sending RACH.ind towards the PCU */ function f_pcuif_tx_rach_rx_imm_ass(uint16_t ra := bit2int(chan_req_def), @@ -597,7 +1120,7 @@ runs on MS_BTS_IFACE_CT return GsmRrMessage { BTS.send(ts_PCUIF_RACH_IND(nr.bts_nr, nr.trx_nr, ts_nr := 0, ra := ra, is_11bit := is_11bit, burst_type := burst_type, - fn := fn, arfcn := 871, + fn := fn, arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), qta := ta * 4)); /* 3GPP TS 44.018, table 9.1.8.1, note 2b: Request Reference shall be set to 127 @@ -606,17 +1129,19 @@ runs on MS_BTS_IFACE_CT return GsmRrMessage { if (is_11bit != 0) { ra := 127; } /* Expect Immediate (TBF) Assignment on the same TS/TRX/BTS */ - return f_pcuif_rx_imm_ass(PCU_IF_SAPI_AGCH, tr_IMM_TBF_ASS(false, ra, fn), nr); + return f_pcuif_rx_imm_ass(PCU_IF_SAPI_AGCH_2, tr_IMM_TBF_ASS(false, ra, fn), nr); } /* Enqueue DATA.ind (both TDMA frame and block numbers to be patched) */ -function f_pcuif_tx_data_ind(octetstring data, int16_t lqual_cb := 0, uint32_t fn := 0, +function f_pcuif_tx_data_ind(octetstring data, uint32_t fn := 0, + TimingAdvance ta := 0, int16_t lqual_cb := 0, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) runs on MS_BTS_IFACE_CT { var template RAW_PCU_EventParam ev_param := {tdma_fn := ? }; BTS.send(ts_PCUIF_DATA_IND(nr.bts_nr, nr.trx_nr, nr.ts_nr, nr.blk_nr, sapi := PCU_IF_SAPI_PDTCH, data := data, - fn := fn, arfcn := 871, lqual_cb := lqual_cb)); + fn := fn, arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), + ta_offs_qbits := ta * 4, lqual_cb := lqual_cb)); if (fn != 0) { ev_param := {tdma_fn := fn }; } @@ -624,14 +1149,16 @@ runs on MS_BTS_IFACE_CT { } /* Enqueue RTS.req, expect DATA.req with UL ACK from the PCU */ -function f_pcuif_rx_data_req(out PCUIF_Message pcu_msg, +function f_pcuif_rx_data_req_pdtch(out BTS_PDTCH_Block data_msg, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) runs on MS_BTS_IFACE_CT { BTS.send(ts_PCUIF_RTS_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH, fn := 0, - arfcn := 871, block_nr := nr.blk_nr)); - BTS.receive(tr_PCUIF_DATA_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, - sapi := PCU_IF_SAPI_PDTCH)) -> value pcu_msg; + arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)), block_nr := nr.blk_nr)); + + BTS.receive(tr_PCUIF_DATA_PDTCH(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PDTCH), *) + ) -> value data_msg; } /* Expect a Paging Request Type 1 from PCU on PCUIF on specified sapi. */ @@ -640,35 +1167,32 @@ function f_pcuif_rx_pch_pag_req1(template MobileIdentityV mi1 := ?, template (present) TsTrxBtsNum nr := tr_TsTrxBtsNum) runs on MS_BTS_IFACE_CT return GsmRrMessage { var GsmRrMessage rr_pag_req1; - var PCUIF_Message pcu_msg; var octetstring imsi_suff_octstr; var integer pag_group_rx; - var octetstring macblock; - BTS.receive(tr_PCUIF_DATA_REQ(nr.bts_nr, nr.trx_nr, nr.ts_nr, - sapi := PCU_IF_SAPI_PCH)) -> value pcu_msg; + var BTS_CCCH_Block data_msg; + BTS.receive(tr_PCUIF_DATA_RR(nr.bts_nr, + tr_PCUIF_DATA(nr.trx_nr, nr.ts_nr, sapi := PCU_IF_SAPI_PCH_2), + tr_PAG_REQ1(tr_MI_LV(mi1)))) -> value data_msg; + rr_pag_req1 := data_msg.rr_msg; + log("Rx Paging Request Type1: ", rr_pag_req1); - /* First 3 bytes contain IMSI suffix to calculate paging group: */ - imsi_suff_octstr := substr(pcu_msg.u.data_req.data, 0, 3); + /* The last 3 digits of the IMSI are used to calculate paging group: */ + imsi_suff_octstr := substr(char2oct(data_msg.imsi), lengthof(data_msg.imsi) - 3, 3); pag_group_rx := str2int(oct2char(imsi_suff_octstr[0])) * 100 + str2int(oct2char(imsi_suff_octstr[1])) * 10 + str2int(oct2char(imsi_suff_octstr[2])); - /* Make sure we've got RR Paging Request Type 1 for a given MI */ - macblock := substr(pcu_msg.u.data_req.data, 3, pcu_msg.u.data_req.len - 3); - rr_pag_req1 := dec_GsmRrMessage(macblock); - if (not match(rr_pag_req1, tr_PAG_REQ1(tr_MI_LV(mi1)))) { - setverdict(fail, "Failed to match Paging Request Type 1: ", rr_pag_req1); - f_shutdown(__BFILE__, __LINE__); - } - /* Make sure that received paging froup matches the expected one */ if (not match(pag_group_rx, pag_group)) { setverdict(fail, "Paging group", pag_group_rx, " does not match expected ", pag_group); f_shutdown(__BFILE__, __LINE__); } - f_pcuif_tx_data_cnf(pcu_msg); + /* Send DATA.cnf back to the IUT */ + if (ispresent(data_msg.confirm) and data_msg.confirm) { + f_pcuif_tx_data_cnf(data_msg); + } return rr_pag_req1; } @@ -676,12 +1200,18 @@ function f_rx_rlcmac_dl_block(out RlcmacDlBlock dl_block, out uint32_t dl_fn, template (present) CodingScheme exp_cs_mcs := ?, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) runs on MS_BTS_IFACE_CT { - var PCUIF_Message pcu_msg; - f_pcuif_rx_data_req(pcu_msg, nr := nr); - dl_block := dec_RlcmacDlBlock(pcu_msg.u.data_req.data); - dl_fn := pcu_msg.u.data_req.fn; + var BTS_PDTCH_Block data_msg; + f_pcuif_rx_data_req_pdtch(data_msg, nr := nr); + + if (data_msg.dl_block == omit) { + setverdict(fail, "Expected RLCMAC block but received idle block (", data_msg.raw.len, ")"); + f_shutdown(__BFILE__, __LINE__); + } - var integer len := lengthof(pcu_msg.u.data_req.data); + dl_block := data_msg.dl_block; + dl_fn := data_msg.raw.fn; + + var integer len := lengthof(data_msg.raw.data); var CodingScheme cs_mcs := f_rlcmac_block_len2cs_mcs(len) if (not match(f_rlcmac_block_len2cs_mcs(len), exp_cs_mcs)) { setverdict(fail, "Failed to match Coding Scheme exp ", exp_cs_mcs, " vs ", cs_mcs, " (", len, ")"); @@ -707,14 +1237,39 @@ runs on MS_BTS_IFACE_CT { function f_rx_rlcmac_dl_block_exp_dummy(out RlcmacDlBlock dl_block, template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) -runs on MS_BTS_IFACE_CT { +runs on MS_BTS_IFACE_CT return uint32_t { var uint32_t dl_fn; f_rx_rlcmac_dl_block(dl_block, dl_fn, nr := nr); - if (not match(dl_block, tr_RLCMAC_DUMMY_CTRL())) { + if (not match(dl_block, tr_RLCMAC_DL_DUMMY_CTRL())) { setverdict(fail, "Failed to match Packet DUMMY DL"); f_shutdown(__BFILE__, __LINE__); } + return dl_fn; +} + +/* Keep getting dl_block until first non RLCMAC Dummy is received, then return it */ +function f_rx_rlcmac_dl_block_skip_dummy(out RlcmacDlBlock dl_block, + integer max_dummy := -1, + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) +runs on MS_BTS_IFACE_CT return uint32_t { + var integer i := 0; + var uint32_t dl_fn; + + while (true) { + f_rx_rlcmac_dl_block(dl_block, dl_fn, nr := nr); + if (not match(dl_block, tr_RLCMAC_DL_DUMMY_CTRL)) { + /* Received first data, starting processing: */ + break; + } + i := i + 1; + if (max_dummy >= 0 and i > max_dummy) { + setverdict(fail, "Didn't receive DL data after receiving ", i, " dummy blocks"); + f_shutdown(__BFILE__, __LINE__); + break; + } + } + return dl_fn; } function f_rx_rlcmac_dl_block_exp_pkt_pag_req(out RlcmacDlBlock dl_block, @@ -738,6 +1293,7 @@ runs on MS_BTS_IFACE_CT { if (not match(data_block.mac_hdr.hdr_ext.bsn, exp_bsn)) { setverdict(fail, "DL block BSN doesn't match: ", data_block.mac_hdr.hdr_ext.bsn, " vs exp ", exp_bsn); + f_shutdown(__BFILE__, __LINE__); } if (lengthof(data_block.blocks) < 1) { @@ -751,14 +1307,10 @@ runs on MS_BTS_IFACE_CT { f_shutdown(__BFILE__, __LINE__); } - /* Check next data blocks contain dummy frames */ - if (lengthof(data_block.blocks) > 1 and substr(data_block.blocks[1].payload, 0, 3) != '43C001'O) { - setverdict(fail, "Second data payload is not a dummy frame: ", - data_block.blocks[1].payload); + if (not match(data_block.cs, exp_cs)) { + setverdict(fail, "Failed to match ", data_block.cs, " vs exp ", exp_cs); f_shutdown(__BFILE__, __LINE__); } - - /* TODO: check exp_cs */ } /* This function does what could probably be done with templates */ @@ -783,30 +1335,18 @@ runs on MS_BTS_IFACE_CT { f_shutdown(__BFILE__, __LINE__); } - /* Check next data blocks contain dummy frames */ - if (lengthof(data_block.blocks) > 1 and substr(data_block.blocks[1].payload, 0, 3) != '43C001'O) { - setverdict(fail, "Second data payload is not a dummy frame: ", - data_block.blocks[1].payload); + if (not match(data_block.mcs, exp_cs)) { + setverdict(fail, "Failed to match ", data_block.mcs, " vs exp ", exp_cs); f_shutdown(__BFILE__, __LINE__); } - - /* TODO: Check exp_cs. In the case of EGPRS, first check mac_hdr.header_type and then decode CPS = exp_cs based on mac_hdr.header_type. - See wireshark's egprs_Header_type1_coding_puncturing_scheme_to_mcs. */ } -/* High level (task specific) helper for receiving and matching GPRS/EGPRS data blocks */ -function f_rx_rlcmac_dl_block_exp_data(out RlcmacDlBlock dl_block, out uint32_t dl_fn, +/* High level (task specific) helper for matching GPRS/EGPRS data blocks */ +function f_rlcmac_dl_block_exp_data(in RlcmacDlBlock dl_block, template (present) octetstring data := ?, template (present) uint7_t exp_bsn := ?, - template (present) CodingScheme exp_cs := ?, - template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) + template (present) CodingScheme exp_cs := ?) runs on MS_BTS_IFACE_CT { - /* FIXME: ideally we should use an alt statement with timeout here, rather than - * having +100500 layers of abstraction. This would facilitate developing the - * multi-TBF/-TRX/-BTS tests, where you cannot expect that the first received - * block is exactly what you need. */ - f_rx_rlcmac_dl_block(dl_block, dl_fn, nr := nr); - /* Make sure it's either GPRS or EGPRS data block */ if (not match(dl_block, tr_RLCMAC_DATA)) { setverdict(fail, "Failed to match DL DATA: ", dl_block, " vs ", tr_RLCMAC_DATA); @@ -824,6 +1364,22 @@ runs on MS_BTS_IFACE_CT { } } +/* High level (task specific) helper for receiving and matching GPRS/EGPRS data blocks */ +function f_rx_rlcmac_dl_block_exp_data(out RlcmacDlBlock dl_block, out uint32_t dl_fn, + template (present) octetstring data := ?, + template (present) uint7_t exp_bsn := ?, + template (present) CodingScheme exp_cs := ?, + template (value) TsTrxBtsNum nr := ts_TsTrxBtsNum) +runs on MS_BTS_IFACE_CT { + /* FIXME: ideally we should use an alt statement with timeout here, rather than + * having +100500 layers of abstraction. This would facilitate developing the + * multi-TBF/-TRX/-BTS tests, where you cannot expect that the first received + * block is exactly what you need. */ + f_rx_rlcmac_dl_block(dl_block, dl_fn, nr := nr); + + f_rlcmac_dl_block_exp_data(dl_block, data, exp_bsn, exp_cs); +} + function f_dl_block_ack_fn(in RlcmacDlBlock dl_block, uint32_t dl_fn) runs on MS_BTS_IFACE_CT return uint32_t { var boolean rrbp_valid; @@ -831,7 +1387,7 @@ runs on MS_BTS_IFACE_CT return uint32_t { /* The argument must be either a GPRS or EGPRS data block */ if (ischosen(dl_block.data_egprs)) { - rrbp_valid := true; /* always valid */ + rrbp_valid := dl_block.data_egprs.mac_hdr.esp != '00'B; rrbp := dl_block.data_egprs.mac_hdr.rrbp; } else if (ischosen(dl_block.data)) { rrbp_valid := dl_block.data.mac_hdr.mac_hdr.rrbp_valid; @@ -850,13 +1406,79 @@ runs on MS_BTS_IFACE_CT return uint32_t { return f_rrbp_ack_fn(dl_fn, rrbp); } -function f_pkt_paging_match_tmsi(in PacketPagingReq req, template GsmTmsi tmsi) -runs on MS_BTS_IFACE_CT { - if (not match(req.repeated_pageinfo.cs.tmsi, tmsi)) { - setverdict(fail, "Mobile Identity (TMSI/P-TMSI) mismatch: ", - "expected: ", tmsi, "got: ", req.repeated_pageinfo.cs.tmsi); +function f_dl_block_rrbp_valid(in RlcmacDlBlock dl_block) +runs on MS_BTS_IFACE_CT return boolean { + if (ischosen(dl_block.data_egprs)) { + return dl_block.data_egprs.mac_hdr.esp != '00'B; + } else if (ischosen(dl_block.data)) { + return dl_block.data.mac_hdr.mac_hdr.rrbp_valid; + } else { + return dl_block.ctrl.mac_hdr.rrbp_valid; + } +} + +/* Return true if a given Packet Paging Request contains the given IMSI, false otherwise */ +function f_pkt_paging_match_imsi(in PacketPagingReq req, template (present) hexstring imsi, + boolean cs_domain := true, boolean ps_domain := true) +runs on MS_BTS_IFACE_CT return boolean { + if (not ispresent(req.repeated_pageinfo)) { + setverdict(fail, "Packet Paging Request without MIs?!?"); + f_shutdown(__BFILE__, __LINE__); + } + + for (var integer i := 0; i < lengthof(req.repeated_pageinfo); i := i + 1) { + var PageInfo info := req.repeated_pageinfo[i].item; + var MobileIdentityLV_Paging mi_lv; + + if (ischosen(info.cs)) { /* CS domain */ + if (not ispresent(info.cs.mobile_identity)) + { continue; } + if (not cs_domain) + { continue; } + mi_lv := info.cs.mobile_identity; + } else { /* PS domain */ + if (not ispresent(info.ps.mobile_identity)) + { continue; } + if (not ps_domain) + { continue; } + mi_lv := info.ps.mobile_identity; + } + + /* Make sure MI contains IMSI before referencing it */ + if (match(mi_lv.mobile_id, decmatch tr_MI_IMSI(imsi))) { + return true; + } + } + + return false; +} + +/* Return true if a given Packet Paging Request contains the given P-TMSI, false otherwise */ +function f_pkt_paging_match_tmsi(in PacketPagingReq req, template GsmTmsi tmsi, + boolean cs_domain := true, boolean ps_domain := true) +runs on MS_BTS_IFACE_CT return boolean { + if (not ispresent(req.repeated_pageinfo)) { + setverdict(fail, "Packet Paging Request without MIs?!?"); f_shutdown(__BFILE__, __LINE__); } + + for (var integer i := 0; i < lengthof(req.repeated_pageinfo); i := i + 1) { + var PageInfo info := req.repeated_pageinfo[i].item; + + if (cs_domain and ischosen(info.cs)) { + if (not ispresent(info.cs.tmsi)) + { continue; } + if (match(info.cs.tmsi, tmsi)) + { return true; } + } else if (ps_domain) { + if (not ispresent(info.ps.ptmsi)) + { continue; } + if (match(info.ps.ptmsi, tmsi)) + { return true; } + } + } + + return false; } } |