Tools
People working on Tropos developed a number of prototype tools that have been used and tested in several projects. Here the list of current available tools.
| Tool | Maintainer | Notes |
| STS-Tool | DISI - University of Trento | Support tool for the Socio-Technical Security modeling language (STS-ml) |
| Si* Tool | DISI - University of Trento | Secure Tropos tool. It supports risk reasoning and planning |
| TAOM4E | Fondazione Bruno Kessler | Support tool for the Tropos Methodology. Code generation to JADEX |
| GR-Tool | DISI - University of Trento | Goal Reasoning tool |
| T-Tool | DISI - University of Trento | Formal Tropos tool |
| DW-Tool | DISI - University of Trento | Data Warehouse design tool |
| OpenOME | University of Toronto | General purpose tool based on i* |
| DESCARTES | Université catholique de Louvain | Design CASE Tool for Agent-Oriented Repositories, Techniques, Environments and Systems |
| SecTro | University of East London | Automated modeling tool that provides supports for the Secure Tropos methodology |
