La simulation pour la conception, l’optimisation, la démonstration de performance et l’aide au diagnostic des contrôles non destructifs.
Lire la suite
Une chaîne de compilation permettant de réaliser des traitements sur des données chiffrées sans les dévoiler.
Lire la suite
CORTEX: développement facilité de contrôleurs robotiques.
Lire la suite
SCORE : développement facilité d’interface de programmation, et de commande supervisée de robots.
Lire la suite
VPSim accélère l’exploration de l’espace de conception des architectures numériques.
Lire la suite
Un analyseur linguistique disponible en 60 langues et parmi les plus performants au monde.
Lire la suite
Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.
Lire la suite
Sécuriser un système embarqué grâce à l’application automatique de contremesures logicielles.
Lire la suite