hrvatski

Verifikacija specifikacije procesa programskom simulacijom

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.

verifikacija; simulacija; sdl; fsm

nije evidentirano