STTool est une plateforme d’aide à la conception et à la vérification de systèmes embarqués. Via trois environnements de modélisation open source, l’outil offre la possibilité de tester à la fois la sûreté et la sécurité des systèmes, ainsi que leurs performances. Facile à manipuler, la plateforme permet de vérifier les propriétés d’un système modélisé en appuyant sur un simple bouton. Elle contribue ainsi à l’élaboration de systèmes plus sûrs, qui ne mettent pas en danger l’utilisateur, et moins vulnérables aux cyberattaques.
Une plateforme Télécom Paris – Label Institut Carnot TSN
Contact : Ludovic APVRILLE ludovic.apvrille@telecom-paris.fr