Není k dispozici
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03098154" target="_blank" >RIV/68407700:21230/04:03098154 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Formal Model of Real Time Operating System Based Applications
Popis výsledku v původním jazyce
The aim of this article is to show, how a control application running under real-time operating system can be modeled by timed automata. The application under consideration consists of several tasks, it includes resource sharing and synchronization by events. For such system, model checking theory implemented in model checking tools can be used to verify complex time and logical properties of proposed model.
Název v anglickém jazyce
Formal Model of Real Time Operating System Based Applications
Popis výsledku anglicky
The aim of this article is to show, how a control application running under real-time operating system can be modeled by timed automata. The application under consideration consists of several tasks, it includes resource sharing and synchronization by events. For such system, model checking theory implemented in model checking tools can be used to verify complex time and logical properties of proposed model.
Klasifikace
Druh
A - Audiovizuální tvorba
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/LN00B096" target="_blank" >LN00B096: Výzkumné centrum aplikované kybernetiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2004
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ů
Údaje specifické pro druh výsledku
ISBN
—
Místo vydání
Praha
Název nakladatele resp. objednatele
—
Verze
—
Identifikační číslo nosiče
neuvedeno