TrustInSoft met à disposition des outils et services d’analyse de code source C et C++ permettant d’apporter des garanties mathématiques sur les logiciels de ses clients.
Il est seul éditeur de solutions d’analyses de logiciel qui permet à ses clients d’avoir ces garanties sur la sécurité et la fiabilité du code source sans devoir modifier le processus de développement. Ses offres sont déployées chez les développeurs et intégrateurs de composants logiciels issus des industries aéronautique, automobile, ferroviaire, militaire, nucléaire, télécoms, spatiale ou encore l’IoT.
PRODUITS & SERVICES TRUSTINSOFT
- TrustInSoft Analyzer, un outil d’analyse de code source C et C++ permettant de garantir mathématiquement la conformité à une spécification, l’absence de défauts et l’immunité de composants logiciels aux cyber-attaques les plus courantes.
- TrustInSoft Analyzer as a Service, la version en ligne de TrustInSoft Analyzer : taas.trust-in-soft.com
- TrustInSoft Advanced Software Audit, un service outillé d’audit de logiciel réalisé par les experts de TrustInSoft en lien direct avec le client. Ces audits permettent d’évaluer la sécurité et la fiabilité de composants logiciels existants ou en cours de développement.
- TrustInSoft Expertise, un service d’expertise pour accompagner les clients dans le déploiement de TrustInSoft Analyzer avec des formations, du conseil méthodologique et de développements d’extensions spécifiques pour TrustInSoft Analyzer.
TRUSTINSOFT (HQ)
222 cour avenue du Maine
75014 Paris
Tél. : +33 (0)9 70 44 75 87
www.trust-in-soft.com
