Naslov
Lagana metoda formalne verifikacije sustava
(Lightweight formal verification method)

Autori
Radiček, Ivan

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

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
12.02

Godina
2010

Stranica
43

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

Ključne riječi
formalne metode; formalna verifikacija; lagane formalne metode; Alloy
(formal methods; formal verification; lightweight formal methods; Alloy)

Sažetak
Puna formalizacija sustava pokazuje se kao dugotrajan, težak i neekonomičan postupak u validaciji i verifikaciji digitalnih sustava. Novi pristup verifikaciji tzv. laganom formalnom metodom, ističe djelomičnu i vrlo usredotočenu primjenu na sklopovske i programske dijelove digitalnog sustava. U radu je potrebno pokazati primjenu lagane formalne metode čije su značajke ograničena sintaksa specifikacijskog jezika, modeliranje samo dijela sustava koji opravdava formalizaciju, te djelomična analiza i kompozicija generirane specifikacije. Metodu je potrebno primijeniti na jedan realan problem u oblikovanju digitalnih sustava.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA