Modelování synchronizace vláken v operačním systému pomocí barvených Petri sítí

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25410%2F14%3A39897948" target="_blank" >RIV/00216275:25410/14:39897948 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Modelování synchronizace vláken v operačním systému pomocí barvených Petri sítí

Popis výsledku v původním jazyce

Verifikace a analýza složitých modelů, které reprezentují komplexní systémy obsahující paralelismus, souběžnost, či synchronizaci, je velice důležitou, dalo by se říci nutnou, součástí vývoje různých systémů (informačních, operačních). V rámci těchto systémů se zpravidla verifikuje chování jednotlivých procesů, které daný systém utvářejí. Tato práce je zaměřená na využití barvených Petri síty (CPN), jakožto nástroje pro verifikaci diskrétních dynamických systémů řízených událostmi (DEDS), konkrétně vláknové synchronizace. Hlavní důraz je věnován metodám pulse a wait, jejichž používání sebou nese řadu rizik (převážně jejich nevhodným užitím), a proto je verifikace jejich využití nanejvýš vhodná.

Název v anglickém jazyce

Modelling of the thread synchronization in the operationg system using coloured Petri nets

Popis výsledku anglicky

Verification and analysis of complex models, which represent complex systems containing parallelism, concurrency, and synchronization is very important, one could say a necessary part of the development of various systems (information, operating). In thecontext of these systems is typically method verifies the behavior of each of the processes that shape the system. This work is focused on the use of coloured Petri sieves (CPN), as a tool for verification of discrete event driven dynamic systems (DEDS), specifically the fiber of the synchronization. The main emphasis is devoted to the methods of pulse and wait whose use carries a number of risks (mainly their inappropriate use), and it is therefore the most appropriate use of verification.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Sborník příspěvků 14. mezinárodní konference IMEA 2014

ISBN

978-80-7494-106-1

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

162-168

Název nakladatele

Technická univerzita v Liberci

Místo vydání

Liberec

Místo konání akce

Sychrov

Datum konání akce

25. 9. 2014

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—