TTool - An open-source UML and SysML toolkit

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

Feb
27
2013

New beta release of TTool (v0.94 beta 2)




Dec
06
2012

New stable release of TTool (v0.93)




Feb
15
2011

New beta release of TTool (v0.93-beta1)




Jan
26
2011

First public version of the new TTool website.




Dec
09
2010

Creation of this new website for TTool. The old one will soon be deactivated.