DIPLODOCUS
Partition embedded systems, explore mappings, and reason about performance early in the design cycle.
Open-source UML and SysML toolkit
TToolAI-assisted modeling, simulation, and formal verification for complex embedded systems.
Platform overview
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.
Partition embedded systems, explore mappings, and reason about performance early in the design cycle.
Model embedded software behavior and connect system design to simulation and formal verification activities.
Use AI engines as modeling assistants directly from TTool, including local and remote providers.
Access SysML-Sec, TTool-AMS, and additional profiles used by academic and industrial teams.
TTool supports the AI-assisted editing of UML and SysML diagrams, plus simulation and formal verification focused on safety, security, and performance.
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.
TTool runs on Windows, MacOS, and Linux. Start with the installation guide, then download a release and configure any companion tools you need.
TTool continues to evolve through research projects, teaching, and industrial collaborations.