什么是TTool？
T工具（发音为“tea-tool”）是一个专门用于UML和SysML图的版本，并发送至模拟和正式验证（安全、安保、性能）这些图表中。TTool支持嵌入式系统的几个开发阶段:
- 嵌入式系统的分区使用迪普洛多库斯环境
- 嵌入式软件设计使用阿凡达环境
- 安全可靠的嵌入式系统设计使用SysML-Sec系统环境
- 混合模拟/数字系统的设计使用T工具-AMS剖面开发人LIP6/Alsoc团队
- 还有几个其他配置文件这里列出了TTool支持的
谁应该使用TTool？
任何对自由开放源代码环境感兴趣的人都可以对嵌入式系统（硬件或软件元素）进行建模，并直接从UML/SysML模型中执行非常容易的仿真和数学证明。证据可能涉及安全、性能或安全属性。一些学术和工业合作伙伴使用TTool，并参与其开发（参见参考部分）。
如何使用TTool？
TTool是一个开源软件可以在大多数操作系统下安装和执行。更准确地说，它已经在窗户,MacOS操作系统,Linux操作系统。如有必要，我们鼓励您与我们联系（请参阅支撑段更多信息），用于任何问题，例如，安装TTool、使用特定配置文件、执行正式证明等。
链接:安装TTool,下载TTool
最新消息
