blob: 42f7739ca1e8b5ed4d6175bf213f6cc0df29093f [file] [log] [blame]
Harald Welte365f4ed2017-11-23 00:00:43 +01001module BSSMAP_Emulation {
2
Harald Welteb3414b22017-11-23 18:22:10 +01003import from SCCP_Emulation all;
Harald Welte365f4ed2017-11-23 00:00:43 +01004import from SCCPasp_Types all;
5import from BSSAP_Types all;
6import from BSSMAP_Templates all;
Harald Weltec82eef42017-11-24 20:40:12 +01007import from MGCP_Types all;
8import from MGCP_Templates all;
9import from IPA_Emulation all;
Harald Welte365f4ed2017-11-23 00:00:43 +010010
11/* General "base class" component definition, of which specific implementations
12 * derive themselves by means of the "extends" feature */
13type component BSSAP_ConnHdlr {
14 /* port towards MSC Emulator core / SCCP connection dispatchar */
15 port BSSAP_Conn_PT BSSAP;
16}
17
18/* Auxiliary primitive that can happen on the port between per-connection client and this dispatcher */
19type enumerated BSSAP_Conn_Prim {
20 /* SCCP tell us that connection was released */
21 MSC_CONN_PRIM_DISC_IND,
22 /* we tell SCCP to release connection */
23 MSC_CONN_PRIM_DISC_REQ
24}
25
Harald Welteb3414b22017-11-23 18:22:10 +010026type record BSSAP_Conn_Req {
27 SCCP_PAR_Address addr_peer,
28 SCCP_PAR_Address addr_own,
29 PDU_BSSAP bssap
30}
31
Harald Welte365f4ed2017-11-23 00:00:43 +010032/* port between individual per-connection components and this dispatcher */
33type port BSSAP_Conn_PT message {
Harald Weltec82eef42017-11-24 20:40:12 +010034 inout PDU_BSSAP, BSSAP_Conn_Prim, BSSAP_Conn_Req, MgcpCommand, MgcpResponse;
Harald Welte365f4ed2017-11-23 00:00:43 +010035} with { extension "internal" };
36
37
38/* represents a single BSSAP connection over SCCP */
39type record ConnectionData {
40 /* reference to the instance of the per-connection component */
41 BSSAP_ConnHdlr comp_ref,
Harald Weltec82eef42017-11-24 20:40:12 +010042 integer sccp_conn_id,
43 /* most recent MGCP transaction ID (Used on MSC side) */
44 MgcpTransId mgcp_trans_id optional,
45 /* CIC that has been used for voice of this channel (BSC side) */
46 integer cic optional
Harald Welte365f4ed2017-11-23 00:00:43 +010047}
48
49type component BSSMAP_Emulation_CT {
50 /* SCCP port on the bottom side, using ASP primitives */
51 port SCCPasp_PT SCCP;
52 /* BSSAP port to the per-connection clients */
53 port BSSAP_Conn_PT CLIENT;
Harald Weltec82eef42017-11-24 20:40:12 +010054 /* MGCP port */
55 port IPA_MGCP_PT MGCP;
Harald Welte365f4ed2017-11-23 00:00:43 +010056
57 /* use 16 as this is also the number of SCCP connections that SCCP_Emulation can handle */
58 var ConnectionData ConnectionTable[16];
Harald Welte66fecd42017-11-24 23:53:23 +010059
Harald Weltebe620f62017-11-25 00:23:54 +010060 var charstring g_bssmap_id;
Harald Welte66fecd42017-11-24 23:53:23 +010061 var integer g_next_e1_ts := 1;
Harald Welte365f4ed2017-11-23 00:00:43 +010062};
63
Harald Welteb3414b22017-11-23 18:22:10 +010064private function f_conn_id_known(integer sccp_conn_id)
65runs on BSSMAP_Emulation_CT return boolean {
66 var integer i;
67 for (i := 0; i < sizeof(ConnectionTable); i := i+1) {
68 if (ConnectionTable[i].sccp_conn_id == sccp_conn_id){
69 return true;
70 }
71 }
72 return false;
73}
74
75private function f_comp_known(BSSAP_ConnHdlr client)
76runs on BSSMAP_Emulation_CT return boolean {
77 var integer i;
78 for (i := 0; i < sizeof(ConnectionTable); i := i+1) {
79 if (ConnectionTable[i].comp_ref == client) {
80 return true;
81 }
82 }
83 return false;
84}
Harald Welte365f4ed2017-11-23 00:00:43 +010085
Harald Weltee98bb2e2017-11-29 12:09:48 +010086private function f_cic_known(integer cic)
87runs on BSSMAP_Emulation_CT return boolean {
88 var integer i;
89 for (i := 0; i < sizeof(ConnectionTable); i := i+1) {
90 if (ConnectionTable[i].cic == cic) {
91 return true;
92 }
93 }
94 return false;
95}
96
Harald Welte365f4ed2017-11-23 00:00:43 +010097/* resolve component reference by connection ID */
98private function f_comp_by_conn_id(integer sccp_conn_id)
99runs on BSSMAP_Emulation_CT return BSSAP_ConnHdlr {
100 var integer i;
101 for (i := 0; i < sizeof(ConnectionTable); i := i+1) {
102 if (ConnectionTable[i].sccp_conn_id == sccp_conn_id) {
103 return ConnectionTable[i].comp_ref;
104 }
105 }
106 log("BSSMAP Connection table not found by SCCP Connection ID ", sccp_conn_id);
Harald Welte9ca9eb12017-11-25 00:50:43 +0100107 setverdict(fail);
Harald Welte365f4ed2017-11-23 00:00:43 +0100108 self.stop;
109}
110
Harald Weltec82eef42017-11-24 20:40:12 +0100111/* resolve component reference by CIC */
112private function f_comp_by_mgcp_tid(MgcpTransId tid)
113runs on BSSMAP_Emulation_CT return BSSAP_ConnHdlr {
114 var integer i;
115 for (i := 0; i < sizeof(ConnectionTable); i := i+1) {
116 if (ConnectionTable[i].mgcp_trans_id == tid) {
117 return ConnectionTable[i].comp_ref;
118 }
119 }
120 log("BSSMAP Connection table not found by MGCP Transaction ID ", tid);
Harald Welte9ca9eb12017-11-25 00:50:43 +0100121 setverdict(fail);
Harald Weltec82eef42017-11-24 20:40:12 +0100122 self.stop;
123}
124
125private function f_comp_store_mgcp_tid(BSSAP_ConnHdlr client, MgcpTransId tid)
126runs on BSSMAP_Emulation_CT {
127 var integer i;
128 for (i := 0; i < sizeof(ConnectionTable); i := i+1) {
129 if (ConnectionTable[i].comp_ref == client) {
130 ConnectionTable[i].mgcp_trans_id := tid;
131 return;
132 }
133 }
134 log("BSSMAP Connection table not found by component ", client);
Harald Welte9ca9eb12017-11-25 00:50:43 +0100135 setverdict(fail);
Harald Weltec82eef42017-11-24 20:40:12 +0100136 self.stop;
137}
138
139private function f_comp_by_cic(integer cic)
140runs on BSSMAP_Emulation_CT return BSSAP_ConnHdlr {
141 var integer i;
142 for (i := 0; i < sizeof(ConnectionTable); i := i+1) {
143 if (ConnectionTable[i].cic == cic) {
144 return ConnectionTable[i].comp_ref;
145 }
146 }
147 log("BSSMAP Connection table not found by CIC ", cic);
Harald Welte9ca9eb12017-11-25 00:50:43 +0100148 setverdict(fail);
Harald Weltec82eef42017-11-24 20:40:12 +0100149 self.stop;
150}
151
152private function f_comp_store_cic(BSSAP_ConnHdlr client, integer cic)
153runs on BSSMAP_Emulation_CT {
154 var integer i;
155 for (i := 0; i < sizeof(ConnectionTable); i := i+1) {
156 if (ConnectionTable[i].comp_ref == client) {
157 ConnectionTable[i].cic := cic;
158 return;
159 }
160 }
161 log("BSSMAP Connection table not found by component ", client);
Harald Welte9ca9eb12017-11-25 00:50:43 +0100162 setverdict(fail);
Harald Weltec82eef42017-11-24 20:40:12 +0100163}
164
Harald Welte365f4ed2017-11-23 00:00:43 +0100165/* resolve connection ID by component reference */
166private function f_conn_id_by_comp(BSSAP_ConnHdlr client)
167runs on BSSMAP_Emulation_CT return integer {
168 for (var integer i := 0; i < sizeof(ConnectionTable); i := i+1) {
169 if (ConnectionTable[i].comp_ref == client) {
170 return ConnectionTable[i].sccp_conn_id;
171 }
172 }
173 log("BSSMAP Connection table not found by component ", client);
Harald Welte9ca9eb12017-11-25 00:50:43 +0100174 setverdict(fail);
Harald Welte365f4ed2017-11-23 00:00:43 +0100175 self.stop;
176}
177
Harald Welteb3414b22017-11-23 18:22:10 +0100178private function f_gen_conn_id()
179runs on BSSMAP_Emulation_CT return integer {
180 var integer conn_id;
181
182 do {
183 conn_id := float2int(rnd()*SCCP_Emulation.tsp_max_ConnectionId);
184 } while (f_conn_id_known(conn_id) == true);
185
186 return conn_id;
187}
188
Harald Welte365f4ed2017-11-23 00:00:43 +0100189private function f_conn_table_init()
190runs on BSSMAP_Emulation_CT {
191 for (var integer i := 0; i < sizeof(ConnectionTable); i := i+1) {
192 ConnectionTable[i].comp_ref := null;
193 ConnectionTable[i].sccp_conn_id := -1;
Harald Weltec82eef42017-11-24 20:40:12 +0100194 ConnectionTable[i].mgcp_trans_id := omit;
195 ConnectionTable[i].cic := omit;
Harald Welte365f4ed2017-11-23 00:00:43 +0100196 }
197}
198
199private function f_conn_table_add(BSSAP_ConnHdlr comp_ref, integer sccp_conn_id)
200runs on BSSMAP_Emulation_CT {
201 for (var integer i := 0; i < sizeof(ConnectionTable); i := i+1) {
202 if (ConnectionTable[i].sccp_conn_id == -1) {
203 ConnectionTable[i].comp_ref := comp_ref;
204 ConnectionTable[i].sccp_conn_id := sccp_conn_id;
Harald Welteb3414b22017-11-23 18:22:10 +0100205 log("Added conn table entry ", i, comp_ref, sccp_conn_id);
Harald Welte365f4ed2017-11-23 00:00:43 +0100206 return;
207 }
208 }
209 log("BSSMAP Connection table full!");
Harald Welte9ca9eb12017-11-25 00:50:43 +0100210 setverdict(fail);
Harald Welte365f4ed2017-11-23 00:00:43 +0100211 self.stop;
212}
213
214private function f_conn_table_del(integer sccp_conn_id)
215runs on BSSMAP_Emulation_CT {
216 for (var integer i := 0; i < sizeof(ConnectionTable); i := i+1) {
217 if (ConnectionTable[i].sccp_conn_id == sccp_conn_id) {
Harald Welteb3414b22017-11-23 18:22:10 +0100218 log("Deleted conn table entry ", i,
219 ConnectionTable[i].comp_ref, sccp_conn_id);
Harald Welte365f4ed2017-11-23 00:00:43 +0100220 ConnectionTable[i].sccp_conn_id := -1;
221 ConnectionTable[i].comp_ref := null;
Harald Welte0a4317a2017-11-25 00:32:46 +0100222 return
Harald Welte365f4ed2017-11-23 00:00:43 +0100223 }
224 }
225 log("BSSMAP Connection table attempt to delete non-existant ", sccp_conn_id);
Harald Welte9ca9eb12017-11-25 00:50:43 +0100226 setverdict(fail);
Harald Welte365f4ed2017-11-23 00:00:43 +0100227 self.stop;
228}
229
230/* handle (optional) userData portion of various primitives and dispatch it to the client */
Harald Welte5cc4aa22017-11-23 18:51:28 +0100231private function f_handle_userData(BSSAP_ConnHdlr client, octetstring userdata)
Harald Welte365f4ed2017-11-23 00:00:43 +0100232runs on BSSMAP_Emulation_CT {
Harald Welte365f4ed2017-11-23 00:00:43 +0100233 /* decode + send decoded BSSAP to client */
234 var PDU_BSSAP bssap := dec_PDU_BSSAP(valueof(userdata));
Harald Welte1b2748e2017-11-24 23:40:16 +0100235
236 /* BSC Side: If this is an assignment command, store CIC */
237 if (ischosen(bssap.pdu.bssmap.assignmentRequest) and
238 ispresent(bssap.pdu.bssmap.assignmentRequest.circuitIdentityCode)) {
239 var BSSMAP_IE_CircuitIdentityCode cic_ie :=
240 bssap.pdu.bssmap.assignmentRequest.circuitIdentityCode;
241 var integer cic := (oct2int(cic_ie.cicHigh) * 256) + oct2int(cic_ie.cicLow);
242 f_comp_store_cic(client, cic);
243 }
244
Harald Welte365f4ed2017-11-23 00:00:43 +0100245 CLIENT.send(bssap) to client;
246}
247
248/* call-back type, to be provided by specific implementation; called when new SCCP connection
249 * arrives */
Harald Weltebe620f62017-11-25 00:23:54 +0100250type function BssmapCreateCallback(ASP_SCCP_N_CONNECT_ind conn_ind, charstring id)
Harald Welte365f4ed2017-11-23 00:00:43 +0100251runs on BSSMAP_Emulation_CT return BSSAP_ConnHdlr;
252
253type function BssmapUnitdataCallback(PDU_BSSAP bssap)
254runs on BSSMAP_Emulation_CT return template PDU_BSSAP;
255
256type record BssmapOps {
257 BssmapCreateCallback create_cb,
258 BssmapUnitdataCallback unitdata_cb
259}
260
Harald Weltebe620f62017-11-25 00:23:54 +0100261function main(BssmapOps ops, charstring id) runs on BSSMAP_Emulation_CT {
Harald Welte365f4ed2017-11-23 00:00:43 +0100262
Harald Weltebe620f62017-11-25 00:23:54 +0100263 g_bssmap_id := id;
Harald Welte365f4ed2017-11-23 00:00:43 +0100264 f_conn_table_init();
265
266 while (true) {
267 var ASP_SCCP_N_UNITDATA_ind ud_ind;
268 var ASP_SCCP_N_CONNECT_ind conn_ind;
Harald Welteb3414b22017-11-23 18:22:10 +0100269 var ASP_SCCP_N_CONNECT_cfm conn_cfm;
Harald Welte365f4ed2017-11-23 00:00:43 +0100270 var ASP_SCCP_N_DATA_ind data_ind;
271 var ASP_SCCP_N_DISCONNECT_ind disc_ind;
Harald Welteb3414b22017-11-23 18:22:10 +0100272 var BSSAP_Conn_Req creq;
Harald Welte365f4ed2017-11-23 00:00:43 +0100273 var BSSAP_ConnHdlr vc_conn;
274 var PDU_BSSAP bssap;
Harald Weltec82eef42017-11-24 20:40:12 +0100275 var MgcpCommand mgcp_req;
276 var MgcpResponse mgcp_resp;
Harald Welte365f4ed2017-11-23 00:00:43 +0100277
278 alt {
279 /* SCCP -> Client: UNIT-DATA (connectionless SCCP) from a BSC */
280 [] SCCP.receive(ASP_SCCP_N_UNITDATA_ind:?) -> value ud_ind {
281 /* Connectionless Procedures like RESET */
282 var template PDU_BSSAP resp;
283 bssap := dec_PDU_BSSAP(ud_ind.userData);
284 resp := ops.unitdata_cb.apply(bssap);
285 if (isvalue(resp)) {
286 var octetstring resp_ud := enc_PDU_BSSAP(valueof(resp));
287 SCCP.send(t_ASP_N_UNITDATA_req(ud_ind.callingAddress,
288 ud_ind.calledAddress, omit,
289 omit, resp_ud, omit));
290 }
291 }
292
293 /* SCCP -> Client: new connection from BSC */
294 [] SCCP.receive(ASP_SCCP_N_CONNECT_ind:?) -> value conn_ind {
Harald Weltebe620f62017-11-25 00:23:54 +0100295 vc_conn := ops.create_cb.apply(conn_ind, id);
Harald Welte365f4ed2017-11-23 00:00:43 +0100296 /* store mapping between client components and SCCP connectionId */
297 f_conn_table_add(vc_conn, conn_ind.connectionId);
298 /* handle user payload */
299 f_handle_userData(vc_conn, conn_ind.userData);
300 /* confirm connection establishment */
301 SCCP.send(t_ASP_N_CONNECT_res(omit, omit, omit, omit, conn_ind.connectionId, omit));
302 }
303
304 /* SCCP -> Client: connection-oriented data in existing connection */
305 [] SCCP.receive(ASP_SCCP_N_DATA_ind:?) -> value data_ind {
306 vc_conn := f_comp_by_conn_id(data_ind.connectionId);
Harald Welte5cc4aa22017-11-23 18:51:28 +0100307 if (ispresent(data_ind.userData)) {
308 f_handle_userData(vc_conn, data_ind.userData);
309 }
Harald Welte365f4ed2017-11-23 00:00:43 +0100310 }
311
312 /* SCCP -> Client: disconnect of an existing connection */
313 [] SCCP.receive(ASP_SCCP_N_DISCONNECT_ind:?) -> value disc_ind {
314 vc_conn := f_comp_by_conn_id(disc_ind.connectionId);
Harald Welte5cc4aa22017-11-23 18:51:28 +0100315 if (ispresent(disc_ind.userData)) {
316 f_handle_userData(vc_conn, disc_ind.userData);
317 }
Harald Welte365f4ed2017-11-23 00:00:43 +0100318 /* notify client about termination */
319 var BSSAP_Conn_Prim prim := MSC_CONN_PRIM_DISC_IND;
320 CLIENT.send(prim) to vc_conn;
321 f_conn_table_del(disc_ind.connectionId);
322 /* TOOD: return confirm to other side? */
323 }
324
Harald Welteb3414b22017-11-23 18:22:10 +0100325 /* SCCP -> Client: connection confirm for outbound connection */
326 [] SCCP.receive(ASP_SCCP_N_CONNECT_cfm:?) -> value conn_cfm {
327 /* handle user payload */
Harald Welte5cc4aa22017-11-23 18:51:28 +0100328 if (ispresent(conn_cfm.userData)) {
329 f_handle_userData(vc_conn, conn_cfm.userData);
330 }
Harald Welteb3414b22017-11-23 18:22:10 +0100331 }
332
Harald Welte365f4ed2017-11-23 00:00:43 +0100333 /* Disconnect request client -> SCCP */
334 [] CLIENT.receive(BSSAP_Conn_Prim:MSC_CONN_PRIM_DISC_REQ) -> sender vc_conn {
335 var integer conn_id := f_conn_id_by_comp(vc_conn);
336 SCCP.send(t_ASP_N_DISCONNECT_req(omit, 0, omit, conn_id, omit));
337 f_conn_table_del(conn_id);
338 }
339
340 /* BSSAP from client -> SCCP */
Harald Welteb3414b22017-11-23 18:22:10 +0100341 [] CLIENT.receive(BSSAP_Conn_Req:?) -> value creq sender vc_conn {
342 var integer conn_id;
343 /* encode + send to dispatcher */
344 var octetstring userdata := enc_PDU_BSSAP(creq.bssap);
345
346 if (f_comp_known(vc_conn) == false) {
347 /* unknown client, create new connection */
348 conn_id := f_gen_conn_id();
349
350 /* store mapping between client components and SCCP connectionId */
351 f_conn_table_add(vc_conn, conn_id);
352
353 SCCP.send(t_ASP_N_CONNECT_req(creq.addr_peer, creq.addr_own, omit, omit,
354 userdata, conn_id, omit));
355 } else {
356 /* known client, send via existing connection */
357 conn_id := f_conn_id_by_comp(vc_conn);
358 SCCP.send(t_ASP_N_DATA_req(userdata, conn_id, omit));
359 }
360
361 }
362
Harald Welte365f4ed2017-11-23 00:00:43 +0100363 [] CLIENT.receive(PDU_BSSAP:?) -> value bssap sender vc_conn {
364 var integer conn_id := f_conn_id_by_comp(vc_conn);
Harald Welteb3414b22017-11-23 18:22:10 +0100365 /* encode + send it to dispatcher */
Harald Welte365f4ed2017-11-23 00:00:43 +0100366 var octetstring userdata := enc_PDU_BSSAP(bssap);
367 SCCP.send(t_ASP_N_DATA_req(userdata, conn_id, omit));
368 }
369
Harald Weltec82eef42017-11-24 20:40:12 +0100370 /* Handling of MGCP in IPA SCCPLite case. This predates 3GPP AoIP
371 * and uses a MGCP session in parallel to BSSAP. BSSAP uses CIC
372 * as usual, and MGCP uses "CIC@mgw" endpoint naming, where CIC
373 * is printed as hex string, e.g. a@mgw for CIC 10 */
374
375 /* CLIENT -> MGCP */
376 [] CLIENT.receive(MgcpCommand:?) -> value mgcp_req sender vc_conn {
377 /* MGCP request from Handler (we're MSC) */
378 /* store the transaction ID we've seen */
379 f_comp_store_mgcp_tid(vc_conn, mgcp_req.line.trans_id);
380 /* simply forward any MGCP from the client to the port */
381 MGCP.send(mgcp_req);
382 }
383 [] CLIENT.receive(MgcpResponse:?) -> value mgcp_resp sender vc_conn {
384 /* MGCP response from Handler (we're BSC/MGW) */
385 /* simply forward any MGCP from the client to the port */
386 MGCP.send(mgcp_resp);
387 }
388
389 /* MGCP -> CLIENT */
390 [] MGCP.receive(MgcpCommand:?) -> value mgcp_req {
391 /* MGCP request from network side (we're BSC/MGW) */
392 /* Extract CIC from local part of endpoint name */
393 var integer cic := f_mgcp_ep_extract_cic(mgcp_req.line.ep);
Harald Weltee98bb2e2017-11-29 12:09:48 +0100394 if (match(mgcp_req, tr_RSIP) and f_cic_known(cic) == false) {
395 /* ignore RSIP for unknown CIC */
396 } else {
397 /* Resolve the vc_conn by the CIC */
398 vc_conn := f_comp_by_cic(cic);
399 CLIENT.send(mgcp_req) to vc_conn;
400 }
Harald Weltec82eef42017-11-24 20:40:12 +0100401 }
402 [] MGCP.receive(MgcpResponse:?) -> value mgcp_resp {
403 /* MGCP response from network side (we're MSC) */
404 /* Resolve the vc_conn by the transaction ID */
405 vc_conn := f_comp_by_mgcp_tid(mgcp_resp.line.trans_id);
406 CLIENT.send(mgcp_resp) to vc_conn;
407 }
408
Harald Welte365f4ed2017-11-23 00:00:43 +0100409 }
410 }
411}
412
Harald Weltec82eef42017-11-24 20:40:12 +0100413private function f_mgcp_ep_extract_cic(charstring inp) return integer {
Harald Welte525a9c12017-11-24 23:40:41 +0100414 var charstring local_part := regexp(inp, "(*)@*", 0);
Harald Weltec82eef42017-11-24 20:40:12 +0100415 return hex2int(str2hex(local_part));
416
417}
Harald Welte365f4ed2017-11-23 00:00:43 +0100418
419}