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 verification (safety, security, performance) of those diagrams. TTool supports several UML profiles, including:
- 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 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