Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 1 | /* BSC (CBSP) Connection Handler of CBC test suite in TTCN-3 |
| 2 | * (C) 2022 by sysmocom - s.f.m.c. GmbH <info@sysmocom.de> |
| 3 | * All rights reserved. |
| 4 | * |
| 5 | * Author: Pau Espin Pedrol <pespin@sysmocom.de> |
| 6 | * |
| 7 | * Released under the terms of GNU General Public License, Version 2 or |
| 8 | * (at your option) any later version. |
| 9 | * |
| 10 | * SPDX-License-Identifier: GPL-2.0-or-later |
| 11 | */ |
| 12 | |
| 13 | module BSC_ConnectionHandler { |
| 14 | |
| 15 | import from Osmocom_Types all; |
| 16 | |
| 17 | import from BSSAP_Types all; |
| 18 | import from BSSMAP_Templates all; |
| 19 | import from CBSP_Types all; |
| 20 | import from CBSP_Templates all; |
| 21 | import from CBSP_Adapter all; |
| 22 | import from CBSP_CodecPort all; |
| 23 | |
| 24 | import from CBS_Message all; |
| 25 | |
| 26 | type function void_fn() runs on BSC_ConnHdlr; |
| 27 | |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 28 | /* Coordinate with test_CT: */ |
| 29 | type port BSC_ConnHdlr_Coord_PT message { |
| 30 | inout charstring; |
| 31 | } with { extension "internal" }; |
| 32 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 33 | /* this component represents a single subscriber connection */ |
| 34 | type component BSC_ConnHdlr extends CBSP_Adapter_CT { |
| 35 | var BSC_ConnHdlrPars g_pars; |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 36 | port BSC_ConnHdlr_Coord_PT COORD; |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | type record BSC_ConnHdlrPars { |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 40 | charstring bsc_host, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 41 | integer bsc_cbsp_port, |
| 42 | charstring cbc_host, |
| 43 | integer cbc_cbsp_port, |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 44 | boolean tcp_is_client, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 45 | void_fn start_fn, |
| 46 | CBS_Message exp_cbs_msg optional, |
Pau Espin Pedrol | 6dd5a0f | 2022-08-05 15:16:48 +0200 | [diff] [blame] | 47 | BSSMAP_FIELD_CellIdentificationList cell_list_success optional, |
| 48 | CBSP_FailureListItems tx_fail_list optional |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 49 | }; |
| 50 | |
| 51 | function f_BSC_ConnHdlr_main(charstring id, BSC_ConnHdlrPars pars) runs on BSC_ConnHdlr { |
| 52 | g_pars := pars; |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 53 | if (g_pars.tcp_is_client) { |
| 54 | CBSP_Adapter.f_connect(g_pars.cbc_host, g_pars.cbc_cbsp_port, |
| 55 | g_pars.bsc_host, g_pars.bsc_cbsp_port); |
| 56 | } else { |
| 57 | CBSP_Adapter.f_bind(g_pars.bsc_host, g_pars.bsc_cbsp_port); |
| 58 | CBSP_Adapter.f_wait_client_connect(); |
| 59 | } |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 60 | |
| 61 | var BSSMAP_FIELD_CellIdentificationList cell_list := { |
| 62 | cIl_allInBSS := ''O |
| 63 | }; |
| 64 | activate(as_cbsp_keepalive_ack(0)); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 65 | f_cbsp_send(ts_CBSP_RESTART(cell_list, CBSP_BC_MSGT_CBS, CBSP_RI_DATA_LOST)); |
| 66 | f_cbsp_send(ts_CBSP_RESTART(cell_list, CBSP_BC_MSGT_EMERG, CBSP_RI_DATA_LOST)); |
| 67 | as_cbsp_reset(0); |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 68 | COORD.send(COORD_MSG_CONNECTED); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 69 | |
| 70 | g_pars.start_fn.apply(); |
| 71 | } |
| 72 | |
| 73 | altstep as_cbsp_reset(integer idx) runs on CBSP_Adapter_CT { |
| 74 | var CBSP_RecvFrom rf; |
| 75 | [] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], tr_CBSP_RESET)) -> value rf { |
| 76 | var CBSP_IE ie; |
| 77 | f_cbsp_find_ie(rf.msg, CBSP_IEI_CELL_LIST, ie); |
| 78 | CBSP[idx].send(ts_CBSP_Send(g_cbsp_conn_id[idx], |
| 79 | ts_CBSP_RESET_COMPL(ie.body.cell_list.cell_id))); |
| 80 | } |
| 81 | } |
| 82 | |
| 83 | /* receive + acknowledge KEEP-ALIVE */ |
| 84 | altstep as_cbsp_keepalive_ack(integer idx) runs on CBSP_Adapter_CT { |
| 85 | [] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], tr_CBSP_KEEP_ALIVE)) { |
| 86 | CBSP[idx].send(ts_CBSP_Send(g_cbsp_conn_id[idx], ts_CBSP_KEEP_ALIVE_COMPL)); |
| 87 | } |
| 88 | } |
| 89 | |
| 90 | /* receive + ignore RESTART */ |
| 91 | altstep as_cbsp_restart(integer idx) runs on CBSP_Adapter_CT { |
| 92 | [] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], tr_CBSP_RESTART)); |
| 93 | } |
| 94 | |
| 95 | function f_cbsp_tx_write_compl(CBS_Message msg, integer idx := 0, |
| 96 | template (omit) BSSMAP_FIELD_CellIdentificationList tx_cell_list := omit, |
| 97 | template (omit) CBSP_IE_NumBcastComplList tx_compl_list := omit) |
| 98 | runs on BSC_ConnHdlr { |
| 99 | var template (value) CBSP_PDU tx; |
| 100 | var template (value) BSSMAP_FIELD_CellIdentificationList tx_list; |
| 101 | if (istemplatekind(tx_cell_list, "omit")) { |
| 102 | /* use the "expected list" when confirming the write-replace */ |
| 103 | tx_list := msg.cell_list; |
| 104 | } else { |
| 105 | /* use an user-provided different list of cells */ |
| 106 | tx_list := valueof(tx_cell_list); |
| 107 | } |
| 108 | if (istemplatekind(tx_compl_list, "omit")) { |
Pau Espin Pedrol | ad5d2db | 2022-08-03 14:02:02 +0200 | [diff] [blame] | 109 | if (msg_id_is_etws(msg.msg_id)) { |
| 110 | tx := ts_CBSP_WRITE_EMERG_COMPL(msg.msg_id, msg.ser_nr, tx_list); |
| 111 | } else { |
| 112 | tx := ts_CBSP_WRITE_CBS_COMPL(msg.msg_id, msg.ser_nr, tx_list, msg.channel_ind); |
| 113 | } |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 114 | } else { |
Pau Espin Pedrol | ad5d2db | 2022-08-03 14:02:02 +0200 | [diff] [blame] | 115 | if (msg_id_is_etws(msg.msg_id)) { |
| 116 | tx := ts_CBSP_REPLACE_EMERG_COMPL(msg.msg_id, msg.ser_nr, msg.old_ser_nr, |
| 117 | tx_list); |
| 118 | } else { |
| 119 | tx := ts_CBSP_REPLACE_CBS_COMPL(msg.msg_id, msg.ser_nr, msg.old_ser_nr, |
| 120 | valueof(tx_compl_list), tx_list, |
| 121 | msg.channel_ind); |
| 122 | } |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 123 | } |
| 124 | CBSP[idx].send(ts_CBSP_Send(g_cbsp_conn_id[idx], tx)); |
| 125 | } |
| 126 | |
| 127 | function f_cbsp_tx_write_fail(CBS_Message msg, integer idx := 0, |
| 128 | template (omit) BSSMAP_FIELD_CellIdentificationList tx_cell_list := omit, |
Pau Espin Pedrol | 6dd5a0f | 2022-08-05 15:16:48 +0200 | [diff] [blame] | 129 | template (omit) CBSP_IE_NumBcastComplList tx_compl_list := omit, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 130 | template (omit) CBSP_FailureListItems tx_fail_list := omit) |
| 131 | runs on BSC_ConnHdlr { |
| 132 | var template (value) CBSP_PDU tx; |
| 133 | tx := ts_CBSP_WRITE_CBS_FAIL(msg.msg_id, msg.ser_nr, valueof(tx_fail_list), |
Pau Espin Pedrol | 6dd5a0f | 2022-08-05 15:16:48 +0200 | [diff] [blame] | 134 | tx_compl_list, tx_cell_list, msg.channel_ind); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 135 | CBSP[idx].send(ts_CBSP_Send(g_cbsp_conn_id[idx], tx)); |
| 136 | } |
| 137 | |
| 138 | /* handle a CBSP-WRITE-REPLACE and respond to it with COMPLETE or FAILURE depending on arguments */ |
| 139 | function f_cbsp_handle_write(CBS_Message msg, integer idx := 0, |
| 140 | template (omit) BSSMAP_FIELD_CellIdentificationList tx_cell_list := omit, |
| 141 | template (omit) CBSP_FailureListItems tx_fail_list := omit, |
| 142 | template (omit) CBSP_IE_NumBcastComplList tx_compl_list := omit) |
| 143 | runs on BSC_ConnHdlr { |
| 144 | var template CBSP_IEs content_ies := {}; |
| 145 | var template (present) CBSP_PDU rx_templ; |
| 146 | var CBSP_RecvFrom rf; |
Pau Espin Pedrol | ad5d2db | 2022-08-03 14:02:02 +0200 | [diff] [blame] | 147 | if (msg_id_is_etws(msg.msg_id)) { |
| 148 | rx_templ := tr_CBSP_WRITE_EMERG(msg.msg_id, msg.ser_nr, msg.cell_list, 1, |
| 149 | hex2int('180'H) + (msg.msg_id - 4352), |
| 150 | msg.num_bcast_req, 0) |
| 151 | } else { |
| 152 | for (var integer i := 0; i < lengthof(msg.content); i := i+1) { |
| 153 | //content_ies[i] := tr_CbspMsgContent(msg.content[i].payload, msg.content[i].user_len); |
| 154 | content_ies[i] := tr_CbspMsgContent(?, ?); |
| 155 | } |
| 156 | rx_templ := tr_CBSP_WRITE_CBS(msg.msg_id, msg.ser_nr, msg.cell_list, msg.channel_ind, |
| 157 | msg.category, msg.rep_period, msg.num_bcast_req, msg.dcs, |
| 158 | content_ies); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 159 | } |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 160 | alt { |
| 161 | [] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], rx_templ)) -> value rf { |
| 162 | var template (value) CBSP_PDU tx; |
| 163 | if (istemplatekind(tx_fail_list, "omit")) { |
| 164 | f_cbsp_tx_write_compl(msg, idx, tx_cell_list, tx_compl_list); |
| 165 | } else { |
Pau Espin Pedrol | 6dd5a0f | 2022-08-05 15:16:48 +0200 | [diff] [blame] | 166 | f_cbsp_tx_write_fail(msg, idx, tx_cell_list, tx_compl_list, tx_fail_list); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 167 | } |
| 168 | } |
| 169 | [] as_cbsp_keepalive_ack(idx) { repeat; } |
| 170 | [] CBSP[idx].receive { |
| 171 | setverdict(fail, "Received unexpected CBSP in index ", idx); |
| 172 | } |
| 173 | } |
| 174 | } |
| 175 | |
| 176 | /* handle a CBSP-KILL and respond to it with COMPLETE or FAILURE depending on arguments */ |
| 177 | function f_cbsp_handle_kill(integer idx, uint16_t msg_id, uint16_t ser_nr, |
| 178 | template BSSMAP_FIELD_CellIdentificationList exp_list, |
| 179 | template (omit) BSSMAP_FIELD_CellIdentificationList tx_list, |
| 180 | template (omit) CBSP_FailureListItems tx_fail_list := omit, |
| 181 | template (omit) CBSP_IE_NumBcastComplList tx_compl_list := omit, |
| 182 | template (omit) uint8_t channel_ind := omit) |
| 183 | runs on BSC_ConnHdlr { |
| 184 | var template (present) CBSP_PDU rx_templ; |
| 185 | var CBSP_RecvFrom rf; |
| 186 | |
| 187 | rx_templ := tr_CBSP_KILL(msg_id, ser_nr, exp_list, channel_ind); |
| 188 | alt { |
| 189 | [] CBSP[idx].receive(tr_CBSP_Recv(g_cbsp_conn_id[idx], rx_templ)) -> value rf { |
| 190 | var template (value) CBSP_PDU tx; |
| 191 | if (istemplatekind(tx_fail_list, "omit")) { |
| 192 | tx := ts_CBSP_KILL_COMPL(msg_id, ser_nr, tx_compl_list, tx_list, channel_ind); |
| 193 | } else { |
| 194 | tx := ts_CBSP_KILL_FAIL(msg_id, ser_nr, valueof(tx_fail_list), tx_compl_list, |
| 195 | tx_list, channel_ind); |
| 196 | } |
| 197 | CBSP[idx].send(ts_CBSP_Send(g_cbsp_conn_id[idx], tx)); |
| 198 | } |
| 199 | [] as_cbsp_keepalive_ack(idx) { repeat; } |
| 200 | [] CBSP[idx].receive { |
| 201 | setverdict(fail, "Received unexpected CBSP in index ", idx); |
| 202 | } |
| 203 | } |
| 204 | } |
| 205 | |
| 206 | } |