Pregled bibliografske jedinice broj: 1192897
Provjera osnovnog signalizacijskog protokola za integriranu mrežu
Provjera osnovnog signalizacijskog protokola za integriranu mrežu, 1997., diplomski rad, Fakultet Elektrotehnike i računarstva, Zagreb
CROSBI ID: 1192897 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Provjera osnovnog signalizacijskog protokola za integriranu mrežu
(Model Checking of Basic Protocol for Integrated Communication Network)
Autori
Rubčić, Alen
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad
Fakultet
Fakultet Elektrotehnike i računarstva
Mjesto
Zagreb
Datum
04.06
Godina
1997
Stranica
90
Mentor
Lovrek, I.
Neposredni voditelj
Blašković, B.
Ključne riječi
provjera modela ; signalizacijski protokol ; Spin/Promela ; AWK
(model checking ; signalling protocol ; Spin/Promela ; AWK)
Sažetak
U radu je opisana provjera modela tj. verifikacija specifikacije ISUP protokola za telekomunikacijsku mrežu. Izvorna specifikacija u SDL zapisu transformirana je u jezik Promala koristeći skriptni jezik AWK. Nakon toga provedena je analiza primjenom alata za provjeru modela SPIN. Na kraju se analiziraju dobiveni rezultati.
Izvorni jezik
Hrvatski
