Naslov
Web usluga za verifikaciju digitalnih sustava
(Web service for verification of digital systems)

Autori
Petrušić, Marin

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
30.06

Godina
2011

Stranica
51

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

Ključne riječi
web usluge; formalna verifikacija; provjera modela
(web service; formal verification; model checking)

Sažetak
Formalna verifikacija nastoji dokazati da matematički model implementacije digitalnog sustava logički zadovoljava specificirano ponašanje dano izjavom u vremenskoj logici. U radu je implementiran programski alat za formalnu verifikaciju digitalnih sustava NuSMV kao web usluga. Oblikovanje usluge uključuje postavljanje svih potrebnih programa na poslužiteljsko računalo kao i alata NuSMV. Sustav vodi evidenciju o prijavljenim korisnicima te može ograničiti broj istovremenih procesa verifikacije.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA