Učinci formalizama na razvoj usluga i protokola u signalizacijskoj mreži

magistarski rad

• Naslov (engleski): Effect of formalism in development of services and protocols in the signaling network
• Autor: Vedran Pavlović
• Mentor: Marijan Kunštić (mentor)
• Član povjerenstva: Marijan Kunštić (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; (Zavod za telekomunikacije); Zagreb
• Datum i država obrane: 2004, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Elektrotehnika; Telekomunikacije i informatika
• Univerzalna decimalna klasifikacija (UDC): 621.3 - Elektrotehnika ; 654 - Telekomunikacije i daljinsko upravljanje ; 004 - Računalna znanost i tehnologija. Računalstvo. Obrada podataka

Sažetak

Magistarski rad “Učinci formalizama na razvoj usluga i protokola u signalizacijskoj mreži” opisuje prednosti korištenja formalizama u odnosu na tradicionalni razvoj softverskog sustava protokola i usluga u signalizacijskoj mreži. Upotrebom tradicionalnog razvoja softvera rizik unošenja pogreške u ranijim fazama projekta je velik dok formalnim metodama isti se smanjuje ispitivanjem ispravnosti modela na različitim nivoima apstrakcije.
Objašnjen je osnovni pregled SS7 signalizacijske pokretne mreže komutacije kanala preko IP i opisana su poboljšanja iste sa izbacivanjem MTP3/b i M3UA sloja. Formalne metode UML jezika su korištene za vrijeme analize sustava protokola i usluga novog protokolnog signalnog stožaja TI-SCCP, STC, SCTP, IP bez MTP3 sloja u pokretnoj mreži komutacije kanala.
Rezultat analize sustava novog protokolnog stožaja TI-SCCP, STC, SCTP, IP za pokretne aplikacije kao što su MAP, RANAP, BICC, GCP je izvediv u pokretnoj mreži. Novi signalni stožaj ima bolje performanse zbog izbacivanja MTP3 sloja. Ograničenje veličine poruka može teoretski biti u potpunosti eliminirano jer SCTP može prenositi poruke do 64k okteta. Raspon SCTP stream brojeva se može pridijeliti odreðenoj aplikaciji tako da SCCP sloj može kontrolirati različite težine signalizacijskih poruka, npr. u slučaju zagušenja MAP-SMS poruke će biti prije odbijene dok RANAP neće. U slučaju multinacionalnih mreža ili u slučaju roaminga SCCP sloj može mjeriti broj prenesenih poruka između operatora po rasponu SCTP stream-a broja.
Učinci korištenja formalnih metoda u signalizacijskoj mreži su veliki jer su mi pomogli da promotrim sustav na nekoliko viših hijerarhijskih razina ne ulazeći u detalje. UML jezik omogućuje kreiranje modela sustava na različitim hijerarhijskim razinama. Isti ti modeli mogu biti testirani da se uoči njihova izvedivost već u ranijoj fazi razvoja sustava. Zbog toga formalne metode imaju prednost prema tradicionalnom načinu razvoja sustava. Za modeliranje protokola slijedni dijagram je bio korišten dok za modeliranje SS7 usluga prema SS7 aplikacijama dijagram slučajeva uporabe je bio korišten.

Sažetak (engleski)

The paper “Effect of formalism in development of services and protocols in the signaling network“ describes advantages of usage of formalism against traditional software development of protocols and services in the signaling network. By traditional software development the possibility to introduce faults in early phases of software development is realistic while by usage of formal methods the same faults can be detected during the analysis of model in early phases of project on different levels of abstraction.
A basic overview of circuit switch signaling mobile network over IP and enhancement of SS7 signaling mobile network over IP by removal of MTP3/b and M3UA protocol layer are described. During the investigation and the analysis of new protocol signaling stack without MTP3 layer in circuit switch mobile network, formal methods of UML language have been used. UML methods have helped me to focus on much important things ignoring the details. Relation between layers in new signaling stack with data modeling has been achieved by usage of formal methods.
The outcome of analysis has resulted that new TI-SCCP – STC – SCTP – IP stack for mobile applications as MAP, RANAP, BICC, GCP, etc. is feasible. The new stack will have better performance due to removal of MTP3 layer. Message length limits will be removed. A range of SCTP stream numbers would be assigned for each application by SCCP layer which would manage the traffic according the prioritized type of application messages in case of congestion (e.g. MAP-SMS traffic would be discarded while RANAP traffic would not). In case of multinational networks or in roaming use case SCCP layer would account application messages based on stream numbers due to charging purpose between operators.
Effect of usage formal methods is tremendous which helps to consider system from some hierarchical levels does not look in details. The UML is powerful tool which allow you to create your model on one level of hierarchy. The same model could be tested to see if the model is feasible which gives advantage against traditional kind of development. For modeling the protocol feature sequence diagram has been used while use case diagrams have been used to define behavior of SS7 services towards SS7 applications.

• Ključne riječi: Specifikacijski jezik; formalizam; formalne metode; UML; signalizacija; SS7; protokolni stožaj; TI-SCCP; SCCP; MTP3; M3UA; STC; SCTP; PLMN; komutacija kanala
• Ključne riječi (engleski): Specification language; formalism; formal methods; UML; signaling; SS7; protocol stack; TI-SCCP; SCCP; MTP3; M3UA; STC; SCTP; PLMN; circuit switch
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:221839
• Studijski program: Naziv: Elektrotehnika; Vrsta studija: sveučilišni; Stupanj studija: poslijediplomski znanstveni (magistarski); Akademski / stručni naziv: Magistar znanosti elektrotehnike (mag. ing. el.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2019-06-14 13:31:52