| Title: | Preverjanje pravilnosti obnašanja sistemov s sočasnostjo : magistrsko delo |
|---|
| Authors: | Meolic, Robert (Author)
Kapus, Tatjana (Mentor) More about this mentor... 
Brezočnik, Zmago (Co-mentor) |
|---|
| Files: |  magister.pdf (1,10 MB)
MD5: D2E2E50DB1C58FD72FC3F896F9E74556
|
|---|
| Language: | Slovenian |
|---|
| Work type: | Not categorized (r6) |
|---|
| Typology: | 2.09 - Master's Thesis |
|---|
| Organization: | FERI - Faculty of Electrical Engineering and Computer Science
|
|---|
| Abstract: | Magistrsko delo obravnava metode preverjanja pravilnosti obnašanja sistemov, ki temeljijo na opisu sistema s procesno algebro. Podana je definicija procesne algebre in primeri opisov sistemov s procesi. Predstavljeno je ugotavljanje ekvivalence sledi, stroge, vejitvene in šibke opazovalne ekvivalence, ugotavljanje testne ekvivalence ter simbolično preverjanje modelov z izjavno vejitveno temporalno logiko ACTL. Vse obravnavane metode se med seboj odlično dopolnjujejo in skupaj tvorijo močno orodje za formalno verifikacijo sistemov. V magistrskem delu je opisana izvedba takšnega orodja z BDD-ji. Uporaba orodja je ponazorjena na primeru verifikacije komunikacijskega protokola BRP. |
|---|
| Keywords: | formalne metode verifikacije, sistemi s sočasnostjo, procesne algebre, opazovalne ekvivalence, testne ekvivalence, simbolično preverjanje modelov, ACTL, BDD |
|---|
| UDC: | 621.39:681.326.77 |
|---|
| COBISS_ID: | 4972822 |
|---|
| NUK URN: | URN:SI:UM:DK:CUJAZD3E |
|---|
| Views: | 1667 |
|---|
| Downloads: | 61 |
|---|
| Metadata: |     |
|---|
| Categories: | Misc.
|
|---|
|
:
|
|
|---|
| | | | Average score: | (0 votes) |
|---|
| Your score: | Voting is allowed only for logged in users. |
|---|
| Share: |  |
|---|
|
|
Hover the mouse pointer over a document title to show the abstract or click
on the title to get all document metadata. |
