VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Modeliranje in avtomatska verifikacija dogodkovno diskretnih sistemov z uporabo temporalne logike : magistrsko delo
    Vlašić, Damir
    V delu je obdelan problem avtomatske verifikacije varnostnih lastnosti dogodkovno diskretnih sistemov v realnem čaasu (Real-time Discrete Event System). Obnašanje dogodkovno diskretnih sistemov je ... odvisno od sekvence diskretnih dogodkov, ki se dogajajo v sinhronskih časovnih intervalih. Tipični primeri dogodkovno diskretnih sistemov nastopajo v aplikacijah kot so procesno vodenje, fleksibilno proizvidni sistemi, robotika, komunikacijska omrežja, prometni sistemi in t.i. vgrajeni računalniški sistemi v realnem času. Razširjeni avtomati stanj (Exstended State Machine) so uporabljeni za modeliranje dogodkovno diskretnih sistemov in temporalna logika v realnem času (Real-time Temporal Logic) kot formalni jezik za specifikacijo lastnosti sistema ter kot formalizem za dokazovanje formalnosti le teh. S pomočjo programskega jezika Prolog nam je uspelo izvršiti verifikacijo lastnosti invariance za primer poenostavljenega modela robotske celice sestavljene iz linije stiskalnic in robotov. Implementirali smo algoritem (v programskem jeziku C++) za konstrukcijo grafov dosegljivosti, ki so uporabni v procedurah za verifikacijo lastnosti varnosti (safety), živosti (liveness, eventuality) in drugih časovnih lastnosti razširjnih avtomatov stanj. V delu je na ta način obdelana verifikacija varnosti in lastnosti, ki jih lahko opišemo s temporalnim operatorjem U (unless-razen če).
    Vrsta gradiva - magistrsko delo
    Založništvo in izdelava - Maribor : [s.sn.], 1993
    Jezik - slovenski
    COBISS.SI-ID - 4942596

Knjižnica/institucija Kraj Akronim Za izposojo Druga zaloga
Knjižnica tehniških fakultet, Maribor Maribor KTFMB v čitalnico 1 izv.
loading ...
loading ...
loading ...

Vnos na polico