Welcome to the (new) TTool website!
What is TTool?
(pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams
, and to the simulation and formal validation
of those diagrams. TTool supports several UML profiles
- TURTLE: UML profile targetting the modeling and formal verification of real-time embedded systems.
- DIPLODOCUS: UML profile dedicated to the partitioning of Systems-on-Chip.
- AVATAR: SysML-based environment for the modeling and formal verification of real-time embedded systems. AVATAR shall soon replace TURTLE.
Who should use TTool?
Anyone interested by a free environment for modeling embedded systems and systems-on-chip, and performing really easily simulations and proofs directly from models.
Several academic and industrial partners use TTool, and participate in its development (see the reference
How can I use TTool?
TTool is an open-source software
that can be installed and executed under most Operating Systems. More precisely, it has been tested in Windows
. We do encourage you to contact us if necessary (see the support section
for more information), for any problem e.g., installating TTool, using a specific profile, performing formal proofs, and so on.
Links: installing TTool
, downloading TTool
New beta release of TTool (v0.94 beta 2)
New stable release of TTool (v0.93)
New beta release of TTool (v0.93-beta1)
First public version of the new TTool website.
Creation of this new website for TTool. The old one will soon be deactivated.