Naslov: | Preverjanje pravilnosti obnašanja sistemov s sočasnostjo : magistrsko delo |
---|
Avtorji: | ID Meolic, Robert (Avtor) ID Kapus, Tatjana (Mentor) Več o mentorju...  ID Brezočnik, Zmago (Komentor) |
Datoteke: | magister.pdf (1,10 MB) MD5: D2E2E50DB1C58FD72FC3F896F9E74556 PID: 20.500.12556/dkum/ecc8ed70-2024-4a38-aa29-ed5e56801083
|
---|
Jezik: | Slovenski jezik |
---|
Vrsta gradiva: | Delo ni kategorizirano |
---|
Tipologija: | 2.09 - Magistrsko delo |
---|
Organizacija: | FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
|
---|
Opis: | 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. |
---|
Ključne besede: | formalne metode verifikacije, sistemi s sočasnostjo, procesne algebre, opazovalne ekvivalence, testne ekvivalence, simbolično preverjanje modelov, ACTL, BDD |
---|
PID: | 20.500.12556/DKUM-67092  |
---|
UDK: | 621.39:681.326.77 |
---|
COBISS.SI-ID: | 4972822  |
---|
NUK URN: | URN:SI:UM:DK:CUJAZD3E |
---|
Datum objave v DKUM: | 04.08.2017 |
---|
Število ogledov: | 2558 |
---|
Število prenosov: | 97 |
---|
Metapodatki: |  |
---|
Področja: | Ostalo
|
---|
:
|
Kopiraj citat |
---|
| | | Skupna ocena: | (0 glasov) |
---|
Vaša ocena: | Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. |
---|
Objavi na: |  |
---|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |