Product detail

Aitartos

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

Product type

software

Abstract

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.

Keywords

Timed automata, RTX, Formal methods

Create date

31. 12. 2010

Location

http://project-bay.eu/aitartos

Possibilities of use

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

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

http://project-bay.eu/aitartos