Open-source UML and SysML toolkit

TTool

AI-assisted modeling, simulation, and formal verification for complex embedded systems.

TTool logo

Model, simulate, verify, and explore architectures in one environment.

TTool is an open-source toolkit for AI-assisted UML and SysML engineering. It brings modeling, simulation, safety analysis, security analysis, and performance exploration into the same workflow.

DIPLODOCUS

Partition embedded systems, explore mappings, and reason about performance early in the design cycle.

Open the DIPLODOCUS section

AVATAR

Model embedded software behavior and connect system design to simulation and formal verification activities.

Open the AVATAR section

Extended profiles

Access SysML-Sec, TTool-AMS, and additional profiles used by academic and industrial teams.

Browse supported profiles

What is TTool?

TTool supports the AI-assisted editing of UML and SysML diagrams, plus simulation and formal verification focused on safety, security, and performance.

  1. Partition embedded systems with DIPLODOCUS
  2. Design embedded software with AVATAR
  3. Design safe and secure systems with SysML-Sec
  4. Explore analog and digital systems with TTool-AMS
  5. Discover other supported profiles

Who should use it?

TTool is designed for researchers, engineers, teachers, and students who need a free and open-source environment for system modeling and analysis.

It is used by academic and industrial partners who want simulations and mathematical proofs to stay close to their UML and SysML models.

See projects, partners, and references