48 / 51

TIC

47 49

Plateforme TTool

La plateforme TTool aide à concevoir des systèmes embarqués plus sûrs dans leur utilisation, protégés des cyberattaques et plus performants. Cet outil permet de construire des modèles de systèmes embarqués, de réaliser des preuves formelles de « bon fonctionnement » depuis ces modèles et de générer du code logiciel. La force de cette plateforme est d’assurer deux dimensions primordiales : la sûreté de fonctionnement (en garantissant que les systèmes ne provoquent pas d’incidents humains ou n’aient pas d’impact économique fort) et la cybersécurité (en rendant impossibles certaines attaques).

Types d'activité

Prestations R&D, Prototypage/Innovation

Domaines d'expertise

  • Modélisation de systèmes embarqués avec réalisation de preuves formelles, c’est-à-dire mathématiques
  • Caractérisation des propriétés en sûreté de fonctionnement, sécurité et performance
  • Réalisation de plug-ins privés permettant de customiser TTool pour un besoin précis
  • Prédominance de conception de systèmes embarqués dans le domaine du transport
  • Modélisation de la plateforme matérielle du système embarqué sous forme de composants électroniques abstraits : processeurs, bus de connexion, mémoires…
  • Dualité sûreté de fonctionnement/sécurité

Moyens disponibles

  • Site internet de TTool et assistance en ligne
  • TTool est un logiciel libre sous licence CECILL
  • Techniques de programmation orientée modèles des futures architectures numériques
  • Réalisation de plug-ins privés
  • Démonstrateurs technologiques pour le développement de services
  • Accès à la plateforme accompagné possible
47 49