Naslov
Verifikacija signalizacijskih procedura analizom dostupnosti
(Verification of Signalling Procedures with Reachability Analysis)

Autori
Blašković, Bruno ; Brajdić, Alen

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of MTE'95, Mipro95 / Golubić, Stjepan - Rijeka : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1995, 2-166

ISBN
953-6042-15-0

Skup
Mikroračunala u telekomunikacijama MTE'95

Mjesto i datum
Rijeka, Hrvatska, 22.05.1995. - 26.05.1995

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Domaća recenzija

Ključne riječi
verifikacija ; signalizacijske procedure ; protokol ; provjera modela ; SSNo.7
(verification ; signalling procedures ; protocol ; model checking ; SSNo.7)

Sažetak
U radu je opisana verifikacija specifikacije signalizacijskih procedura. Pomoću modificiranog algoritma perturbacije stanja generiran je skup globalnih stanja. Nakon toga analizirana su globalna stanja radi otkrivanja grešaka. Na kraju, opisan je primjer temeljen na SDL opisu međudjelovanja ISUP-a iz SSNo.7.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika, Računarstvo

POVEZANOST RADA