Modelling of Interactions between Processes and Threads in The Operating System using Coloured Petri Nets
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Modelování interakce mezi procesy a vlákny v operačním systému pomocí barvených Petri sítí
Original language description
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).
Czech name
Modelování interakce mezi procesy a vlákny v operačním systému pomocí barvených Petri sítí
Czech description
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).
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
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
—
Number of pages
10
Pages from-to
3918-3927
Publisher name
MAGNANIMITAS
Place of publication
Hradec Králové
Event location
Hradec Králové
Event date
Dec 9, 2013
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—