TTool, modélisation de systèmes embarqués

Edition, simulation et vérification formelle de diagrammes UML et SysML.
Lience :  BSD/CECILL
Ludovic Apvrille et al.
Dernière mise à jour : 20 novembre 2017
TTool (prononcé « tea-tool ») est une boîte à outils dédiée à l’édition de diagrammes UML et SysML, ainsi qu’à la simulation et à la vérification formelle (sûreté, sécurité, performance) de ces diagrammes.

TTool prend en charge plusieurs étapes de développement des systèmes embarqués :

  • Partitionnement des systèmes embarqués avec l’environnement DIPLODOCUS
  • Conception de logiciels embarqués avec l’environnement AVATAR
  • Conception de systèmes embarqués sûrs et sécurisés avec l’environnement SysML-Sec

TTool s’adresse à toute personne intéressée par un environnement libre et gratuit pour modéliser des systèmes embarqués – éléments matériels ou logiciels -, et réaliser très facilement des simulations et des preuves mathématiques directement à partir de modèles UML/SysML. Les preuves peuvent porter sur la sécurité, les performances ou les propriétés de sécurité.

Plusieurs partenaires universitaires et industriels utilisent TTool et participent à son développement.