Formal Model of Real Time Operating System Based Applications
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Formal Model of Real Time Operating System Based Applications
Original language description
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.
Czech name
Není k dispozici
Czech description
Není k dispozici
Classification
Type
A - Audiovisual production
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/LN00B096" target="_blank" >LN00B096: Center for Applied Cybernetics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2004
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
ISBN
—
Place of publication
Praha
Publisher/client name
—
Version
—
Carrier ID
neuvedeno