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
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.
