Aitartos
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Aitartos
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2010
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
Internal product ID
Aitartos
Technical parameters
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
Economical parameters
—
Owner IČO
00216305
Owner name
Centrum aplikované kybernetiky