Telit Cinterion adopte TrustInSoft Analyzer pour accélérer le développement des modules IoT, de l’Edge IA et de la connectivité 5G
Un partenariat stratégique pour renforcer la fiabilité logicielle des solutions IoT nouvelle génération
Telit Cinterion, spécialiste des solutions IoT de bout en bout, choisit TrustInSoft Analyzer pour accélérer la R&D des futures générations de modules IoT, d’IA en périphérie et de technologies 5G.
Ce choix marque une étape décisive dans la mise en place d’une méthodologie de vérification logicielle robuste, capable de garantir l’absence d’erreurs d’exécution dans le code analysé.
Grâce à TrustInSoft Analyzer, Telit Cinterion a intégré un moteur propriétaire basé sur l’IA, tirant parti des fonctions de généralisation mathématique du logiciel pour s’assurer que toutes les entrées possibles sont vérifiées — un niveau d’exhaustivité impossible à atteindre avec les approches traditionnelles.
Accélérer la validation et renforcer la fiabilité
Gaetano Scognamiglio, VP IoT Modules R&D chez Telit Cinterion, déclare : « L’intégration de TrustInSoft Analyzer nous permet non seulement d’accélérer nos processus intégrant l’IA, mais aussi de bénéficier de garanties de solidité et de fiabilité du code analysé. »
TrustInSoft Analyzer apporte :
- analyse statique exhaustive,
- validation accélérée,
- mathematical guarantees contre les erreurs d’exécution,
- intégration directe dans les workflows existants,
- réduction des risques logiciels critiques.
Une solution en pleine évolution
Benjamin Monate, CTO de TrustInSoft, souligne : « TrustInSoft Analyzer évolue et monte en puissance. Son efficacité extrême et sa précision en vérification facilitent l’innovation avec une fiabilité constante. »
Le logiciel permet aux équipes R&D de :
- détecter les défauts critiques avant intégration,
- certifier la sûreté logicielle sur des bases mathématiques,
- sécuriser les algorithmes IA déployés en périphérie,
- fiabiliser les modules connectés (IoT, Edge AI, 5G).
TrustInSoft présentera ses solutions au stand 4‑340, du 10 au 12 mars 2026, à Nuremberg.
La vérification logicielle formelle devient un pilier pour les systèmes IoT et Edge IA.
Avec TrustInSoft Analyzer, les entreprises peuvent concevoir des modules plus fiables, plus sûrs et plus rapides à valider — un atout majeur dans un marché IoT où la qualité logicielle devient un différenciateur clé.
Si vous avez apprécié cet article, vous aimerez les suivants : ne les manquez pas en vous abonnant à :