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:

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

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.