Přístupnostní navigace
E-application
Search Search Close
Applied result detail
KUČERA, P.; HYNČICA, O.; HONZÍK, P.
Original Title
Aitartos
English Title
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.
Abstract in English
Keywords
Timed automata, RTX, Formal methods
Key words in English
Location
http://project-bay.eu/aitartos
Possibilities of use
only the provider uses the result
Licence fee
In order to use the result by another entity, it is always necessary to acquire a license
www