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
- DIPLODOCUS: UML profile dedicated to the partitioning of Systems-on-Chip or embedded systems.
- AVATAR: SysML-based environment for the modeling and formal verification of real-time embedded software..
- SysML-Sec: SysML-based environment for the modeling and formal verification of real-time embedded systems with security and safety 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
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