TTool - An open-source UML and SysML toolkit

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. DIPLODOCUS: UML profile dedicated to the partitioning of Systems-on-Chip or embedded systems.

  2. AVATAR: SysML-based environment for the modeling and formal verification of real-time embedded software..

  3. SysML-Sec: SysML-based environment for the modeling and formal verification of real-time embedded systems with security and safery issues.

Who should use TTool?

Anyone interested by a free environment for modeling embedded systems - hardware or software elements -, and performing really easily simulations and proofs directly from models. Proofs may concern either safety or security properties.
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.
19
2016

New beta release (0.98 beta4) of TTool




Jan
28
2015

New standard (0.97) and beta release (0.98 beta1) of TTool




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.