| Title: | Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST |
|---|
| Authors: | ID Vogrin, Rok (Author)
ID Kapus, Tatjana (Mentor) More about this mentor... 
ID Meolic, Robert (Comentor) |
|---|
| Files: |  MAG_Vogrin_Rok_2018.pdf (666,65 KB)
MD5: 376D00DBEEE8CB1376DE075ED1ED5D06
PID: 20.500.12556/dkum/1c63a1be-c512-4325-a21e-022e7ed9e5b6
|
|---|
| Language: | Slovenian |
|---|
| Work type: | Master's thesis/paper |
|---|
| Typology: | 2.09 - Master's Thesis |
|---|
| Organization: | FERI - Faculty of Electrical Engineering and Computer Science
|
|---|
| Abstract: | Magistrsko delo obravnava tvorjenje avtomatov linearnih končnih prič veljavnosti formul akcijske logike dreves izvajanj z operatorjem unless (ACTLW -- Action-based Computation Tree Logic with Unless operator) v modelih realnih sistemov, imenovanih označeni sistemi prehajanja stanj. Namen dela je tvorjenje avtomatov prič, ki kažejo, kako so v takem modelu prisotne lastnosti, opisane z veljavno formulo ACTLW. V prvem delu naloge so predstavljeni ključni elementi za tvorjenje avtomatov prič. Vpeljana sta pojma karakteristična funkcija in binarni odločitveni graf. Definirani so označeni sistemi prehajanja stanj, končni avtomati ter logika ACTLW. V drugem delu je na podlagi definicij razvit postopek in opisana implementacija tvorjenja avtomatov linearnih končnih prič z orodjem EST. Tvorjenje avtomatov je prikazano na primeru modela komunikacijskega protokola z omejenim številom ponovnih oddaj in biološkega sistema uravnavanja laktoznega operona. |
|---|
| Keywords: | formalne metode, preverjanje modelov, temporalna logika, avtomati prič, simbolične metode |
|---|
| Place of publishing: | [Maribor |
|---|
| Publisher: | R. Vogrin |
|---|
| Year of publishing: | 2018 |
|---|
| PID: | 20.500.12556/DKUM-72041 |
|---|
| UDC: | 004.8:621.395(043.2) |
|---|
| COBISS.SI-ID: | 21776406 |
|---|
| NUK URN: | URN:SI:UM:DK:0WRUZOVQ |
|---|
| Publication date in DKUM: | 09.10.2018 |
|---|
| Views: | 1670 |
|---|
| Downloads: | 195 |
|---|
| Metadata: |    |
|---|
| Categories: | KTFMB - FERI
|
|---|
|
:
|
Copy citation |
|---|
| | | | 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. |
