Spécialiste de l'analyse statique exhaustive du code source des logiciels écrits en C/C++, la société française TrustInSoft, qui était jusque-là concentrée sur les marchés des télécommunications, de l’Internet des objets et des systèmes citriques, a dévoilé lors du CES qui s’est déroulé début janvier une collaboration avec eSOL, éditeur de logiciels embarqués pour l’automobile, et EasyMile, fournisseur de véhicules à mobilité autonome. Deux entreprises qui ont toutes deux choisi de compléter leurs stratégies de développement avec l’outil TrustInSoft Analyzer. Une manière pour TrustInSoft, fondé en 2013, de s’inviter sur le marché automobile, un nouveau domaine pour cette entreprise.

Pour rappel, TrustInSoft fournit des outils et des services de vérification de logiciels fondés sur des méthodes formelles (qui s'appuient sur la mise en oeuvre de modèles mathématiques), une brique essentielle pour maîtriser la sécurité fonctionnelle et la cybersécurité de systèmes embarqués.

A ce niveau, les développeurs impliqués dans le développement de logiciels embarqués critiques pour la sûreté de fonctionnement et la cybersécurité ont d’ores et déjà intégré l'importance de tester correctement les logiciels, souligne TrustInSoft qui, avec sa technologie, les aide à corriger les bogues très tôt dans un cycle de développement à travers une approche innovante qui autorise les testeurs à exécuter l'équivalent de milliards de tests à l'aide de techniques mathématiques.

eSOL va ainsi utiliser TrustInSoft Analyzer pour le développement de son système d’exploitation MCOS et de l'hyperviseur associé, garantissant que toutes les fonctions sont correctement intégrées et éliminant très tôt les erreurs complexes qui pourraient survenir plus tard, pendant ou après l'intégration.

De son côté, le français EasyMile, pionnier de la technologie sans conducteur et de solutions de mobilité intelligentes, fondé en 2014, développe des logiciels pour automatiser les plateformes de transport. Ici, travailler avec l'analyseur de code statique de TrustInSoft est un moyen d’aider à la création d'applications logicielles évoluées de manière efficace, la robustesse de ce type de code étant d'une importance cruciale pour des applications de mobilité autonome.

« Nous croyons dans la puissance de la vérification mathématiquement prouvée pour analyser les logiciels, explique Fabrice Derepas, P-DG de TrustInSoft. Dans un paysage technique de plus en plus complexe, on découvre souvent des problèmes uniquement après le déploiement des produits. La vérification du code avec des méthodes formelles peut éviter bon nombre de ces problèmes, qui sont souvent coûteux à résoudre car découverts trop tard. »

Vous pouvez aussi suivre nos actualités sur la vitrine LinkedIN de L'Embarqué consacrée à la sécurité dans les systèmes embarqués : Embedded-SEC