Modelování interakce mezi procesy a vlákny 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%2F13%3A39896486" target="_blank" >RIV/00216275:25410/13:39896486 - 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í interakce mezi procesy a vlákny v operačním systému pomocí barvených Petri sítí

Popis výsledku v původním jazyce

Interakce procesů a vláken v operačním systému je důležitou oblastí při vývoji moderního softwaru či hardwaru. Využívání vícejádrových procesorů umožnilo využití paralelního zpracování dat i v běžných počítačích koncových uživatelů, což mělo za následekrychlý vzestup vícevláknového programování. To však sebou nese řadu nevýhod, a to hlavně z důvodu zvýšené složitosti návrhu aplikací a zpětné verifikaci správnosti tohoto návrhu. Obsahem této práce je tvorba modelu interakce mezi procesy a vlákny operačního systému v prostředí barvených Petri sítí. Dále jsou poukázány modelovací a verifikační možnosti tohoto nástroje a poté aplikovány na navrženém modelu (verifikace modelu).

Název v anglickém jazyce

Modelling of Interactions between Processes and Threads in The Operating System using Coloured Petri Nets

Popis výsledku anglicky

Interaction between processes and threads in the operating system is an important area in the development of modern software or hardware. The uses of multi-core processors allow the use of parallel data processing in conventional computers of end users,which resulted in the rapid rise of multi-thread programming. This, however, entails a number of disadvantages, mainly in the increased complexity of the application design and the verification of the correctness (of the design). The content of this workis to create a model of interaction between processes and threads of the operating system in an environment of coloured Petri nets. Furthermore, they are remitted to the modelling and verification capabilities of this tool and then applied to the proposed model (model 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í

2013

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ů z mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013

ISBN

978-80-87952-00-9

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

3918-3927

Název nakladatele

MAGNANIMITAS

Místo vydání

Hradec Králové

Místo konání akce

Hradec Králové

Datum konání akce

9. 12. 2013

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

EUR - Evropská akce

Kód UT WoS článku

—