| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Izpis gradiva Pomoč

Naslov:Preverjanje pravilnosti obnašanja sistemov s sočasnostjo : magistrsko delo
Avtorji:ID Meolic, Robert (Avtor)
ID Kapus, Tatjana (Mentor) Več o mentorju... Novo okno
ID Brezočnik, Zmago (Komentor)
Datoteke:.pdf 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 Novo okno
UDK:621.39:681.326.77
COBISS.SI-ID:4972822 Novo okno
NUK URN:URN:SI:UM:DK:CUJAZD3E
Datum objave v DKUM:04.08.2017
Število ogledov:2558
Število prenosov:97
Metapodatki:XML DC-XML DC-RDF
Področja:Ostalo
:
Kopiraj citat
  
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:Bookmark and Share


Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Licence

Licenca:CC BY 4.0, Creative Commons Priznanje avtorstva 4.0 Mednarodna
Povezava:http://creativecommons.org/licenses/by/4.0/deed.sl
Opis:To je standardna licenca Creative Commons, ki daje uporabnikom največ možnosti za nadaljnjo uporabo dela, pri čemer morajo navesti avtorja.
Začetek licenciranja:02.08.2017

Sekundarni jezik

Jezik:Angleški jezik
Naslov:Checking correctness of concurrent systems behaviour
Opis:This master thesis is about methods for checking corectness of concurrent systems behaviour based on the system specification with a process algebra. A definition of the process algebra and some examples of system specifications in terms of process are given. The master thesis presents the checking of trace equivalence, and symbolic model checking with propositional branching-time temporal logic ACTL. All discussed methods together form an efficient tool for formal verification of systems. An implementation of such atool with BDDs is described. The usage of the tool is demonstrated on the verification of communication protocol BRP.
Ključne besede:formal methods of system verification, concurrent systems, process algebra, observational equivalences, testing equivalences, symbolic model checking, ACTL, BDD


Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici