Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 257658

Verifikacija specifikacije procesa programskom simulacijom


Bagić, Marina
Verifikacija specifikacije procesa programskom simulacijom 2001., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb


Naslov
Verifikacija specifikacije procesa programskom simulacijom
(Verification of process specification by programme simulation)

Autori
Bagić, Marina

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
16.05

Godina
2001

Stranica
105

Mentor
Kunštić, Marijan

Ključne riječi
verifikacija; simulacija; sdl; fsm
(verification; simulation; sdl; fsm)

Sažetak
Kvalitetan pristup projektiranju složenih komutacijskih sustava zahtijeva preglednu specifikaciju pojedinih funkcija. Jasnoća i jednoznačnost specificiranih modela bitna je kako za pravilno razumijevanje polaznih specifikacija tako i za konkretnu realizaciju samih procesa. U radu su proučene i razrađene međusobne relacije formalnog SDL jezika i programskog jezika C++. Temeljem dobivenih rezultata spoznaje predložen je i realiziran model jezičnog prevodioca koji povezuje navedene jezike. Ponuđeno rješenje testirano je modelu rutera signalizacije, objektu zaduženom za usmjeravanje internih poruka između objekata unutar telefonske centrale.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA


Ustanove
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Marijan Kunštić (mentor)

Avatar Url Marina Bagić Babac (autor)

Citiraj ovu publikaciju

Bagić, Marina
Verifikacija specifikacije procesa programskom simulacijom 2001., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb
Bagić, M. (2001) 'Verifikacija specifikacije procesa programskom simulacijom', diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb.
@phdthesis{phdthesis, author = {Bagi\'{c}, M.}, year = {2001}, pages = {105}, keywords = {verification, simulation, sdl, fsm}, title = {Verification of process specification by programme simulation}, keyword = {verification, simulation, sdl, fsm}, publisherplace = {Zagreb} }