Welcome to the (new) TTool website!

What is TTool?

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, including:

1. TURTLE: UML profile targetting the modeling and formal verification of real-time embedded systems.


2. DIPLODOCUS: UML profile dedicated to the partitioning of Systems-on-Chip.


3. 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 section).

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, MacOS, Linux and (Open-)Solaris. 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

Latest news

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.