Naslov
Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa
(Methods for checking specification correctness of telecommunication processes)

Autori
Mikuc, Miljenko

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija

Fakultet
Fakultet Elektrotehnike i računarstva

Mjesto
Zagreb

Datum
16.07

Godina
1997

Stranica
117

Mentor
Kunštić, Marijan

Ključne riječi
telekomunikacije; specifikacija; verifikacija; procesi; softver; razvojna okolina
(telecommunications; specification; verification; process; software; development environment)

Sažetak
U disertaciji su opisani postupci specifikacije i provjere ispravnosti specifikacije telekomunikacijskih procesa s posebnim naglaskom na formalnim metodama. Osnovni cilj formalnih metoda je pomoć inženjerima pri konstrukciji pouzdanijih sustava. Provjera specifikacije uključuje validaciju i verifikaciju. Neformalno se može reći: validacija je pokazivanje da su dobro postavljeni zahtjevi a verifikacija da je sustav izgrađen u skladu sa zahtjevima. Verifikacijske metode svrstane su u dvije grupe koje koriste dokazivanje teorema ili provjeru modela. Posebno su istaknute integracije različitih pristupa verifikaciji s naglaskom na učinkovitost provjere specifikacijske ispravnosti. Postupci provjere ispravnosti specifikacije te njihov preslik u odgovarajuće pomagalo kao sastavnice inteligentne razvojne okoline za razvoj telekomunikacijskog softvera predloženi su u obliku reprezentativnog laboratorijskog modela. Prikazani su modeli i metode transpozicije iz domene znanja o telekomunikacijskim procesima u jezični prostor te kriteriji izbora tipa jezika koji premošćuje relaciju između znanja i procesa temeljem ponuđene tehnologije. Niti jedna od poznatih metoda ne zadovoljava sve potrebe te je istraživanje formalnih specifikacijskih jezika koji bi se upotrebljavali u području programskog inženjeringa još uvijek značajno područje aktivnog istraživanja. Jedno od predloženih rješenja je integriranje dokazivača teorema opće namjene sa specifičnim tehnikama provjere modela. Formalne tehnike mogu osigurati ispravno provođenje međukoraka dizajna ali i dalje ostaje problem ispravnog postavljanja specifikacije na najvišem nivou.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA