Detail aplikovaného výsledku

Aitartos

KUČERA, P.; HYNČICA, O.; HONZÍK, P.

Originální název

Aitartos

Anglický název

Aitartos

Druh

Software

Abstrakt

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.

Abstrakt aglicky

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.

Klíčová slova

Timed automata, RTX, Formal methods

Klíčová slova anglicky

Timed automata, RTX, Formal methods

Umístění

http://project-bay.eu/aitartos

Možnosti využití

výsledek využívá pouze poskytovatel

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www

http://project-bay.eu/aitartos