Naslov
Mrežna usluga verifikacije digitalnih sustava
(Network service for verification of digital systems)

Autori
Mofardin. Toni

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

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
03.07

Godina
2012

Stranica
38

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

Ključne riječi
verifikacija programa; mrežna usluge; NuSMV
(program verification; web service; NuSMV)

Sažetak
U radu je oblikovana i ostvarena mrežna usluga za verifikaciju digitalnih sustava definiranih specifikacijskim jezikom NuSMV alata. Na poslužiteljsko računalo instaliran je operacijski sustav sa svim dodatnim komponentama za ostvarivanje mrežne usluge.. Posebice je usmjerena pažnja na sigurnosne postavke. Na osnovni sustav instaliran je program za verifikaciju digitalnih sustava NuSMV, povezan s ostalim instaliranim uslužnim komponentama te je izrađeno korisničko sučelje s obveznom autentifikacijom (prijava i lozinka) korisnika. Posebno je ograničen maksimalan broj istovremeno pokrenutih NuSMV procesa.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA