Aitartos
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F10%3APR25013" target="_blank" >RIV/00216305:26220/10:PR25013 - 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
Aitartos
Popis výsledku v původním jazyce
Aitartos is a tool for automatic implementation of Timed Automata model in a real-time operating system. The purpose of this tool is to make design, implementation and verification of real-time control systems easier because human resources will be concentrated more on the area of specification and verification than implementation issues. Aitartos enables automatic implementation of Timed Automata models from UPPAAL into the real-time operating system extension RTX.
Název v anglickém jazyce
Aitartos
Popis výsledku anglicky
Aitartos is a tool for automatic implementation of Timed Automata model in a real-time operating system. The purpose of this tool is to make design, implementation and verification of real-time control systems easier because human resources will be concentrated more on the area of specification and verification than implementation issues. Aitartos enables automatic implementation of Timed Automata models from UPPAAL into the real-time operating system extension RTX.
Klasifikace
Druh
R - Software
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2010
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
Interní identifikační kód produktu
Aitartos
Technické parametry
Systém aitartos vznikl při řešení projektu Implementace stavových automatů v operačních systémech reálného času. Jedná se o volně stažitelný SW pod MS Windows, který umožňuje automatický převod časovaného stavového automatu do op
Ekonomické parametry
—
IČO vlastníka výsledku
00216305
Název vlastníka
Centrum aplikované kybernetiky