48 / 51
TIC
47 49Plateforme 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).
