Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 1 | /* MME (SBc-AP) 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 MME_ConnectionHandler { |
| 14 | |
| 15 | import from SBC_AP_IEs all; |
| 16 | import from SBC_AP_Constants all; |
| 17 | import from SBC_AP_PDU_Contents all; |
| 18 | import from SBC_AP_PDU_Descriptions all; |
| 19 | import from SBC_AP_Types all; |
| 20 | import from SBC_AP_Templates all; |
| 21 | import from SBC_AP_CodecPort all; |
| 22 | import from SBC_AP_Adapter all; |
| 23 | |
| 24 | import from CBS_Message all; |
| 25 | |
| 26 | type function void_fn() runs on MME_ConnHdlr; |
| 27 | |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 28 | /* Coordinate with test_CT: */ |
| 29 | type port MME_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 MME_ConnHdlr extends SBC_AP_Adapter_CT { |
| 35 | var MME_ConnHdlrPars g_pars; |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 36 | port MME_ConnHdlr_Coord_PT COORD; |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | type record MME_ConnHdlrPars { |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 40 | charstring mme_host, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 41 | integer mme_sbcap_port, |
| 42 | charstring cbc_host, |
| 43 | integer cbc_sbcap_port, |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 44 | boolean sctp_is_client, |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 45 | void_fn start_fn, |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 46 | CBS_Message exp_cbs_msg optional, |
Pau Espin Pedrol | 6b3e8e3 | 2022-08-05 16:21:32 +0200 | [diff] [blame] | 47 | SBC_AP_Cause write_replace_warning_req_cause, |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 48 | SBC_AP_Cause write_replace_warning_ind_cause optional, |
Pau Espin Pedrol | b1a83fb | 2022-08-02 13:17:47 +0200 | [diff] [blame] | 49 | List_of_TAIs write_repl_unknown_TAIs optional, |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 50 | CellId_Broadcast_List bcast_cell_id_list optional |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 51 | }; |
| 52 | |
| 53 | function f_MME_ConnHdlr_main(charstring id, MME_ConnHdlrPars pars) runs on MME_ConnHdlr { |
| 54 | g_pars := pars; |
Pau Espin Pedrol | db247f8 | 2022-08-01 17:55:22 +0200 | [diff] [blame] | 55 | if (g_pars.sctp_is_client) { |
| 56 | SBC_AP_Adapter.f_connect(g_pars.cbc_host, g_pars.cbc_sbcap_port, |
| 57 | g_pars.mme_host, g_pars.mme_sbcap_port); |
| 58 | } else { |
| 59 | SBC_AP_Adapter.f_bind(g_pars.mme_host, g_pars.mme_sbcap_port); |
| 60 | SBC_AP_Adapter.f_wait_client_connect(); |
| 61 | } |
| 62 | COORD.send(COORD_MSG_CONNECTED); |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 63 | g_pars.start_fn.apply(); |
| 64 | } |
| 65 | |
| 66 | function f_sbcap_tx_write_replace_warn_resp(CBS_Message msg, integer idx := 0) |
| 67 | runs on MME_ConnHdlr { |
| 68 | var template (value) SBC_AP_PDU tx; |
Pau Espin Pedrol | b1a83fb | 2022-08-02 13:17:47 +0200 | [diff] [blame] | 69 | if (ispresent(g_pars.write_repl_unknown_TAIs)) { |
| 70 | tx := ts_SBCAP_WRITE_WARNING_RESP_UNKNOWN_TAI( |
| 71 | int2bit(msg.msg_id, 16), |
| 72 | int2bit(msg.ser_nr, 16), |
Pau Espin Pedrol | 6b3e8e3 | 2022-08-05 16:21:32 +0200 | [diff] [blame] | 73 | g_pars.write_replace_warning_req_cause, |
Pau Espin Pedrol | b1a83fb | 2022-08-02 13:17:47 +0200 | [diff] [blame] | 74 | g_pars.write_repl_unknown_TAIs); |
| 75 | } else { |
| 76 | tx := ts_SBCAP_WRITE_WARNING_RESP(int2bit(msg.msg_id, 16), |
Pau Espin Pedrol | 6b3e8e3 | 2022-08-05 16:21:32 +0200 | [diff] [blame] | 77 | int2bit(msg.ser_nr, 16), |
| 78 | g_pars.write_replace_warning_req_cause); |
Pau Espin Pedrol | b1a83fb | 2022-08-02 13:17:47 +0200 | [diff] [blame] | 79 | } |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 80 | f_SBC_AP_send(tx, idx); |
| 81 | } |
| 82 | |
Pau Espin Pedrol | ae2e515 | 2022-07-29 19:16:23 +0200 | [diff] [blame] | 83 | function f_sbcap_tx_write_replace_warn_ind(integer idx := 0, CBS_Message msg, |
| 84 | SBC_AP_Cause cause, |
| 85 | template (value) CellId_Broadcast_List bcast_cell_id_li) |
| 86 | runs on MME_ConnHdlr { |
| 87 | var template (value) SBC_AP_PDU tx; |
| 88 | tx := ts_SBCAP_WRITE_WARNING_IND(int2bit(msg.msg_id, 16), |
| 89 | int2bit(msg.ser_nr, 16), |
| 90 | cause, bcast_cell_id_li); |
| 91 | f_SBC_AP_send(tx, idx); |
| 92 | } |
| 93 | |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 94 | function f_sbcap_tx_stop_warn_resp(integer idx := 0, CBS_Message msg) |
| 95 | runs on MME_ConnHdlr { |
| 96 | var template (value) SBC_AP_PDU tx; |
| 97 | tx := ts_SBCAP_STOP_WARNING_RESP(int2bit(msg.msg_id, 16), |
| 98 | int2bit(msg.ser_nr, 16)); |
| 99 | f_SBC_AP_send(tx, idx); |
| 100 | } |
| 101 | |
| 102 | /* handle a SBc-AP Write-Replace Request and respond to it with Response or FAILURE depending on arguments */ |
| 103 | function f_sbcap_handle_write_replace_warn_req(CBS_Message msg, integer idx := 0) |
| 104 | runs on MME_ConnHdlr { |
| 105 | var template (present) SBC_AP_PDU rx_templ; |
| 106 | var SBC_AP_RecvFrom rf; |
Pau Espin Pedrol | e7d3d99 | 2022-08-04 12:21:10 +0200 | [diff] [blame] | 107 | if (msg_id_is_etws(msg.msg_id)) { |
| 108 | rx_templ := tr_SBCAP_WRITE_WARNING_REQ_ETWS( |
| 109 | int2bit(msg.msg_id, 16), int2bit(msg.ser_nr, 16), |
| 110 | msg.rep_period, msg.num_bcast_req, hex2oct('018'H & int2hex(msg.msg_id - 4352, 1))); |
| 111 | } else { |
| 112 | rx_templ := tr_SBCAP_WRITE_WARNING_REQ_CBS( |
| 113 | int2bit(msg.msg_id, 16), int2bit(msg.ser_nr, 16), |
| 114 | msg.rep_period, msg.num_bcast_req); |
| 115 | } |
Pau Espin Pedrol | 4ff118a | 2022-07-28 17:37:47 +0200 | [diff] [blame] | 116 | alt { |
| 117 | [] SBC_AP[idx].receive(tr_SBC_AP_Recv(g_SBC_AP_conn_id[idx], rx_templ)) -> value rf { |
| 118 | log ("received expected req:", rf); |
| 119 | f_sbcap_tx_write_replace_warn_resp(msg, idx); |
| 120 | } |
| 121 | [] SBC_AP[idx].receive { |
| 122 | setverdict(fail, "Received unexpected SBc-AP in index ", idx); |
| 123 | } |
| 124 | } |
| 125 | } |
| 126 | |
| 127 | /* handle a SBc-AP Stop-Warning-Request and respond to it with Response or FAILURE depending on arguments */ |
| 128 | function f_sbcap_handle_stop_warn_req(integer idx := 0, CBS_Message msg) |
| 129 | runs on MME_ConnHdlr { |
| 130 | var template (present) SBC_AP_PDU rx_templ; |
| 131 | var SBC_AP_RecvFrom rf; |
| 132 | |
| 133 | rx_templ := tr_SBCAP_STOP_WARNING(int2bit(msg.msg_id, 16), |
| 134 | int2bit(msg.ser_nr, 16)); |
| 135 | alt { |
| 136 | [] SBC_AP[idx].receive(tr_SBC_AP_Recv(g_SBC_AP_conn_id[idx], rx_templ)) -> value rf { |
| 137 | log ("received expected req:", rf); |
| 138 | f_sbcap_tx_stop_warn_resp(idx, msg); |
| 139 | } |
| 140 | [] SBC_AP[idx].receive { |
| 141 | setverdict(fail, "Received unexpected SBc-AP in index ", idx); |
| 142 | } |
| 143 | } |
| 144 | } |
| 145 | |
| 146 | } |