Simulation et expérimentation de configuration de réseaux
TTool 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.
Domaines d’expertise 
- Modélisation de systèmes embarqués
- Vérification formelle des propriétés de sûreté, de sécurité et de performance
- Partitionnement de systèmes embarqués
- Conception de logiciels embarqués
- Simulation et expérimentation de configurations de réseaux
Secteurs applicatifs
Cybersécurité Télécommunications
Réseaux et objets communicants Défense
Smart City Transports et mobilité
Offres de services
Conception | Enseignement/Formation | Expérimentation/Technologie | Modélisation/Conception | Numérique/Logiciel | Prestations R&D | Prototypage/Innovation | Recherche | Simulation/Optimisation
Implantation
Télécom Paris
Ressources disponibles
1
Ingénieur support à temps plein
3
Environnements de modélisation open source
Plus de ressources 
LES COMPOSANTES DU CARNOT TSN
