Modelling of the thread synchronization in the operationg 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%2F14%3A39897948" target="_blank" >RIV/00216275:25410/14:39897948 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Modelování synchronizace vláken v operačním systému pomocí barvených Petri sítí
Original language description
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á.
Czech name
Modelování synchronizace vláken v operačním systému pomocí barvených Petri sítí
Czech description
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á.
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
2014
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ů 14. mezinárodní konference IMEA 2014
ISBN
978-80-7494-106-1
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
162-168
Publisher name
Technická univerzita v Liberci
Place of publication
Liberec
Event location
Sychrov
Event date
Sep 25, 2014
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—