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 ![](https://www.carnot-tsn.fr/wp-content/uploads/2021/10/separateur_courbe_vertical_petit_vert.png)
- 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 ![](https://www.carnot-tsn.fr/wp-content/uploads/2021/10/separateur_courbe_vertical_petit_vert.png)
Cybersécurité Télécommunications
Réseaux et objets communicants Défense
Smart City Transports et mobilité
Offres de services ![](https://www.carnot-tsn.fr/wp-content/uploads/2021/10/separateur_courbe_vertical_petit_vert.png)
Conception | Enseignement/Formation | Expérimentation/Technologie | Modélisation/Conception | Numérique/Logiciel | Prestations R&D | Prototypage/Innovation | Recherche | Simulation/Optimisation
Implantation ![](https://www.carnot-tsn.fr/wp-content/uploads/2021/10/separateur_courbe_vertical_petit_vert.png)
![](https://www.carnot-tsn.fr/wp-content/uploads/2021/10/cartes_implantation_plateformes_ttool.png)
Télécom Paris
Ressources disponibles ![](https://www.carnot-tsn.fr/wp-content/uploads/2021/10/separateur_courbe_vertical_petit_vert.png)
![Equipe](https://www.carnot-tsn.fr/wp-content/uploads/2021/10/pictos_ressources_equipe.png)
Ingénieur support à temps plein
![Equipement](https://www.carnot-tsn.fr/wp-content/uploads/2021/10/pictos_ressources_equipement.png)
Environnements de modélisation open source